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
: Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems.
, William Stein
: The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB.
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)
: Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic.
Siegfried M. Rump
: Accurate and Reliable Computing in Floating-Point Arithmetic.
Exact Numeric Computation for Algebraic and Geometric Computation (Contributed)
: Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags.
Formal Proof (Invited)
: Introducing HOL Zero - (Extended Abstract).
: Euler's Polyhedron Formula in mizar.
R. D. Arthan
: Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?
Thomas C. Hales
: Linear Programs for the Kepler Conjecture - (Extended Abstract).
: A Formal Proof of Pick's Theorem - (Extended Abstract).
Formal Proof (Contributed)
Geometry and Visualization (Invited)
: On Local Deformations of Planar Quad-Meshes.
: Construction of Harmonic Surfaces with Prescribed Geometry.
Geometry and Visualization (Contributed)
Groebner Bases and Applications (Invited)
Groebner Bases and Applications (Contributed)
: A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic.
: New Algorithms for Computing Primary Decomposition of Polynomial Ideals.
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)
: Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations.
: Complex Inclusion Functions in the CoStLy C++ Class Library.
: Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries.
Reliable Computation (Contributed)