scientific article

From MaRDI portal
Publication:3234138

zbMath0071.24203MaRDI QIDQ3234138

Euclide, T. L. Heath

Publication date: 1956


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

The Jesuits and the method of indivisiblesJ. Zaragosa's centrum minimum, an early version of barycentric geometryBook 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 RisiMetamathematical investigations on the theory of grossoneOrigins of the analysis of the Euclidean algorithmFrom informal to formal proofs in Euclidean geometryImplementing Euclid's straightedge and compass constructions in type theoryProof-checking EuclidBook review of: R. Hart, Imagined civilizations. China, the West, and their first encounter``Complex numbers and the problem of multiplication between quantitiesFalse position in Leonardo of Pisa's \textit{Liber abbaci}Doubling the cube: A new interpretation of its significance for early Greek geometryEuclidean geometry in the mathematical tradition of Islamic IndiaCognitive unity of Thales' mathematicsWhy Proof? A Historian’s PerspectiveEdition of the Istikmāl d'al-Mu'taman (XIth century) by Ibn Sartāq, a mathematician of the XIIIth-XIVth centuriesH.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin GreenbergSome comments on six inequalities associated with the inefficiency of ordinary least squares with one regressorOn the circumcentered-reflection method for the convex feasibility problemMathematical diagrams from manuscript to print: examples from the Arabic Euclidean transmissionThe forgotten individual: diagrammatic reasoning in mathematicsThe mathematical form of measurement and the argument for Proposition I in Newton's \textit{Principia}Bias-independent constructions from biased bisection and adjacency judgementsOrthocentric simplices as the true generalizations of trianglesLack of relative monotonicity among various measures of trihedral anglesThe ritual origin of geometryOn the relationship between geometric objects and figures in Euclidean geometryThe open mouth theorem, or the scissors lemma, for orthocentric tetrahedraRevisiting al-Samaw'al's table of binomial coefficients: Greek inspiration, diagrammatic reasoning and mathematical inductionMarriages of incommensurables: \(\phi\)-related ratios joined with 2 and 3Leonardo's Vitruvian man drawing: a new interpretation looking at Leonardo's geometric constructionsFurther adventures of the Rome 1594 Arabic redaction of Euclid's \textit{Elements}Social processes and proofs of theorems and programsOn the inconsistency of Mumma's EuExtended mathematical cognition: external representations with non-derived contentThe open mouth theorem in higher dimensionsThe origin of dimensional analysisIrrationality of the square root of 2: the early Pythagorean proof, Theodorus's and Theaetetus's generalizationsQuadrivium: the structure of mathematics as described in Isidore of Seville's \textit{Etymologies}The area method. A recapitulationMethods and traditions of Babylonian mathematics. Plimpton 322, Pythagorean triples, and the Babylonian triangle parameter equationsInfinitesimals and infinites in the history of mathematics: a brief surveyHow trisections of the angle were transmitted from Greek to Islamic geometryThe debate between Peletier and Clavius on superpositionOptimal control solutions to the maximum volume isoperimetric pillars problemWhat did Gauss read in the appendix?Concurrency of the altitudes of a triangleUnnamed ItemQuasi-selective ultrafilters and asymptotic numerositiesReducing radicals in the spirit of EuclidA reconstruction of the Frenicle-Fermat correspondenceGeometric Metrics for Topological RepresentationsA constructive version of Tarski's geometryOpen texture and mathematicsVisualizations in mathematicsBridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approachSymbolic language in early modern mathematics: The algebra of Pierre Hérigone (1580-1643)Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analyticsWas Euclid an unnecessarily sophisticated psychologist?The pons asinorum and related theorems for tetrahedraComputational complexity of diagram satisfaction in Euclidean geometryEuclid and the fundamental theorem of arithmeticRenaissance notions of number and magnitudeDiagrams in the Arabic Euclidean tradition: a preliminary assessmentThe role of diagrams in mathematical argumentsThe first Chinese translation of the last nine books of Euclid's \textit{Elements} and its sourceNumerosities of point sets over the real lineA new look at Galileo's search for mathematical proofsDid Euclid's elements, Book I, develop geometry axiomatically?Prelude to dimension theory: The geometrical investigations of Bernard BolzanoMatrix representation of the shifting operation and numerical properties of the ERES method for computing the greatest common divisor of sets of many polynomialsInfinitude of primes: Euclid's proof using angles between lattice vectorsEuclidean geometry and physical spaceThe ubiquitous axiomMethodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic ConsequenceLogical form, mathematical practice, and Frege's \textit{Begriffsschrift}Zloković's understandings of reciprocal concatenationTwo efficient algorithms for the computation of ideal sums in quadratic ordersDavid Hilbert and the foundations of the theory of plane areaExploring the fruitfulness of diagrams in mathematicsEquivalence: an attempt at a history of the ideaNotes on Thābit ibn Qurra and his rule for amicable numbersCHARACTERIZING DIGITAL STRAIGHTNESS AND DIGITAL CONVEXITY BY MEANS OF DIFFERENCE OPERATORSBeiträge zur axiomatischen InhaltstheorieBuilding Mathematics-Based Software Systems to Advance Science and Create KnowledgeIntuitionism: an inspiration?Conservation principles and action schemes in the synthesis of geometric conceptsA Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable ProofsOn the area of a semi-circleMathematics and arts: Connections between theory and practice in the medieval Islamic worldOn the equivalence of Playfair's axiom to the parallel postulateGauss as Scientific Mediator Between Mathematics and Geodesy from the Past to the PresentThe median triangle theorem as an entrance to certain issues in higher-dimensional geometryal-Kūhī's revision of Book I of Euclid's \textit{Elements}Thābit ibn Qurra and the pair of amicable numbers 17296, 18416Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOLA Neolithic oral tradition for the van der Waerden/Seidenberg origin of mathematicsComputerizing Mathematical Text with MathLangHow old are the Platonic Solids?Theory and method in history of mathematicsZero and nothing in medieval Arabic arithmeticVariations on a Theorem of VarignonEigencircles and associated surfacesAxioms for convexityAbstract Generality, Simplicity, Forgetting, and DiscoveryDE ZOLT’S POSTULATE: AN ABSTRACT APPROACHCharles Peirce and Bertrand Russell on EuclidRussell's Paradox: A Historical Study about the Paradox in Frege's TheoriesFrom Practical to Pure Geometry and BackThe Law of Cosines with Differential Calculus and WithoutUsing the Intermediate Value Theorem to Circumscribe Hyperbolic TrianglesEarly modern concepts of number and algebra and some connections with those of scienceThe main sources for theArte Mayorin sixteenth century SpainThe Method of Archimedes in the Seventeenth CenturyAnothern-Dimensional Generalization of Pompeiu’s TheoremWilliam Neile′s Contribution to CalculusA New and Rather Long Proof of the Pythagorean Theorem by Way of a Proposition on Isosceles TrianglesEuclid after Computer Proof-CheckingHow much can we extend the Assouad embedding theorem?Legendre’s Singular ModulusBetween music and geometry: a proposal for the early intended application of Euclid’s Elements Book XSituating the Debate on “Geometrical Algebra” within the Framework of Premodern AlgebraWhy did Euclid not need the Pasch axiom?On a Geometry Problem in Plato’s MenoPractical reasoning and the witnessably rigorous proofPurity and Explanation: Essentially Linked?200 Years of the Czech Textbook of Geometry by Josef Vojtech SedlacekWho proved Pythagoras's theorem?Mathematical Rigor and the Origin of the Exhaustion MethodOtto Neugebauer’s Vision for Rewriting the History of Ancient MathematicsLa Définition V. 8 desElémentsd'Euclide*Properties of the Brahmagupta matrixThe dawn of non‐Euclidean geometryTotally unimodular nets\((1+i)\)-ary GCD computation in \(\mathbb Z[i\) as an analogue to the binary GCD algorithm.] ⋮ The fundamental theorem of calculus within a geometric context based on Barrow's workThree mathematical papers of Adam Adamandy Kocha\'nski -- annotated English translationA Very Early Acquaintance with Apollonius of Perga's Treatise on Conic Sections in the Latin WestPerfect Numbers A Mathematical Pun? An Analysis of the Last Theorem in the Ninth Book of Euclid's ElementsPremise Selection in the Naproche SystemRatio in early Greek mathematicsLinearity and Reflexivity in the Growth of Mathematical KnowledgeProbleme der Euklidinterpretation und ihre Bedeutung für die Entwicklung der MathematikReconfiguring convex polygonsUnnamed ItemInstabilidade no tratamento de razões no contexto do desenvolvimento da matemática européia medievalDEMOSTRACIONES DEL PONS ASINORUM. APORTES DE LA HISTORIA A LA ENSEÑANZA DE LA MATEMÁTICAAbout the cover: The mathematical conquest of the third dimensionDiagrams and mathematical reasoning: some points, lines, and figuresFor Some Histories of Greek MathematicsMathematical approaches to defining the semitone in antiquityNatural numerosities of sets of tuplesElementary methods in the study of the distribution of prime numbersA FORMAL SYSTEM FOR EUCLID’SELEMENTSAnalysis of PSLQ, an integer relation finding algorithmKepler, elliptical orbits, and celestial circularity: A study in the persistence of metaphysical commitmentDynamic hyperbolic geometry: building intuition and understanding mediated by a Euclidean modelDoubling the Cube and Constructability in Higher Dimensions