User loginNavigation 
CFP: Programming Languages for Mechanized Mathematics Workshop
Programming Languages for Mechanized Mathematics Workshop
As part of Calculemus 2007
Hagenberg, Austria
The intent of this workshop is to examine more closely the intersection between programming languages and mechanized mathematics systems (MMS). By MMS, we understand computer algebra systems (CAS), [automated] theorem provers (TP/ATP), all heading towards the development of fully unified systems (the MMS), sometimes also called universal mathematical assistant systems (MAS) (see Calculemus 2007). 
Browse archives
Active forum topics

Recent comments
7 weeks 1 day ago
11 weeks 3 days ago
13 weeks 10 hours ago
13 weeks 10 hours ago
15 weeks 5 days ago
20 weeks 2 days ago
20 weeks 2 days ago
20 weeks 5 days ago
20 weeks 5 days ago
23 weeks 4 days ago