We will focus on the most established fundamental subjects of the solution of polynomial equations and systems of equations and matrix multiplication but will also expose some more recently recognized topics such as computations in finite fields and structured matrices.
This session is intended to discuss Computer Algebra methods and algorithms in the study of Dynamical Systems. The session will also focus on important applications of Computer Algebra to Dynamical Systems arising in many areas of science and engineering.
Since nonlinear Dynamical Systems cannot be exactly solved in general, the role of Computer Algebra in finding approximate solutions as well as in the pre-analysis for the numerical methods, is extremely important. From this point of view, the construction of exact or approximate solutions in symbolic form constitutes the most powerful approach to study the behavior of Dynamical Systems. Computer Algebra methods have also emerged as powerful tools in investigating stability and bifurcations.
Topics:
Education has become one of the fastest growing application areas for computers in general and computer algebra in particular. Computer algebra tools such as TI-92/89, DERIVE, MATHEMATICA, MAPLE, AXIOM, REDUCE, MACSYMA, or MUPAD make powerful teaching tools in mathematics, physics, chemistry, biology, economy.
The goal of this session is to exchange ideas and experiences, to hear about classroom experiments, and to discuss all issues related with the use of computer algebra tools in classroom (such as assessment, change of curricula, new support material, ...)
First:
Second:
In recognition of this need, in 1994, an International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (Interval'94) was held in St. Petersburg, Russia. This first conference of this type was a huge success. At this conference, more than 100 researchers from 18 countries presented their practical and theoretical results.
Since 1994, there has been a tremendous progress both in computer algebra and in interval computations. This progress is largely due to the rapidly increasing computer processing speed, which makes previously theoretical algorithms of computer algebra practically feasible. In some cases, we can directly apply these algorithms; in most cases, however, there is a need for further fine-tuning, a need which leads to interesting challenging new theoretical problems whose solution, in its turn, results in new exciting applications.
We believe that time is ripe for a new major meeting devoted to the relation between computer algebra and interval computations. This meeting will hopefully not only highlight the results, but it will also give a new boost to a much-needed combination of numerical and symbolic techniques.
In this solicitation, we are targeting researchers and practitioners from both communities: interval computations and computer algebra. To achieve a greater success, we are making this appeal as broad as possible:
Since this session is oriented towards two different communities, we encourage the authors to do their best to be understandable by researchers from both communities (even if this means adding extra phrases into the introduction which, e.g., for an interval computations community would not be necessary at all).
If you wish to present a talk at our session, please submit an abstract including title, author(s), and e-mail address(es) to one of the organizers. To be certain of inclusion in this special session, please submit this material as soon as possible.
You are responsible for your own expenses (travel, hotel, food). We are looking forward to see you at our special session of IMACS ACA'2000!
The session will be divided on two parts. The first one will be composed by programs which support creative thinking of students or investigators through mathematical and logic problems. The second one will be composed by new EXPTIME algorithms for decision of some mathematical and logic theories.
The title of this session indicates that we are welcoming everybody who is doing constructive mathematics with the help of computer algebra systems. Among the topics covered by this session are:
The topics to be covered in this session are:
Topics:
From an original narrow field of application these systems have become general purpose tools. It is therefore natural that a session of this conference deals with applications of Computer Algebra in High Energy or Particle Physics.
Topics:
The Gr\"obner basis method has become one of the most important techniques in providing exact solutions of nonlinear problems in multivariate polynomial ideal theory, in computational commutative algebra, in elimination theory, in solving systems of algebraic equations, and in many other related areas. It is also being used fruitfully in a variety of seemingly unrelated research areas such as geometrical theorem proving, integer programming, solid modeling and engineering. The method is implemented in all major computer algebra systems.
Nevertheless, the field is still under active development both in the direction of improving the method by new theoretical insights and in finding new applications.
This time we will concentrated on basis conversion and the applications of the Gr\"obner basis methods in linear difference-differential equations, commutative/noncommutative algebra, and constructive geometry.
Theoretical questions of computer algebra applications in optimal control systems
New algorithms in control theory on the base of the Computer Algebra Systems and Asymptotics
Control systems in real time