ML4PG in Computer Algebra Verification.
Jónathan HerasEkaterina KomendantskayaPublished in: MKM/Calculemus/DML (2013)
Keyphrases
- computer algebra
- theorem prover
- maximum likelihood
- automated theorem provers
- model checking
- computer algebra systems
- face verification
- formal verification
- artificial intelligence
- formal analysis
- evolutionary algorithm
- verification method
- natural language
- false acceptance rate
- functional verification
- similarity measure
- computer vision