Conferences in DBLP
(icms) Computational Discrete Geometry. [Citation Graph (, )][DBLP ] Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems. [Citation Graph (, )][DBLP ] Reliable and Efficient Geometric Computing. [Citation Graph (, )][DBLP ] The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB. [Citation Graph (, )][DBLP ] Sollya: An Environment for the Development of Numerical Codes. [Citation Graph (, )][DBLP ] Validated Special Functions Software. [Citation Graph (, )][DBLP ] The Dynamic Dictionary of Mathematical Functions (DDMF). [Citation Graph (, )][DBLP ] Reliable Computing with GNU MPFR. [Citation Graph (, )][DBLP ] Simplicial Cohomology of Smooth Orbifolds in GAP. [Citation Graph (, )][DBLP ] Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases. [Citation Graph (, )][DBLP ] Constructive Membership Testing in Black-Box Classical Groups. [Citation Graph (, )][DBLP ] Towards High-Performance Computational Algebra with GAP. [Citation Graph (, )][DBLP ] An Improvement of a Function Computing Normalizers for Permutation Groups. [Citation Graph (, )][DBLP ] A GAP Package for Computation with Coherent Configurations. [Citation Graph (, )][DBLP ] CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. [Citation Graph (, )][DBLP ] LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. [Citation Graph (, )][DBLP ] FGb: A Library for Computing Gröbner Bases. [Citation Graph (, )][DBLP ] Fast Library for Number Theory: An Introduction. [Citation Graph (, )][DBLP ] Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic. [Citation Graph (, )][DBLP ] Exact Geometric and Algebraic Computations in CGAL. [Citation Graph (, )][DBLP ] On Solving Systems of Bivariate Polynomials. [Citation Graph (, )][DBLP ] Accurate and Reliable Computing in Floating-Point Arithmetic. [Citation Graph (, )][DBLP ] Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags. [Citation Graph (, )][DBLP ] The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra. [Citation Graph (, )][DBLP ] Introducing HOL Zero - (Extended Abstract). [Citation Graph (, )][DBLP ] Euler's Polyhedron Formula in mizar. [Citation Graph (, )][DBLP ] Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? [Citation Graph (, )][DBLP ] Linear Programs for the Kepler Conjecture - (Extended Abstract). [Citation Graph (, )][DBLP ] A Formal Proof of Pick's Theorem - (Extended Abstract). [Citation Graph (, )][DBLP ] Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. [Citation Graph (, )][DBLP ] On Local Deformations of Planar Quad-Meshes. [Citation Graph (, )][DBLP ] Construction of Harmonic Surfaces with Prescribed Geometry. [Citation Graph (, )][DBLP ] A Library of OpenGL-Based Mathematical Image Filters. [Citation Graph (, )][DBLP ] MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems. [Citation Graph (, )][DBLP ] TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory. [Citation Graph (, )][DBLP ] Introduction to Normaliz 2.5. [Citation Graph (, )][DBLP ] Computer Algebra Methods in Tropical Geometry. [Citation Graph (, )][DBLP ] A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic. [Citation Graph (, )][DBLP ] An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals. [Citation Graph (, )][DBLP ] New Algorithms for Computing Primary Decomposition of Polynomial Ideals. [Citation Graph (, )][DBLP ] An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. [Citation Graph (, )][DBLP ] Operadic Gröbner Bases: An Implementation. [Citation Graph (, )][DBLP ] Magma - A Tool for Number Theory. [Citation Graph (, )][DBLP ] Enumerating Galois Representations in Sage. [Citation Graph (, )][DBLP ] NZMATH 1.0. [Citation Graph (, )][DBLP ] Removing Redundant Quadratic Constraints. [Citation Graph (, )][DBLP ] Traversing Symmetric Polyhedral Fans. [Citation Graph (, )][DBLP ] C++ Tools for Exploiting Polyhedral Symmetries. [Citation Graph (, )][DBLP ] isl : An Integer Set Library for the Polyhedral Model.Citation Graph (, )][DBLP ] The Reformulation-Optimization Software Engine. [Citation Graph (, )][DBLP ] Generating Smooth Lattice Polytopes. [Citation Graph (, )][DBLP ] Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations. [Citation Graph (, )][DBLP ] Complex Inclusion Functions in the CoStLy C++ Class Library. [Citation Graph (, )][DBLP ] Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. [Citation Graph (, )][DBLP ] Efficient Evaluation of Large Polynomials. [Citation Graph (, )][DBLP ] Communicating Functional Expressions from Mathematica to C-XSC. [Citation Graph (, )][DBLP ] 