dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

ICMS 2010: Kobe, Japan

Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama (Eds.): Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings. Lecture Notes in Computer Science 6327 Springer 2010, ISBN 978-3-642-15581-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Plenary

Computation of Special Functions (Invited)

Computational Group Theory (Invited)

Computational Group Theory (Contributed)

Computer Algebra (Invited)

Exact Numeric Computation for Algebraic and Geometric Computation (Invited)

Exact Numeric Computation for Algebraic and Geometric Computation (Contributed)

Formal Proof (Invited)

Formal Proof (Contributed)

Geometry and Visualization (Invited)

Geometry and Visualization (Contributed)

Groebner Bases and Applications (Invited)

Groebner Bases and Applications (Contributed)

Number Theoretical Software (Invited)

Number Theoretical Software (Contributed)

Software for Optimization and Polyhedral Computation (Invited)

Software for Optimization and Polyhedral Computation (Contributed)

Reliable Computation (Invited)

Reliable Computation (Contributed)

Last update Fri May 25 08:19:59 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page