The following pages link to Mathematical Software – ICMS 2010 (Q5747846):
Displaying 50 items.
- Computational Discrete Geometry (Q5747847) (← links)
- Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems (Q5747848) (← links)
- Reliable and Efficient Geometric Computing (Q5747849) (← links)
- The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB (Q5747850) (← links)
- Sollya: An Environment for the Development of Numerical Codes (Q5747851) (← links)
- Validated Special Functions Software (Q5747852) (← links)
- The Dynamic Dictionary of Mathematical Functions (DDMF) (Q5747853) (← links)
- Reliable Computing with GNU MPFR (Q5747854) (← links)
- Simplicial Cohomology of Smooth Orbifolds in GAP (Q5747856) (← links)
- Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases (Q5747857) (← links)
- Constructive Membership Testing in Black-Box Classical Groups (Q5747858) (← links)
- Towards High-Performance Computational Algebra with GAP (Q5747859) (← links)
- An Improvement of a Function Computing Normalizers for Permutation Groups (Q5747860) (← links)
- A GAP Package for Computation with Coherent Configurations (Q5747862) (← links)
- CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond (Q5747863) (← links)
- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation (Q5747864) (← links)
- FGb: A Library for Computing Gröbner Bases (Q5747865) (← links)
- Fast Library for Number Theory: An Introduction (Q5747866) (← links)
- Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic (Q5747867) (← links)
- Exact Geometric and Algebraic Computations in CGAL (Q5747868) (← links)
- On Solving Systems of Bivariate Polynomials (Q5747869) (← links)
- Accurate and Reliable Computing in Floating-Point Arithmetic (Q5747870) (← links)
- Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags (Q5747871) (← links)
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra (Q5747872) (← links)
- Euler’s Polyhedron Formula in mizar (Q5747873) (← links)
- Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? (Q5747874) (← links)
- Linear Programs for the Kepler Conjecture (Q5747875) (← links)
- A Formal Proof of Pick’s Theorem (Q5747876) (← links)
- Evaluation of Automated Theorem Proving on the Mizar Mathematical Library (Q5747877) (← links)
- On Local Deformations of Planar Quad-Meshes (Q5747878) (← links)
- Construction of Harmonic Surfaces with Prescribed Geometry (Q5747879) (← links)
- A Library of OpenGL-Based Mathematical Image Filters (Q5747880) (← links)
- MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems (Q5747881) (← links)
- TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory (Q5747882) (← links)
- Introduction to Normaliz 2.5 (Q5747883) (← links)
- Computer Algebra Methods in Tropical Geometry (Q5747884) (← links)
- A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic (Q5747885) (← links)
- An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals (Q5747886) (← links)
- New Algorithms for Computing Primary Decomposition of Polynomial Ideals (Q5747887) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- Operadic Gröbner Bases: An Implementation (Q5747889) (← links)
- Magma - A Tool for Number Theory (Q5747890) (← links)
- Enumerating Galois Representations in Sage (Q5747891) (← links)
- NZMATH 1.0 (Q5747892) (← links)
- Removing Redundant Quadratic Constraints (Q5747893) (← links)
- Traversing Symmetric Polyhedral Fans (Q5747894) (← links)
- C++ Tools for Exploiting Polyhedral Symmetries (Q5747895) (← links)
- isl: An Integer Set Library for the Polyhedral Model (Q5747896) (← links)
- The Reformulation-Optimization Software Engine (Q5747897) (← links)
- Generating Smooth Lattice Polytopes (Q5747898) (← links)
