From Euclidean geometry to knots and nets
type: Item
instance of: scholarly article
title: From Euclidean geometry to knots and nets
zbMATH Open document ID: 1475.00010
published in: Synthese
publication date: 2021-11-29T00:00:00Z
full work available at URL: http://hdl.handle.net/2299/21444
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 51M04
zbMATH DE Number: 7435323
zbMATH Keywords: proof
zbMATH Keywords: Euclidean geometry
zbMATH Keywords: knot theory
zbMATH Keywords: topology
author: Brendan Larvor
describes a project that uses: Flyspeck
MaRDI profile type: Publication
OpenAlex ID: W2750648893
cites work: A FORMAL SYSTEM FOR EUCLID’SELEMENTS
cites work: The Derivation-Indicator View of Mathematical Practice
cites work: Why do informal proofs conform to formal norms?
cites work: The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
cites work: Towards a new epistemology of mathematics
cites work: Diagrams and Proofs in Analysis
cites work: Q4433665
cites work: ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
cites work: An Inquiry into the Practice of Proving in Low-Dimensional Topology
cites work: Forms and roles of diagrams in knot theory
cites work: And so on \dots : reasoning with infinite diagrams
cites work: Mathematical Knowledge and the Interplay of Practices
cites work: Confronting ideals of proof with the ways of proving of the research mathematician
cites work: Q5431482
cites work: Dense sphere packings. A blueprint for formal proofs
cites work: Prove—Once More and Again
cites work: Cutting up graphs revisited – a short proof of Stallings' structure theorem
cites work: Q4099559
cites work: How to think about informal proofs
cites work: Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
cites work: Q3101071
cites work: Q3059440
cites work: Q3818261
cites work: Q3600462
cites work: Proofs, pictures, and Euclid
cites work: Why Do We Believe Theorems?
cites work: Reuben Hersh. Experiencing Mathematics: What Do We Do, When We Do Mathematics?. Providence, Rhode Island: American Mathematical Society, 2014. ISBN 978-0-8218-9420-0. Pp. xvii + 291
cites work: Why Do We Prove Theorems?
cites work: A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
cites work: Q4364503
cites work: Q4530470
cites work: Heterogeneous Reasoning and Its Logic
cites work: Why do mathematicians need different ways of presenting mathematical objects? The case of Cayley graphs
cites work: A Problem with the Dependence of Informal Proofs on Formal Proofs
cites work: Q3629614
cites work: Informal proof, formal proof, formalism
cites work: Q3240229
DOI: 10.1007/S11229-017-1558-X
description: scientific article; zbMATH DE number 7435323