On the way to certify Computer Algebra S
✍
S. Boulmé; T. Hardin; D. Hirschkoff; V. Ménissier-Morain; R. Rioboo
📂
Article
📅
1999
🏛
Elsevier Science
🌐
English
⚖ 846 KB