ICMS 2010: Kobe, Japan

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)