On the public citation graph

Automated reasoning in geometry theorem proving with Prolog

https://doi.org/10.1007/bf00248249
0 signed · 56 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.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.1016/s0019-9958(59)90090-7openalex-snapshot
A note on syntactic symmetry and the manipulation of formal systems by machine
inferredcites →https://doi.org/10.1147/rd.24.0336openalex-snapshot
Intelligent Behavior in Problem-Solving Machines

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_16openalex-snapshot
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
inferred← citeshttps://doi.org/10.1007/3-540-50335-8_38openalex-snapshot
Automatizing geometric proofs and constructions
inferred← citeshttps://doi.org/10.1007/3-540-60156-2_2openalex-snapshot
A practical algorithm for geometric theorem proving
inferred← citeshttps://doi.org/10.1007/3-540-61732-9_60openalex-snapshot
Geometry machines: From AI to SMC
inferred← citeshttps://doi.org/10.1007/978-1-4613-9092-3_15openalex-snapshot
Deciding a Class of Euclidean Geometry Theorems with Buchberger’s Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-030-70665-4_161openalex-snapshot
Automated Knowledge Retrieval Based on Vector Reasoning
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-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-319-25768-6_13openalex-snapshot
Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-319-95588-9_78openalex-snapshot
A Program to Seek Drawing Methods for Descriptive Geometry in Prolog
inferred← citeshttps://doi.org/10.1007/978-3-642-17622-7_12openalex-snapshot
Coupling Ontology with Rule-Based Theorem Proving for Knowledge Representation and Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-41142-7_15openalex-snapshot
Automatic Exercise Generation in Euclidean Geometry
inferred← citeshttps://doi.org/10.1007/978-981-10-8471-3_43openalex-snapshot
Improvement on Ride Comfort of Quarter-Car Active Suspension System Using Linear Quadratic Regulator
inferred← citeshttps://doi.org/10.1007/978-981-19-0638-1_10openalex-snapshot
Further Developments
inferred← citeshttps://doi.org/10.1007/bf00283133openalex-snapshot
Automated generation of readable proofs with geometric invariants
inferred← citeshttps://doi.org/10.1007/bf00283134openalex-snapshot
Automated generation of readable proofs with geometric invariants
inferred← citeshttps://doi.org/10.1007/bf01531326openalex-snapshot
Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems
inferred← citeshttps://doi.org/10.1007/bf02186359openalex-snapshot
A selected artificial intelligence bibliography for operations researchers
inferred← citeshttps://doi.org/10.1007/bfb0022716openalex-snapshot
Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets
inferred← citeshttps://doi.org/10.1007/bfb0022718openalex-snapshot
Integration of reasoning and algebraic calculus in geometry
inferred← citeshttps://doi.org/10.1007/bfb0022725openalex-snapshot
Automated production of readable proofs for theorems in non-Euclidean geometries
inferred← citeshttps://doi.org/10.1007/s10472-023-09839-0openalex-snapshot
Towards a geometry deductive database prover
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-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/s11424-012-2048-3openalex-snapshot
A review and prospect of readable machine proofs for geometry theorems
inferred← citeshttps://doi.org/10.1007/s11786-020-00489-7openalex-snapshot
Automated Deduction and Knowledge Management in Geometry
inferred← citeshttps://doi.org/10.1016/0004-3702(88)90048-3openalex-snapshot
Wu's method and its application to perspective viewing
inferred← citeshttps://doi.org/10.1016/0004-3702(88)90050-1openalex-snapshot
A refutational approach to geometry theorem proving
inferred← citeshttps://doi.org/10.1016/0004-3702(94)00064-8openalex-snapshot
Geometric theorem proving by integrated logical and algebraic reasoning
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90324-mopenalex-snapshot
Using geometric rewrite rules for solving geometric problems symbolically
inferred← citeshttps://doi.org/10.1016/b978-0-12-046370-1.50010-3openalex-snapshot
The Idea of a Diagram
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.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.1023/b:jars.0000021960.39761.b7openalex-snapshot
GRAMY: A Geometry Theorem Prover Capable of Construction
inferred← citeshttps://doi.org/10.1038/s41586-023-06747-5openalex-snapshot
Solving olympiad geometry without human demonstrations
inferred← citeshttps://doi.org/10.1063/5.0229183openalex-snapshot
Physicochemical properties of natural hydroxyapatite extracted from chicken bone bio-waste
inferred← citeshttps://doi.org/10.1080/07468342.1991.11973390openalex-snapshot
Programs for a Logic Course
inferred← citeshttps://doi.org/10.1109/iita.workshops.2008.18openalex-snapshot
From the Inference System Suitable for Human to the Inference System Suitable for Computer
inferred← citeshttps://doi.org/10.1145/96877.96949openalex-snapshot
Refutational proofs of geometry theorems via characteristic set computation
inferred← citeshttps://doi.org/10.12737/2308-4898-2026-14-1-3-14openalex-snapshot
Logical Interpretation of the Algorithm for Solving Apollonius' Problem
inferred← citeshttps://doi.org/10.12737/2308-4898-2026-14-2-47-58openalex-snapshot
An Algorithmic Complex for Dynamic Adaptation of Educational Environment Interfaces in Virtual Reality Based on Geometric Modeling
inferred← citeshttps://doi.org/10.17771/pucrio.acad.3279openalex-snapshot
[en] COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY
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.48550/arxiv.1212.5776openalex-snapshot
Improving problem solving by exploiting the concept of symmetry
inferred← citeshttps://doi.org/10.5220/0004795300140025openalex-snapshot
Automated Generation of Geometry Questions for High School Mathematics
inferred← citeshttps://doi.org/10.5772/164openalex-snapshot
Advances in Learning Processes
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.