On the public citation graph

Automated generation of readable proofs with geometric invariants

https://doi.org/10.1007/bf00283134
0 signed · 75 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-81952-0_10openalex-snapshot
Empirical Explorations of the Geometry-Theorem Proving Machine
inferredcites →https://doi.org/10.1007/bf00248249openalex-snapshot
Automated reasoning in geometry theorem proving with Prolog
inferredcites →https://doi.org/10.1007/bf00283133openalex-snapshot
Automated generation of readable proofs with geometric invariants
inferredcites →https://doi.org/10.1007/bf00297245openalex-snapshot
A prolog technology theorem prover: Implementation by an extended prolog compiler
inferredcites →https://doi.org/10.1016/0004-3702(70)90005-6openalex-snapshot
An examination of the geometry theorem machine
inferredcites →https://doi.org/10.1016/0004-3702(75)90013-2openalex-snapshot
Plane geometry theorem proving using forward chaining
inferredcites →https://doi.org/10.1142/2196openalex-snapshot
Machine Proofs in Geometry
inferredcites →https://doi.org/10.1145/1460361.1460381openalex-snapshot
Empirical explorations of the geometry theorem machine
inferredcites →https://doi.org/10.1145/16856.16859openalex-snapshot
An amateur's introduction to recursive query processing strategies
inferredcites →https://doi.org/10.1145/16894.16859openalex-snapshot
An amateur's introduction to recursive query processing strategies

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-45410-1_15openalex-snapshot
Nonstandard Geometric Proofs
inferred← citeshttps://doi.org/10.1007/3-540-47997-x_4openalex-snapshot
Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
inferred← citeshttps://doi.org/10.1007/3-540-47997-x_5openalex-snapshot
Readable Machine Solving in Geometry and ICAI Software MSG
inferred← citeshttps://doi.org/10.1007/978-3-030-28483-1_11openalex-snapshot
Computer-Generated Geometry Proofs in a Learning Context
inferred← citeshttps://doi.org/10.1007/978-3-030-52200-1_26openalex-snapshot
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
inferred← citeshttps://doi.org/10.1007/978-3-030-77879-8_5openalex-snapshot
Proof Mechanization: From Dream to Reality
inferred← citeshttps://doi.org/10.1007/978-3-030-86909-0_1openalex-snapshot
Evolution of Automated Deduction and Dynamic Constructions in Geometry
inferred← citeshttps://doi.org/10.1007/978-3-030-86909-0_3openalex-snapshot
Intelligence in QED-Tutrix: Balancing the Interactions Between the Natural Intelligence of the User and the Artificial Intelligence of the Tutor Software
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_27openalex-snapshot
Prolog in Automated Reasoning in Geometry
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_20openalex-snapshot
PyEuclid: A Versatile Formal Plane Geometry System in Python
inferred← citeshttps://doi.org/10.1007/978-3-642-21046-4_10openalex-snapshot
An Introduction to Java Geometry Expert
inferred← citeshttps://doi.org/10.1007/978-3-642-25070-5_12openalex-snapshot
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
inferred← citeshttps://doi.org/10.1007/978-3-642-25070-5_13openalex-snapshot
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
inferred← citeshttps://doi.org/10.1007/978-3-642-25070-5_7openalex-snapshot
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
inferred← citeshttps://doi.org/10.1007/bfb0022718openalex-snapshot
Integration of reasoning and algebraic calculus in geometry
inferred← citeshttps://doi.org/10.1007/bfb0054241openalex-snapshot
A combination of nonstandard analysis and geometry theorem proving, with application to Newton's Principia
inferred← citeshttps://doi.org/10.1007/s10472-023-09857-yopenalex-snapshot
Automated generation of illustrated proofs in geometry and beyond
inferred← citeshttps://doi.org/10.1007/s10817-007-9071-4openalex-snapshot
A Graphical User Interface for Formal Proofs in Geometry
inferred← citeshttps://doi.org/10.1007/s10817-009-9162-5openalex-snapshot
Visually Dynamic Presentation of Proofs in Plane Geometry
inferred← citeshttps://doi.org/10.1007/s10817-009-9163-4openalex-snapshot
Visually Dynamic Presentation of Proofs in Plane Geometry
inferred← citeshttps://doi.org/10.1007/s10817-010-9209-7openalex-snapshot
The Area Method
inferred← citeshttps://doi.org/10.1007/s10817-015-9326-4openalex-snapshot
Automated Theorem Proving in GeoGebra: Current Achievements
inferred← citeshttps://doi.org/10.1007/s10817-017-9435-3openalex-snapshot
Generalizing Morley’s and Other Theorems with Automated Realization
inferred← citeshttps://doi.org/10.1007/s10817-022-09652-0openalex-snapshot
Measuring the Readability of Geometric Proofs: The Area Method Case
inferred← citeshttps://doi.org/10.1007/s10817-023-09688-wopenalex-snapshot
Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity
inferred← citeshttps://doi.org/10.1007/s11424-012-2048-3openalex-snapshot
A review and prospect of readable machine proofs for geometry theorems
inferred← citeshttps://doi.org/10.1007/s11786-017-0302-8openalex-snapshot
Towards an Intelligent and Dynamic Geometry Book
inferred← citeshttps://doi.org/10.1007/s11786-020-00489-7openalex-snapshot
Automated Deduction and Knowledge Management in Geometry
inferred← citeshttps://doi.org/10.1016/b978-012734760-8/50022-3openalex-snapshot
References
inferred← citeshttps://doi.org/10.1016/b978-044450813-3/50013-8openalex-snapshot
Automated Reasoning in Geometry
inferred← citeshttps://doi.org/10.1016/j.entcs.2012.06.005openalex-snapshot
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
inferred← citeshttps://doi.org/10.1016/j.jsc.2018.12.004openalex-snapshot
Taxonomies of geometric problems
inferred← citeshttps://doi.org/10.1023/a:1006171315513openalex-snapshot
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
inferred← citeshttps://doi.org/10.1038/s41586-023-06747-5openalex-snapshot
Solving olympiad geometry without human demonstrations
inferred← citeshttps://doi.org/10.1080/0020739x.2024.2377724openalex-snapshot
Proof exploration using dynamic geometry systems with integrated automated deduction capabilities
inferred← citeshttps://doi.org/10.1080/16864360.2005.10738330openalex-snapshot
A Brief on Constraint Solving
inferred← citeshttps://doi.org/10.1109/iccwamtip60502.2023.10387025openalex-snapshot
SUFFI-GPSC: Sufficient Geometry Problem Solution Checking with Symbolic Computation and Logical Reasoning
inferred← citeshttps://doi.org/10.1109/iccwamtip64812.2024.10873683openalex-snapshot
Geo-Qwen: A Geometry Problem-Solving Method Based on Generative Large Language Models and Heuristic Reasoning
inferred← citeshttps://doi.org/10.1109/ict-ispc.2014.6923204openalex-snapshot
Development of a learning system for proving the congruence of two triangles by supporting ‘backward chaining’
inferred← citeshttps://doi.org/10.1109/ieir67391.2025.11491259openalex-snapshot
A Review on Auxiliary Constructions in Geometry Problem Solving
inferred← citeshttps://doi.org/10.1115/1.3593408openalex-snapshot
Geometric Constraint Solving in Parametric Computer-Aided Design
inferred← citeshttps://doi.org/10.1145/1719970.1719988openalex-snapshot
Intelligent understanding of handwritten geometry theorem proving
inferred← citeshttps://doi.org/10.1145/3581783.3612570openalex-snapshot
A Symbolic Characters Aware Model for Solving Geometry Problems
inferred← citeshttps://doi.org/10.12677/aam.2018.712173openalex-snapshot
Research Progress of Automated Particle Geometry Theorems Proving
inferred← citeshttps://doi.org/10.1587/transinf.2016edp7363openalex-snapshot
A Support System for Solving Problems of Two-Triangle Congruence Using ‘Backward Chaining’
inferred← citeshttps://doi.org/10.18653/v1/2021.acl-long.528openalex-snapshot
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
inferred← citeshttps://doi.org/10.18653/v1/2021.findings-acl.46openalex-snapshot
GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning
inferred← citeshttps://doi.org/10.24963/ijcai.2023/376openalex-snapshot
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
inferred← citeshttps://doi.org/10.29007/r5k7openalex-snapshot
Automation for Geometry in Isabelle/HOL
inferred← citeshttps://doi.org/10.3390/math11122757openalex-snapshot
A Machine Proof System of Point Geometry Based on Coq
inferred← citeshttps://doi.org/10.4204/eptcs.267.3openalex-snapshot
Improving QED-Tutrix by Automating the Generation of Proofs
inferred← citeshttps://doi.org/10.4204/eptcs.290.3openalex-snapshot
Towards Ranking Geometric Automated Theorem Provers
inferred← citeshttps://doi.org/10.4204/eptcs.313.1openalex-snapshot
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
inferred← citeshttps://doi.org/10.4204/eptcs.313.6openalex-snapshot
Towards a Geometry Automated Provers Competition
inferred← citeshttps://doi.org/10.4204/eptcs.352.14openalex-snapshot
Open Geometry Prover Community Project
inferred← citeshttps://doi.org/10.4204/eptcs.352.17openalex-snapshot
A Method for the Automated Discovery of Angle Theorems
inferred← citeshttps://doi.org/10.4204/eptcs.352.9openalex-snapshot
Automated Generation of Illustrations for Synthetic Geometry Proofs
inferred← citeshttps://doi.org/10.4204/eptcs.354.3openalex-snapshot
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
inferred← citeshttps://doi.org/10.4204/eptcs.375.3openalex-snapshot
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
inferred← citeshttps://doi.org/10.4204/eptcs.398.18openalex-snapshot
Theorem Discovery Amongst Cyclic Polygons
inferred← citeshttps://doi.org/10.4204/eptcs.79.4openalex-snapshot
Formalization and Implementation of Algebraic Methods in Geometry
inferred← citeshttps://doi.org/10.4204/eptcs.79.7openalex-snapshot
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
inferred← citeshttps://doi.org/10.4236/apm.2021.118045openalex-snapshot
A Study on Computer Consciousness on Intuitive Geometry Based on Mathematics Experiments and Statistical Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.2105.04165openalex-snapshot
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
inferred← citeshttps://doi.org/10.5772/7941openalex-snapshot
Adaptative Learning Environment for Geometry
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.