Image de couverture de livre

Mathematical Proof

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bauschke, Heinz H.
Format:	Preprint
Publié:	2026
Sujets:	History and Overview 03-01 (Primary) 03B05, 03E20, 26-01, 40-01 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The history of three wrong definitions
par: Boas, Harold P.
Publié: (2026)

On Śankara Varman's (correct) and Mādhava's (incorrect) values for the circumferences of circles
par: Krishnachandran, V. N.
Publié: (2024)

Samgamagrāma Mādhava: An Updated Biography
par: Krishnachandran, V. N.
Publié: (2024)

Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin
par: Rodin, Andrei
Publié: (2024)

The story of geometry told by coins
par: Fukś, Henryk
Publié: (2025)

Textual analysis of ancient Indian mathematics
par: Kichenassamy, Satyanad
Publié: (2025)

On Mādhava and his correction terms for the Mādhava-Leibniz series for $π$
par: Krishnachandran, V. N.
Publié: (2024)

Foundations of Trigonometry: Conceptual and Logical, Being an Essay Towards a Conceptual Foundations of Mathematics
par: Amer, Mohamed A.
Publié: (2016)

Dominic Welsh (1938-2023)
par: Grimmett, Geoffrey R.
Publié: (2024)

Faith Believes, Hope Expects: The Impact of Calvin's Theology on the Mathematics of Chance
par: Johnson, Timothy C.
Publié: (2024)

An analysis of Euclid's geometrical foundations
par: Johnson, Peter M
Publié: (2025)

Nelson's Logical Diagrams
par: Aberdein, Andrew
Publié: (2023)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
par: Mancosu, Paolo, et autres
Publié: (2023)

An interview with Bernard Teissier
par: Popescu-Pampu, Patrick
Publié: (2026)

LF: a Foundational Higher-Order-Logic
par: Goodsell, Zachary, et autres
Publié: (2024)

Vopěnka's Alternative Set Theory as a framework for feasible numbers
par: Haniková, Zuzana
Publié: (2026)

History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity
par: Bottazzi, Emanuele, et autres
Publié: (2025)

On the examples of Egyptian fractions in Liber Abaci
par: Steihaug, Trond, et autres
Publié: (2025)

A Modern Retrospective on Probabilistic Numerics
par: Oates, C. J., et autres
Publié: (2019)

Sophie Germain, mathématicienne extraordinaire: A story stranger than fiction
par: Pengelley, David
Publié: (2026)

How did Fermat discover his theorem?
par: Pengelley, David
Publié: (2025)

On unsolvable equations of prime degree
par: Brzeziński, Juliusz, et autres
Publié: (2024)

Formalism 25
par: Katz, Mikhail G., et autres
Publié: (2025)

Early Highlights in the History of the Bernstein-von Mises Theorem
par: Fischer, Hans
Publié: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
par: Coquand, Thierry, et autres
Publié: (2017)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
par: Colomina-Alminana, Juan J.
Publié: (2026)

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
par: Colomina-Alminana, Juan J.
Publié: (2026)

A formula for any real number, maybe
par: Hanson, James E., et autres
Publié: (2026)

From Coefficients to Distributions: De~Moivre and the Operational View of Probability
par: Labouriau, R.
Publié: (2026)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
par: Incatasciato, Guillermo L., et autres
Publié: (2024)

Any function I can actually write down is measurable, right?
par: Hanson, James E.
Publié: (2025)

On Quasiconvexity of Precompact-Subset Spaces
par: Akofor, Earnest
Publié: (2023)

Josef Meixner: his life and his orthogonal polynomials
par: Butzer, Paul L., et autres
Publié: (2016)

A Gentle Introduction to the Axiom of Choice
par: Blass, Andreas, et autres
Publié: (2025)

On some geometric interpretations of fractional-order operators
par: Podlubny, Igor
Publié: (2024)

Constructing projective modules
par: Asok, Aravind
Publié: (2024)

Une initiation au concept de l'infini
par: Ades, Michel, et autres
Publié: (2024)

The Thousand Faces of Pythagoras (As Mil Faces de Pitágoras)
par: Mandolesi, André L. G.
Publié: (2024)

Modern Definition and Ancient Definition
par: Protin, Clarence
Publié: (2022)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)