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:
CoRR (2022)
Keyphrases
</>
mathematical functions
digital libraries
computer algebra systems
computer algebra
theorem prover
particle swarm optimisation
metadata
model checking
theorem proving
expert systems
genetic algorithm
multimedia
natural language
evolutionary algorithm