Login / Signup
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
André Greiner-Petter
Howard S. Cohl
Abdou Youssef
Moritz Schubotz
Avi Trost
Rajen Dey
Akiko Aizawa
Bela Gipp
Published in:
TACAS (1) (2022)
Keyphrases
</>
mathematical functions
digital libraries
computer algebra systems
computer algebra
particle swarm optimisation
theorem prover
metadata
model checking
neural network
multimedia
theorem proving
artificial intelligence
search engine