Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.lifl.fr/issac2002/
Description:
Topics of the meeting include, but are not limited to:
Algorithmic mathematics. Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group and geometric computing.
Computer Science. Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, softwares, libraries, parallel/distributed computing and programming languages for symbolic computation, concrete analysis, benchmarking, theoretical and practical complexity of computer algebra algorithms, automatic differentiation, code generation, mathematical data structures and exchange protocols.
Applications. Problem treatments using algebraic, symbolic or symbolic-numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics, education.
Date received: November 28, 2001
© 2008 Atlas Conferences Inc.