Betzendahl J (2022)
Publication Type: Conference contribution
Publication year: 2022
Publisher: CEUR-WS
Book Volume: 3377
Conference Proceedings Title: CEUR Workshop Proceedings
Event location: Virtual, Online, ROU
APA:
Betzendahl, J. (2022). Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics. In Jasmin Blanchette, James Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Muller, Yasmine Sharoda, Claudio Sacerdoti Coen (Eds.), CEUR Workshop Proceedings. Virtual, Online, ROU: CEUR-WS.
MLA:
Betzendahl, Jonas. "Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics." Proceedings of the Joint of the 5th Workshop on Formal Mathematics for Mathematicians, FMM 2019, 2nd Workshop on Formal Verification of Physical Systems, FVPS 2021, 13th Workshop on Mathematical User Interaction, MathUI 2021, 2021 Workshop on Natural Formal Mathematics, NatFoM 2021, and 31st OpenMath Workshops, OM 2021 Doctoral Program and Work in Progress at the 14th Conference on Intelligent Computer Mathematics, CICM-WS 2021, Virtual, Online, ROU Ed. Jasmin Blanchette, James Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Muller, Yasmine Sharoda, Claudio Sacerdoti Coen, CEUR-WS, 2022.
BibTeX: Download