Skip to main navigation
Skip to search
Skip to main content

the University of Bath's research portal Home

Help & FAQ

Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units

Search by expertise, name or affiliation

SMT Nonlinear Real Arithmetic and Computer Algebra: A dialogue of the deaf?

James Davenport

Department of Computer Science
EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
International Centre for Higher Education Management (ICHEM)
Mathematical Foundations of Computation

Research output: Contribution to journal › Article › peer-review

Overview
Fingerprint

Fingerprint

Dive into the research topics of 'SMT Nonlinear Real Arithmetic and Computer Algebra: A dialogue of the deaf?'. Together they form a unique fingerprint.

Sort by
Weight
Alphabetically

Engineering & Materials Science

Powered by Pure, Scopus & Elsevier Fingerprint Engine™ © 2023 Elsevier B.V.

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

the University of Bath's research portal data protection policy

About web accessibility