Entity usage
From MaRDI portal
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 14 results in range #51 to #64.
- Decomposing Solution Sets of Polynomial Systems Using Derivatives: Label: en
- 3D Printing Dimensional Calibration Shape: Clebsch Cubic: Label: en
- Extending Singular with New Types and Algorithms: Label: en
- The Subdivision of Large Simplicial Cones in Normaliz: Label: en
- Bad Primes in Computational Algebraic Geometry: Label: en
- Agent-Based HOL Reasoning: Label: en
- Automated Deduction in Ring Theory: Label: en
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0: Label: en
- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT: Label: en
- Automating Free Logic in Isabelle/HOL: Label: en
- Towards the Automatic Discovery of Theorems in GeoGebra: Label: en
- Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover: Label: en
- Exercising Nuprl’s Open-Endedness: Label: en
- Some Wellfounded Trees in UniMath: Label: en