Calendar

13 Sun 14 Mon 15 Tue 16 Wed 17 Thu 18 Fri 19 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
3:00 pm Logic seminar: Kazuhisa Nakasho (Yamaguchi University)
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[...]