Author:James H. Davenport

Publications

SC-square: when Satisfiability Checking and Symbolic Computation join forces

Erika Ábrahám, 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

In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science

James H. Davenport and Fadoua Ghourabi (editors)

EPiC Series in Computing, volume 39

Keyphrases

automated reasoning, computer algebra, satisfiability checking, symbolic computation.