Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics

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

Authors with CRIS profile

How to cite

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