Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

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