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
Plenary
export record as
dblp key:
export record as
dblp key:
Masakazu Kojima :
Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems.
4-9
export record as
dblp key:
export record as
dblp key:
Burçin Eröcal ,
William Stein :
The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB.
12-27
Computation of Special Functions (Invited)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Computational Group Theory (Invited)
export record as
dblp key:
export record as
dblp key:
Bettina Eick ,
Max Horn :
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases.
50-53
export record as
dblp key:
Computational Group Theory (Contributed)
export record as
dblp key:
export record as
dblp key:
Izumi Miyamoto :
An Improvement of a Function Computing Normalizers for Permutation Groups.
62-68
export record as
dblp key:
Computer Algebra (Invited)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Exact Numeric Computation for Algebraic and Geometric Computation (Invited)
export record as
dblp key:
Dan Halperin :
Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic.
92-95
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Siegfried M. Rump :
Accurate and Reliable Computing in Floating-Point Arithmetic.
105-108
Exact Numeric Computation for Algebraic and Geometric Computation (Contributed)
export record as
dblp key:
Marc Mörig :
Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags.
109-120
export record as
dblp key:
Formal Proof (Invited)
export record as
dblp key:
Mark Adams :
Introducing HOL Zero - (Extended Abstract).
142-143
export record as
dblp key:
Jesse Alama :
Euler's Polyhedron Formula in mizar.
144-147
export record as
dblp key:
R. D. Arthan :
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?
148
export record as
dblp key:
Thomas C. Hales :
Linear Programs for the Kepler Conjecture - (Extended Abstract).
149-151
export record as
dblp key:
John Harrison :
A Formal Proof of Pick's Theorem - (Extended Abstract).
152-154
Formal Proof (Contributed)
export record as
dblp key:
Geometry and Visualization (Invited)
export record as
dblp key:
Tim Hoffmann :
On Local Deformations of Planar Quad-Meshes.
167-169
export record as
dblp key:
Matthias Weber :
Construction of Harmonic Surfaces with Prescribed Geometry.
170-173
Geometry and Visualization (Contributed)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icms/ReininghausGHPH10
Groebner Bases and Applications (Invited)
export record as
dblp key:
export record as
dblp key:
Thomas Markwig :
Computer Algebra Methods in Tropical Geometry.
213-216
Groebner Bases and Applications (Contributed)
export record as
dblp key:
Rocío Blanco :
A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic.
217-220
export record as
dblp key:
export record as
dblp key:
Masayuki Noro :
New Algorithms for Computing Primary Decomposition of Polynomial Ideals.
233-244
export record as
dblp key:
export record as
dblp key:
Number Theoretical Software (Invited)
export record as
dblp key:
Number Theoretical Software (Contributed)
export record as
dblp key:
export record as
dblp key:
Software for Optimization and Polyhedral Computation (Invited)
export record as
dblp key:
conf/icms/AdjiashviliBR10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software for Optimization and Polyhedral Computation (Contributed)
export record as
dblp key:
export record as
dblp key:
Reliable Computation (Invited)
export record as
dblp key:
Grégoire Lecerf :
Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations.
329-332
export record as
dblp key:
Markus Neher :
Complex Inclusion Functions in the CoStLy C++ Class Library.
333-336
export record as
dblp key:
Nathalie Revol :
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries.
337-341
Reliable Computation (Contributed)
export record as
dblp key:
export record as
dblp key: