Abstract is missing.
- Computational Discrete GeometryThomas C. Hales. 1-3 [doi]
- Exploiting Structured Sparsity in Large Scale Semidefinite Programming ProblemsMasakazu Kojima. 4-9 [doi]
- Reliable and Efficient Geometric ComputingKurt Mehlhorn. 10-11 [doi]
- The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLABBurçin Eröcal, William Stein. 12-27 [doi]
- Sollya: An Environment for the Development of Numerical CodesSylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter. 28-31 [doi]
- Validated Special Functions SoftwareAnnie A. M. Cuyt, Franky Backeljauw, Stefan Becuwe, Joris Van Deun. 32-34 [doi]
- The Dynamic Dictionary of Mathematical Functions (DDMF)Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy. 35-41 [doi]
- Simplicial Cohomology of Smooth Orbifolds in GAPMohamed Barakat, Simon Görtzen. 46-49 [doi]
- Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner BasesBettina Eick, Max Horn. 50-53 [doi]
- Constructive Membership Testing in Black-Box Classical GroupsSophie Ambrose, Scott H. Murray, Cheryl E. Praeger, Csaba Schneider. 54-57 [doi]
- Towards High-Performance Computational Algebra with GAPReimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöeffer. 58-61 [doi]
- An Improvement of a Function Computing Normalizers for Permutation GroupsIzumi Miyamoto. 62-68 [doi]
- A GAP Package for Computation with Coherent ConfigurationsDmitrii V. Pasechnik, Keshav Kini. 69-72 [doi]
- CoCoALib: A C++ Library for Computations in Commutative Algebra... and BeyondJohn Abbott, Anna Maria Bigatti. 73-76 [doi]
- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate CompilationJean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders. 77-83 [doi]
- FGb: A Library for Computing Gröbner BasesJean-Charles Faugère. 84-87 [doi]
- Fast Library for Number Theory: An IntroductionWilliam B. Hart. 88-91 [doi]
- Controlled Perturbation for Certified Geometric Computing with Fixed-Precision ArithmeticDan Halperin. 92-95 [doi]
- Exact Geometric and Algebraic Computations in CGALMenelaos I. Karavelas. 96-99 [doi]
- On Solving Systems of Bivariate PolynomialsFabrice Rouillier. 100-104 [doi]
- Accurate and Reliable Computing in Floating-Point ArithmeticSiegfried M. Rump. 105-108 [doi]
- Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression DagsMarc Mörig. 109-120 [doi]
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and AlgebraJihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Hervé Brönnimann. 121-141 [doi]
- Introducing HOL Zero - (Extended Abstract)Mark Adams. 142-143 [doi]
- Euler s Polyhedron Formula in mizarJesse Alama. 144-147 [doi]
- Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?R. D. Arthan. 148 [doi]
- Linear Programs for the Kepler Conjecture - (Extended Abstract)Thomas C. Hales. 149-151 [doi]
- A Formal Proof of Pick s Theorem - (Extended Abstract)John Harrison. 152-154 [doi]
- Evaluation of Automated Theorem Proving on the Mizar Mathematical LibraryJosef Urban, Krystof Hoder, Andrei Voronkov. 155-166 [doi]
- On Local Deformations of Planar Quad-MeshesTim Hoffmann. 167-169 [doi]
- Construction of Harmonic Surfaces with Prescribed GeometryMatthias Weber. 170-173 [doi]
- A Library of OpenGL-Based Mathematical Image FiltersMartin von Gagern, Christian Mercat. 174-185 [doi]
- MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry ProblemsAntonio Mucherino, Leo Liberti, Carlile Lavor. 186-197 [doi]
- TADD: A Computational Framework for Data Analysis Using Discrete Morse TheoryJan Reininghaus, David Günther, Ingrid Hotz, Steffen Prohaska, Hans-Christian Hege. 198-208 [doi]
- Introduction to Normaliz 2.5Winfried Bruns, Bogdan Ichim, Christof Söger. 209-212 [doi]
- Computer Algebra Methods in Tropical GeometryThomas Markwig. 213-216 [doi]
- A New Desingularization Algorithm for Binomial Varieties in Arbitrary CharacteristicRocío Blanco. 217-220 [doi]
- An Algorithm of Computing Inhomogeneous Differential Equations for Definite IntegralsHiromasa Nakayama, Kenta Nishiyama. 221-232 [doi]
- New Algorithms for Computing Primary Decomposition of Polynomial IdealsMasayuki Noro. 233-244 [doi]
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential AlgebraLoredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger. 245-248 [doi]
- Operadic Gröbner Bases: An ImplementationVladimir Dotsenko, Mikael Vejdemo-Johansson. 249-252 [doi]
- Magma - A Tool for Number TheoryJohn Cannon, Steve Donnelly, Claus Fieker, Mark Watkins. 253-255 [doi]
- Enumerating Galois Representations in SageCraig Citro, Alexandru Ghitza. 256-259 [doi]
- NZMATH 1.0Satoru Tanaka, Naoki Ogura, Ken Nakamula, Tetsushi Matsui, Shigenori Uchiyama. 260-269 [doi]
- Removing Redundant Quadratic ConstraintsDavid Adjiashvili, Michel Baes, Philipp Rostalski. 270-281 [doi]
- Traversing Symmetric Polyhedral FansAnders Nedergaard Jensen. 282-294 [doi]
- C++ Tools for Exploiting Polyhedral SymmetriesThomas Rehn, Achill Schürmann. 295-298 [doi]
- ::::isl::::: An Integer Set Library for the Polyhedral ModelSven Verdoolaege. 299-302 [doi]
- The Reformulation-Optimization Software EngineLeo Liberti, Sonia Cafieri, David Savourey. 303-314 [doi]
- Generating Smooth Lattice PolytopesChristian Haase, Benjamin Lorenz, Andreas Paffenholz. 315-328 [doi]
- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric ComputationsGrégoire Lecerf. 329-332 [doi]
- Complex Inclusion Functions in the CoStLy C++ Class LibraryMarkus Neher. 333-336 [doi]
- Standardized Interval Arithmetic and Interval Arithmetic Used in LibrariesNathalie Revol. 337-341 [doi]
- Efficient Evaluation of Large PolynomialsCharles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie. 342-353 [doi]
- Communicating Functional Expressions from ::::Mathematica:::: to C-XSCEvgenija D. Popova, Walter Krämer. 354-365 [doi]