%0 Conference Paper %1 journals/entcs/BoulmeHHMR99 %A Boulmé, Sylvain %A Hardin, Thérèse %A Hirschkoff, Daniel %A Ménissier-Morain, Valérie %A Rioboo, Renaud %B Calculemus %D 1999 %E Armando, Alessandro %E Jebelean, Tudor %I Elsevier %K dblp %N 3 %P 370-385 %T On the way to certify Computer Algebra Systems. %U http://dblp.uni-trier.de/db/conf/calculemus/calculemus1999.html#BoulmeHHMR99 %V 23

@inproceedings{journals/entcs/BoulmeHHMR99, added-at = {2021-02-17T00:00:00.000+0100}, author = {Boulmé, Sylvain and Hardin, Thérèse and Hirschkoff, Daniel and Ménissier-Morain, Valérie and Rioboo, Renaud}, biburl = {https://www.bibsonomy.org/bibtex/24f96e9f0e08f8a99abc255d44486ddfc/dblp}, booktitle = {Calculemus}, crossref = {conf/calculemus/1999}, editor = {Armando, Alessandro and Jebelean, Tudor}, ee = {https://doi.org/10.1016/S1571-0661(05)80609-7}, interhash = {4b63ceb6ac5b347bfb8a8f564b103881}, intrahash = {4f96e9f0e08f8a99abc255d44486ddfc}, keywords = {dblp}, number = 3, pages = {370-385}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T18:16:46.000+0200}, title = {On the way to certify Computer Algebra Systems.}, url = {http://dblp.uni-trier.de/db/conf/calculemus/calculemus1999.html#BoulmeHHMR99}, volume = 23, year = 1999 }