Exploring Formalisation
From MaRDI portal
Publication:5039658
DOI10.1007/978-3-031-14649-7zbMath1496.68006OpenAlexW4296940618MaRDI QIDQ5039658
Publication date: 1 October 2022
Published in: Surveys and Tutorials in the Applied Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-14649-7
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational methods for problems pertaining to algebraic topology (55-08)
This page was built for publication: Exploring Formalisation
