## User login## Navigation |
## CFP: Programming Languages for Mechanized Mathematics WorkshopProgramming 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## New forum topics |

## Recent comments

10 hours 49 min ago

1 day 44 min ago

1 week 5 days ago

2 weeks 17 hours ago

2 weeks 1 day ago

2 weeks 1 day ago

2 weeks 1 day ago

2 weeks 2 days ago

2 weeks 2 days ago

2 weeks 2 days ago