Author:Anna M. BigattiPublications |
---|
Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler |
Keyphrasesautomated reasoning, computer algebra, satisfiability checking, symbolic computation. |
|