%0 Conference Paper %1 conf/tacas/Greiner-PetterC22 %A Greiner-Petter, André %A Cohl, Howard S. %A Youssef, Abdou %A Schubotz, Moritz %A Trost, Avi %A Dey, Rajen %A Aizawa, Akiko %A Gipp, Bela %B TACAS (1) %D 2022 %E Fisman, Dana %E Rosu, Grigore %I Springer %K dblp %P 87-105 %T Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#Greiner-PetterC22 %V 13243 %@ 978-3-030-99524-9

@inproceedings{conf/tacas/Greiner-PetterC22, added-at = {2023-10-21T00:00:00.000+0200}, author = {Greiner-Petter, André and Cohl, Howard S. and Youssef, Abdou and Schubotz, Moritz and Trost, Avi and Dey, Rajen and Aizawa, Akiko and Gipp, Bela}, biburl = {https://www.bibsonomy.org/bibtex/26baea2ed0fb2148d2623d90d5165cbb1/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2022-1}, editor = {Fisman, Dana and Rosu, Grigore}, ee = {https://www.wikidata.org/entity/Q122926706}, interhash = {0b13a5425f24d7f57cac64c695b542b8}, intrahash = {6baea2ed0fb2148d2623d90d5165cbb1}, isbn = {978-3-030-99524-9}, keywords = {dblp}, pages = {87-105}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:46.000+0200}, title = {Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#Greiner-PetterC22}, volume = 13243, year = 2022 }