Logic seminar: Kazuhisa Nakasho (Yamaguchi University) 3:00 pm
Logic seminar: Kazuhisa Nakasho ...
Nov 16 @ 3:00 pm – 4:00 pm
<p>Title: Formalization of multivariable calculus in Mizar</p> Abstract:<p>In this presentation, I will report on the progress of theformalization of multivariable calculus in Mizar. We are now formalizingmultivariable calculus with the aim of formalizing differentialmanifolds, partial[...]