The following pages link to (Q4485800):
Displaying 50 items.
- Convexity without convex combinations (Q265608) (← links)
- Book review of: A. Papadoupoulos and G. Théret, La théorie des lignes paralléles de Johann Heinrich Lambert; G. Saccheri, Euclid vindicated from every blemish. Edited by V. de Risi (Q286038) (← links)
- Circumcenter, circumcircle and centroid of a triangle (Q306627) (← links)
- The development of Euclidean axiomatics. The systems of principles and the foundations of mathematics in editions of the \textit{Elements} in the early modern age (Q343827) (← links)
- Oskar Becker, Bryson and Eudoxos (Q353316) (← links)
- The twofold role of diagrams in Euclid's plane geometry (Q375269) (← links)
- The equivalence of side-angle-side with side-side-side and the general triangle inequality in the absolute plane (Q375385) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- The Axiata mapping problem and symmetry implications on cuspidal conchoids (Q509125) (← links)
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach (Q514037) (← links)
- Lines, circles, planes and spheres (Q603878) (← links)
- Non-Euclidean Pythagorean triples, a problem of Euler, and rational points on \(K3\) surfaces (Q647132) (← links)
- Angle trisection with origami and related topics (Q654728) (← links)
- Abū al-Wafā' Latinus? A study of method (Q656710) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. II (Q669614) (← links)
- A system of axioms for Minkowski spacetime (Q830382) (← links)
- A geometric environment for building up loops. (Q889139) (← links)
- Why was Wantzel overlooked for a century? The changing importance of an impossibility result (Q1045847) (← links)
- A theory of duality in Euclidean geometry (Q1646649) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Euler's inequality in absolute geometry (Q1754390) (← links)
- A Zen master, a Zen monk, a Zen mathematician (Q1800567) (← links)
- The calculus of reflections and the order relation in hyperbolic geometry (Q1926114) (← links)
- Spatial localization in quantum theory based on qr-numbers (Q1959140) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Absolute isotropic geometry (Q1996192) (← links)
- On the construction of the \textit{Śrī Yantra} (Q2034739) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- David Hilbert and the foundations of the theory of plane area (Q2052227) (← links)
- Euclid's common notions and the theory of equivalence (Q2152377) (← links)
- Operationalism: an interpretation of the philosophy of ancient Greek geometry (Q2154005) (← links)
- H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg (Q2159722) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- Ordered groups and ordered geometries (Q2255388) (← links)
- Diversity, simplicity and selection of geometric constructions: the case of the \(n\)-section of a straight line (Q2282448) (← links)
- Hjelmslev quadrilateral central configurations (Q2284027) (← links)
- Cognitive artifacts for geometric reasoning (Q2289702) (← links)
- On the equivalence of Playfair's axiom to the parallel postulate (Q2329377) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Classification of general absolute planes by quasi-ends (Q2350285) (← links)
- Some facts about trigonometry and Euclidean geometry (Q2353433) (← links)
- Model-theory of vector-spaces over unspecified fields (Q2391093) (← links)
- Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI (Q2413528) (← links)
- Trigonometry in complex inner product spaces (Q2419068) (← links)
- Einstein's velocity addition law and its hyperbolic geometry (Q2468906) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- A sandwich with segment convexity (Q2661273) (← links)
