References
- Yves Bertot. A short presentation of Coq. In Otmane Aït Mohamed, César A. Muñoz, and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics (TPHOLs 2008), volume 5170 of LNCS, pages 12–16. Springer, 2008. doi:10.1007/978-3-540-71067-73.
- Richard Courant and Fritz John. Introduction to Calculus and Analysis I. John Wiley and Sons Inc., New York, 1st edition, 1965.
- Manuel Eberl. Stirling’s formula. Archive of Formal Proofs, September 2016. https://isa-afp.org/entries/Stirling_Formula.html, Formal proof development.
- Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.
- John Harrison. Stirling’s approximation. 2010. Available online at https://github.com/jrh13/hol-light/blob/master/100/stirling.ml.
- Nobushige Kurokawa. Modern Trigonometric Function Theory. Iwanami Shoten, Publishers (Tokyo), 1st edition, 2013. In Japanese.
- Norman D. Megill and David A. Wheeler. Metamath: A Computer Language for Mathematical Proofs. Lulu Press, Morrisville, North Carolina, 2019. http://us.metamath.org/downloads/metamath.pdf.
- Leonardo de Moura and Sebastian Ullrich. The Lean 4 theorem prover and programming language. In Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings, pages 625–635, Berlin, Heidelberg, 2021. Springer-Verlag. doi:10.1007/978-3-030-79876-537.
- Karol Pąk. Leibniz series for π. Formalized Mathematics, 24(4):275–280, 2016. doi:10.1515/forma-2016-0023.
- Christoph Schwarzweller. The binomial theorem for algebraic structures. Formalized Mathematics, 9(3):559–564, 2001.
- Yasunari Shidama, Noboru Endou, and Katsumi Wasaki. Riemann indefinite integral of functions of real variable. Formalized Mathematics, 15(2):59–63, 2007. doi:10.2478/v10037-007-0007-6.
- Yasushige Watase. Formal proof of transcendence of the number e. Part II. Formalized Mathematics, 32(1):121–131, 2024. doi:10.2478/forma-2024-0009.
- Freek Wiedijk. Formalizing 100 theorems. Available online at http://www.cs.ru.nl/~freek/100/.
- Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255–263, 1998.