Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

conference paper published in 2022

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems is …
instance of (P31):
conference paperQ23927052

External links are
P818arXiv ID2201.09488
P356DOI10.1007/978-3-030-99524-9_5
P953full work available at URLhttps://arxiv.org/abs/2201.09488

P50authorMoritz SchubotzQ42883470
Bela GippQ50411920
Howard S. CohlQ51741334
André Greiner-PetterQ113808555
P2093author name stringAbdou Youssef
Rajen Dey
Akiko Aizawa
Avi Trost
P304page(s)87-105
P577publication date2022-04-01
P1476titleComparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

Search more.