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.

Constructing a Tetrahedron with Prescribed Heights and Widths: Label: en
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System: Label: en
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry: Label: en
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons: Label: en
Mechanical Theorem Proving in Tarski’s Geometry: Label: en
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems: Label: en
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method: Label: en
Cylinders Through Five Points: Complex and Real Enumerative Geometry: Label: en
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems: Label: en
Recognition of Computationally Constructed Loci: Label: en
Automatic Verification of Regular Constructions in Dynamic Geometry Systems: Label: en
Equidecomposable Quadratic Regions: Label: en
Towards an Electronic Geometry Textbook: Label: en
Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems: Label: en
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams: Label: en
On Flattenability of Graphs: Label: en
Current Status of the I2GATP Common Format: Label: en
Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties: Label: en
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons: Label: en
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems: Label: en
The Relation Tool in GeoGebra 5: Label: en
Recent Advances in Real Geometric Reasoning: Label: en
Volume Frameworks and Deformation Varieties: Label: en
Star-Unfolding Polygons: Label: en
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP): Label: en
On One Method of Proving Inequalities in Automated Way: Label: en
What Is a Line ?: Label: en
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry: Label: en
The Midpoint Locus of a Triangle in a Corner: Label: en
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method: Label: en
Proof Documents for Automated Origami Theorem Proving: Label: en
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System: Label: en
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry: Label: en
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs: Label: en
An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time: Label: en
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL: Label: en
Cancellation Patterns in Automatic Geometric Theorem Proving: Label: en
On the Heilbronn Optimal Configuration of Seven Points in the Square: Label: en
An Introduction to Java Geometry Expert: Label: en
Offsetting Revolution Surfaces: Label: en
Linear Programming for Bernstein Based Solvers: Label: en
Formalizing Projective Plane Geometry in Coq: Label: en
Automatic Verification of the Adequacy of Models for Families of Geometric Objects: Label: en
Unique Factorization Domains in the Java Computer Algebra System: Label: en
Multivariate Resultants in Bernstein Basis: Label: en
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving: Label: en
On the Design and Implementation of a Geometric Knowledge Base: Label: en
Dynamical Systems of Simplices in Dimension Two or Three: Label: en
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs: Label: en
On the Formal Analysis of Geometrical Optics in HOL: Label: en