On the public citation graph

Automated development of Tarski's geometry

https://doi.org/10.1007/bf00245024
0 signed · 49 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-69418-9openalex-snapshot
Metamathematische Methoden in der Geometrie
inferredcites →https://doi.org/10.1007/978-3-642-81955-1_17openalex-snapshot
E-Resolution: Extension of Resolution to Include the Equality Relation
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_3openalex-snapshot
A Decision Method for Elementary Algebra and Geometry
inferredcites →https://doi.org/10.1007/978-94-009-4037-6openalex-snapshot
Mechanical Geometry Theorem Proving
inferredcites →https://doi.org/10.1007/bf00244396openalex-snapshot
Automated proofs of L�b's theorem and G�del's two incompletensess theorems
inferredcites →https://doi.org/10.1007/bfb0067120openalex-snapshot
Open questions for research
inferredcites →https://doi.org/10.1016/s0049-237x(09)70017-5openalex-snapshot
What is Elementary Geometry?
inferredcites →https://doi.org/10.1016/s0736-5853(86)80087-9openalex-snapshot
Automated Reasoning: Introduction and Applications
inferredcites →https://doi.org/10.1109/tc.1976.1674696openalex-snapshot
Problems and Experiments for and with Automated Theorem-Proving Programs
inferredcites →https://doi.org/10.1145/5383.5389openalex-snapshot
Equality-based binary resolution
inferredcites →https://doi.org/10.2307/2273904openalex-snapshot
Tarski and geometry
inferredcites →https://doi.org/10.2307/2274625openalex-snapshot
Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.
inferredcites →https://doi.org/10.2307/3605120openalex-snapshot
Foundations of Geometry

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-58156-1_18openalex-snapshot
The TPTP problem library
inferred← citeshttps://doi.org/10.1007/3-540-60392-1_20openalex-snapshot
A hierarchical representation of qualitative shape based on connection and convexity
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-3-030-86909-0_1openalex-snapshot
Evolution of Automated Deduction and Dynamic Constructions in Geometry
inferred← citeshttps://doi.org/10.1007/978-3-031-63498-7_4openalex-snapshot
An Empirical Assessment of Progress in Automated Theorem Proving
inferred← citeshttps://doi.org/10.1007/978-3-319-10434-8_8openalex-snapshot
Constructibility and Geometry
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-540-77356-6_9openalex-snapshot
Mechanical Theorem Proving in Tarski’s Geometry
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-40672-0_1openalex-snapshot
Proof and Computation in Geometry
inferred← citeshttps://doi.org/10.1007/978-3-642-40672-0_7openalex-snapshot
From Tarski to Hilbert
inferred← citeshttps://doi.org/10.1007/bf00247826openalex-snapshot
Recognizing unnecessary clauses in resolution based systems
inferred← citeshttps://doi.org/10.1007/bf00249023openalex-snapshot
The problem of choosing the type of subsumption to use
inferred← citeshttps://doi.org/10.1007/bf00249355openalex-snapshot
The problem of finding a restriction strategy more effective than the set of support strategy
inferred← citeshttps://doi.org/10.1007/bf00263451openalex-snapshot
Automated deduction in von Neumann-Bernays-G�del set theory
inferred← citeshttps://doi.org/10.1007/bfb0022718openalex-snapshot
Integration of reasoning and algebraic calculus in geometry
inferred← citeshttps://doi.org/10.1007/s10472-014-9443-5openalex-snapshot
Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
inferred← citeshttps://doi.org/10.1007/s10472-018-9606-xopenalex-snapshot
Proof-checking Euclid
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/b978-044450813-3/50013-8openalex-snapshot
Automated Reasoning in Geometry
inferred← citeshttps://doi.org/10.1016/s0168-0072(98)00017-7openalex-snapshot
A common axiom set for classical and intuitionistic plane geometry
inferred← citeshttps://doi.org/10.1023/a:1005806324129openalex-snapshot
The TPTP Problem Library
inferred← citeshttps://doi.org/10.1038/s41586-023-06747-5openalex-snapshot
Solving olympiad geometry without human demonstrations
inferred← citeshttps://doi.org/10.1080/01445349950044206openalex-snapshot
Constructivity in Geometry
inferred← citeshttps://doi.org/10.1145/143559.143683openalex-snapshot
Experimentation with proof methods for non-Horn sets
inferred← citeshttps://doi.org/10.15439/2016f290openalex-snapshot
Tarski's geometry modelled in Mizar computerized proof assistant
inferred← citeshttps://doi.org/10.2172/10129052openalex-snapshot
OTTER 3.0 reference manual and guide
inferred← citeshttps://doi.org/10.2172/822573openalex-snapshot
OTTER 3.3 reference manual.
inferred← citeshttps://doi.org/10.3166/tsi.24.1113-1138openalex-snapshot
Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée
inferred← citeshttps://doi.org/10.3233/fi-1994-21127openalex-snapshot
CIRCUMSCRIPTION AND GENERIC MATHEMATICAL OBJECTS
inferred← citeshttps://doi.org/10.4000/13yi2openalex-snapshot
Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples
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.79.4openalex-snapshot
Formalization and Implementation of Algebraic Methods in Geometry
inferred← citeshttps://doi.org/10.70675/ebffbe00z3617z41e5z91bfzd4ec1aa303afopenalex-snapshot
Le statut dynamique des axiomes : des preuves aux modèles
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.