Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
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[...]
|
||||||