Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems.
Howard S. CohlAndré Greiner-PetterMoritz SchubotzPublished in: CoRR (2021)
Keyphrases
- computer algebra systems
- computer algebra
- theorem prover
- theorem proving
- semi automated
- search based testing
- fully automated
- test cases
- computer aided
- sensitivity analysis
- test data
- symbolic representation
- numerical analysis
- knowledge representation
- natural language
- multiscale
- numerical data
- symbolic data
- test data generation
- bayesian networks
- data sets
- database