scientific article; zbMATH DE number 3151263
From MaRDI portal
Publication:3268764
Cited in
(49)- An alternative construction of Conway's ordered field No
- A bibliography of quantifier elimination for real closed fields
- Errata to ``An alternative construction of Conway's ordered field No.
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- Lukasiewicz logic and the foundations of measurement
- The logical study of science
- Complexity and related enhancements for automated theorem-proving programs
- Complete geometric query languages
- From geometry to conceptual relativity
- Euklidische Geometrie ohne das Axiom von Pasch
- The ubiquitous axiom
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
- Axiomatizing geometric constructions
- Betweenness, orders and interval graphs
- Zur Linearität verallgemeinerter Modulisometrien. (The linearity of unitary module isometry's)
- Two cryptomorphic formalizations of projective incidence geometry
- Three-dimensional affine spatial logics
- Mereology in engineering and computer science
- scientific article; zbMATH DE number 3949144 (Why is no real title available?)
- The simplest axiom system for hyperbolic geometry revisited, again
- The logic and topology of Kant's temporal continuum
- Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
- Newton's experimental proofs
- Constructibility and Geometry
- Carving up space: steps towards construction of an absolutely complete theory of spatial regions
- Rational region-based affine logic of the real plane
- Mechanical Theorem Proving in Tarski’s Geometry
- scientific article; zbMATH DE number 3291816 (Why is no real title available?)
- Reducible Theories and Amalgamations of Models
- A Logic of East and West
- Are Points (Necessarily) Unextended?
- Poincaré on the value of reasoning machines
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
- The parallel postulate
- The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
- Mutual translatability, equivalence, and the structure of theories
- How to minimize ontological commitments: a grounding-reductive approach
- Conditions on centroids implying Euclideanity
- An essay in honor of Adolf Grünbaum's ninetieth birthday: a reexamination of Zeno's paradox of extension
- On Putnam's proof of the impossibility of a nominalistic physics
- Variations on a theme of Makowsky
- Simple forms of Aristotle's axiom and of the \textit{Lotschnittaxiom}
- Absolute geometry with the fourth postulate
- Definable coordinate geometries over fields
- Some open problems in the philosophy of space and time
- A system of axioms for Minkowski spacetime
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 Q3268764)
