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.

What Is New in CoCoA?: Label: en
An Extension and Efficient Calculation of the Horner’s Rule for Matrices: Label: en
Computation of an Improved Lower Bound to Giuga’s Primality Conjecture: Label: en
BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins: Label: en
Mathematical Software for Modified Bessel Functions: Label: en
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems: Label: en
NLCertify: A Tool for Formal Nonlinear Optimization: Label: en
Incremental QBF Solving by DepQBF: Label: en
Skolemization Modulo Theories: Label: en
Quantifier Elimination for Linear Modular Constraints: Label: en
Software for Quantifier Elimination in Propositional Logic: Label: en
Real Quantifier Elimination in the RegularChains Library: Label: en
Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision: Label: en
Computing Persistence Modules on Commutative Ladders of Finite Type: Label: en
Isotopic ε-Approximation of Algebraic Curves: Label: en
PHAT – Persistent Homology Algorithms Toolbox: Label: en
Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods: Label: en
javaPlex: A Research Software Package for Persistent (Co)Homology: Label: en
Robustly and Efficiently Computing Algebraic Curves and Surfaces: Label: en
Reversible Codes and Applications to DNA: Label: en
On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities: Label: en
Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes: Label: en
OpenGeo: An Open Geometric Knowledge Base: Label: en
A Touch-Operation-Based Dynamic Geometry System: Design and Implementation: Label: en
Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32: Label: en
On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to $\mathbb{Z}_{2^e}$: Label: en
Computer Aided Geometry: Label: en
Integrating Circumradius and Area Formulae for Cyclic Pentagons: Label: en
Codes over a Non Chain Ring with Some Applications: Label: en
On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category: Label: en
BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex: Label: en
Implementing the L ∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis: Label: en
Computation of Genus 0 Belyi Functions: Label: en
Software for Groups: Theory and Practice: Label: en
CGAL – Reliable Geometric Computing for Academia and Industry: Label: en
Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods: Label: en
Approximating Generators for Integral Arithmetic Groups: Label: en
Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets: Label: en
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups: Label: en
The Gudhi Library: Simplicial Complexes and Persistent Homology: Label: en
Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP: Label: en
A GAP Package for Computing with Real Semisimple Lie Algebras: Label: en
CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms: Label: en
Heuristics for Sphere Recognition: Label: en
New Approaches in Black Box Group Theory: Label: en
Theorema 2.0: A System for Mathematical Theory Exploration: Label: en
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema: Label: en
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs: Label: en
Early Examples of Software in Mathematical Knowledge Management: Label: en
Representing, Archiving, and Searching the Space of Mathematical Knowledge: Label: en