|
|
 |
Conferences on Intelligent Computer Mathematics 2010
Paris, France 5th-10th July 2010
|
Workshops
| CCA |
3rd Workshop on Compact Computer Algebra |
6thJuly 2010 |
| DML |
3rd Workshop, Towards a Digital Mathematics Library |
7th - 8th July 2010 |
| MathUI |
6th Workshop on Mathematical User-Interfaces |
10th July 2010 |
| MIPS |
Workshop on Mathematically Intelligent Proof Search |
10th July 2010 |
| OMWS |
23rd Workshop on OpenMath |
8th July 2010 |
| PLMMS |
4th Workshop on Programming Languages for
Mechanized Mathematics Systems |
8th July 2010 |
| SCIEnce |
3rd SCIEnce Workshop |
5th July 2010 |
|
|
