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