conference paper | Q23927052 |
P818 | arXiv ID | 2201.09488 |
P356 | DOI | 10.1007/978-3-030-99524-9_5 |
P953 | full work available at URL | https://arxiv.org/abs/2201.09488 |
P50 | author | Moritz Schubotz | Q42883470 |
Bela Gipp | Q50411920 | ||
Howard S. Cohl | Q51741334 | ||
André Greiner-Petter | Q113808555 | ||
P2093 | author name string | Abdou Youssef | |
Rajen Dey | |||
Akiko Aizawa | |||
Avi Trost | |||
P304 | page(s) | 87-105 | |
P577 | publication date | 2022-04-01 | |
P1476 | title | Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems |
Search more.