The following pages link to (Q3234138):
Displayed 50 items.
- The ubiquitous axiom (Q2038868) (← links)
- David Hilbert and the foundations of the theory of plane area (Q2052227) (← links)
- Exploring the fruitfulness of diagrams in mathematics (Q2052612) (← links)
- Equivalence: an attempt at a history of the idea (Q2052631) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- The median triangle theorem as an entrance to certain issues in higher-dimensional geometry (Q2088182) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- ``Complex numbers'' and the problem of multiplication between quantities (Q2145720) (← links)
- Cognitive unity of Thales' mathematics (Q2151528) (← links)
- H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg (Q2159722) (← links)
- Reducing radicals in the spirit of Euclid (Q2229721) (← links)
- The role of diagrams in mathematical arguments (Q2271075) (← links)
- On the equivalence of Playfair's axiom to the parallel postulate (Q2329377) (← links)
- False position in Leonardo of Pisa's \textit{Liber abbaci} (Q2381567) (← links)
- Optimal control solutions to the maximum volume isoperimetric pillars problem (Q2440713) (← links)
- Concurrency of the altitudes of a triangle (Q2442661) (← links)
- Computational complexity of diagram satisfaction in Euclidean geometry (Q2489144) (← links)
- Renaissance notions of number and magnitude (Q2490947) (← links)
- A new look at Galileo's search for mathematical proofs (Q2501240) (← links)
- Matrix representation of the shifting operation and numerical properties of the ERES method for computing the greatest common divisor of sets of many polynomials (Q2511181) (← links)
- Beiträge zur axiomatischen Inhaltstheorie (Q2535826) (← links)
- On the area of a semi-circle (Q2557681) (← links)
- al-Kūhī's revision of Book I of Euclid's \textit{Elements} (Q2576313) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- On the circumcentered-reflection method for the convex feasibility problem (Q2661677) (← links)
- On the relationship between geometric objects and figures in Euclidean geometry (Q2671586) (← links)
- Extended mathematical cognition: external representations with non-derived content (Q2690211) (← links)
- Completion, reduction and analysis: three proof-theoretic processes in aristotle’s<i>prior analytics</i> (Q2757970) (← links)
- Computerizing Mathematical Text with MathLang (Q2866734) (← links)
- Why Proof? A Historian’s Perspective (Q2915845) (← links)
- Numerosities of point sets over the real line (Q3053476) (← links)
- CHARACTERIZING DIGITAL STRAIGHTNESS AND DIGITAL CONVEXITY BY MEANS OF DIFFERENCE OPERATORS (Q3087009) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Gauss as Scientific Mediator Between Mathematics and Geodesy from the Past to the Present (Q3120062) (← links)
- How old are the Platonic Solids? (Q3144184) (← links)
- Theory and method in history of mathematics (Q3150454) (← links)
- Geometric Metrics for Topological Representations (Q3300548) (← links)
- Two efficient algorithms for the computation of ideal sums in quadratic orders (Q3377005) (← links)
- (Q3387500) (← links)
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence (Q3618448) (← links)
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge (Q3644710) (← links)
- For Some Histories of Greek Mathematics (Q3653120) (← links)
- Ratio in early Greek mathematics (Q3859747) (← links)
- Probleme der Euklidinterpretation und ihre Bedeutung für die Entwicklung der Mathematik (Q3863834) (← links)
- Kepler, elliptical orbits, and celestial circularity: A study in the persistence of metaphysical commitment (Q3937348) (← links)
- Early modern concepts of number and algebra and some connections with those of science (Q4008227) (← links)
- A Very Early Acquaintance with Apollonius of Perga's Treatise on Conic Sections in the Latin West (Q4124786) (← links)
- Perfect Numbers A Mathematical Pun? An Analysis of the Last Theorem in the Ninth Book of Euclid's Elements (Q4133571) (← links)