AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics
Saturday January 8, 2011, 8:00 a.m.-10:50 a.m. AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics, I
Conde, 3rd Floor, JW Marriott Organizers: Krystyna M. Kuperberg , Auburn University kuperkm@auburn.edu
Andrzej Trybulec , University of Bialystok
Artur Kornilowicz , University of Bialystok
Adam Naumowicz , University of Bialystok
Sunday January 9, 2011, 8:00 a.m.-10:50 a.m. AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics, II
Conde, 3rd Floor, JW Marriott Organizers: Krystyna M. Kuperberg , Auburn University kuperkm@auburn.edu
Andrzej Trybulec , University of Bialystok
Artur Kornilowicz , University of Bialystok
Adam Naumowicz , University of Bialystok
8:00 a.m.
Type inference in finite group theory.
Jeremy Avigad* , Department of Philosophy, Carnegie Mellon University
(1067-03-910)
8:30 a.m.
Mechanizing the Odd Order Theorem: Local Analysis.
Georges Gonthier* , Microsoft Research
(1067-03-836)
9:00 a.m.
Mizar-supported maths teaching at the university level.
Adam Naumowicz* , Institute of Informatics, University of Bialystok, Poland
Artur Kornilowicz , Institute of Informatics, University of Bialystok, Poland
(1067-97-1443)
9:30 a.m.
Recent achievement of codification on real analysis in Mizar.
Yasushige Watase* , Shinshu University, Faculty of Engineering
Noboru Endo , Gifu National College of Technology, Dept. of Electronic Control Engineering
Yasunari Shidama , Shinshu University, Faculty of Engineering
(1067-68-1135)
10:00 a.m.
Computerising Mathematical texts with MathLang.
Fairouz Kamareddine* , Heriot-Watt University
(1067-03-1396)
10:30 a.m.
The language of mathematics in Mizar.
Artur Kornilowicz* , Institute of Informatics, University of Bialystok, Poland
Adam Naumowicz , Institute of Informatics, University of Bialystok, Poland
(1067-68-1444)
MAA Sectional Meetings
|
AMS Sectional Meetings
|
MAA National Meetings
|
AMS National Meetings
|
Inquiries: meet@ams.org