scientific article; zbMATH DE number 3151264
From MaRDI portal
Publication:3268765
Cited in
(9)- Poincaré on the value of reasoning machines
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
- Wanda Szmielew 1918-1976
- An alternative construction of Conway's ordered field No
- Errata to ``An alternative construction of Conway's ordered field No.
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- Model-theoretic properties of nilpotent groups and Lie algebras
- A constructive version of Tarski's geometry
- Universal hyperbolic geometry. I: Trigonometry
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 Q3268765)
