scientific article; zbMATH DE number 3151264
From MaRDI portal
Publication:3268765
Cited in
(10)- 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
- Wanda Szmielew 1918-1976
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
- Universal hyperbolic geometry. I: Trigonometry
- A constructive version of Tarski's geometry
- Poincaré on the value of reasoning machines
- Model-theoretic properties of nilpotent groups and Lie algebras
- An essay in honor of Adolf Grünbaum's ninetieth birthday: a reexamination of Zeno's paradox of extension
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)
