- Diagonal Representation of Algebraic Power Series: A Glimpse Behind the Scenes Sergey Yurkevich Thu 03 July 2025
- Complexity problems in enumerative combinatorics Igor Pak Fri 22 March 2024
- In Memory of Martin Davis Wesley Calvert Valentina Harizanov Eugenio G. Omodeo Alberto Policriti Alexandra Shlapentokh Sat 20 January 2024
- The umbilical cord of finite model theory Yuri Gurevich Sun 19 November 2023
- The Mathematics of Ltextbackslash'aszltextbackslash'o Lovtextbackslash'asz Martin Grøtschel Jaroslav Nešetřil Wed 08 March 2023
- Lecture notes on complexity of quantifier elimination over the reals Nicolai Vorobjov Fri 03 February 2023
- Mathematical Proof Between Generations Jonas Bayer Christoph Benzmuller Kevin Buzzard Marco David Leslie Lamport Yuri Matiyasevich Lawrence Paulson Dierk Schleicher Benedikt Stock Efim Zelmanov Wed 13 July 2022
- A Simple Proof of the Quadratic Formula Po-Shen Loh Fri 27 December 2019
- Notes on Category Theory with examples from basic mathematics Paolo Perrone Fri 27 December 2019
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
