Sciweavers

9888 search results - page 21 / 1978
» compute 2009
Sort
View
95
Voted
MKM
2009
Springer
15 years 5 months ago
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Jónathan Heras, Vico Pascual, Julio Rubio