scientific article; zbMATH DE number 4072432
From MaRDI portal
Publication:3804232
zbMATH Open0656.68099MaRDI QIDQ3804232FDOQ3804232
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
- Realization of automatic reasoning system of geometry based on point-eliminating method
- scientific article; zbMATH DE number 194597
- Automatted geometry theorem proving
- scientific article
Euclidean geometries (general) and generalizations (51M05) Geometric constructions in real or complex geometry (51M15)
Cited In (16)
- Geometry machines: from AI to SMC
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic generation of staged geometric predicates
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- The reachability problem in constructive geometric constraint solving based dynamic geometry
- Automatic proofs for formulae enumerating proper polycubes
- Automatic Construction and Verification of Isotopy Invariants
- Automated deduction and knowledge management in geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatted geometry theorem proving
- Title not available (Why is that?)
- Sketch-based pruning of a solution space within a formal geometric constraint solver
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3804232)
