The following pages link to Proof and Computation in Geometry (Q2849504):
Displaying 6 items.
- A constructive version of Tarski's geometry (Q490871) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
