Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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[...]
17
18
19
20
21
22
23
24
25
26
27
28
29
30