James Davenport
University of Bath
H-index: 33
Europe-United Kingdom
Top articles of James Davenport
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Global Survey of Introductory Programming Courses | Raina Mason Simon Brett A Becker Tom Crick James H Davenport | 2024/3/7 | |
Levelwise construction of a single cylindrical algebraic cell | Journal of Symbolic Computation | Jasper Nalbach Erika Abrahám Philippe Specht Christopher W Brown James H Davenport | 2024/7/1 |
Lazard-style CAD and Equational Constraints | James Harold Davenport Akshar Sajive Nair Gregory Kumar Sankaran Ali Kemal Uncu | 2023/7/24 | |
Iterated Resultants and Rational Functions in Real Quantifier Elimination | arXiv preprint arXiv:2312.16210 | James H Davenport Matthew England Scott McCallum Ali K Uncu | 2023/12/23 |
A Practical Overview of Quantum Computing: Is Exascale Possible? | James H Davenport Jessica R Jones Matthew Thomason | 2023/6/21 | |
Teaching Programming Competencies: A Role for Craft Computing? | Tom Crick James H Davenport Alan Hayes Tom Prickett | 2023/9/7 | |
Using skills profiling to enable badges and micro-credentials to be incorporated into higher education courses | Journal of Interactive Media in Education | Rupert Ward Tom Crick Paul Hanna Alan Hayes Alastair Irons | 2023/5/24 |
Proving an Execution of an Algorithm Correct? | James Harold Davenport | 2023/8/28 | |
A poly-algorithmic approach to quantifier elimination | arXiv preprint arXiv:2302.06814 | James H Davenport Zak P Tonks Ali K Uncu | 2023/2/14 |
Iterated resultants in CAD | arXiv preprint arXiv:2307.16750 | James H Davenport Matthew England | 2023/7/31 |
King's College London, UK. | Journal of Interactive Media in Education | RUPERT WARD TOM CRICK JAMES H DAVENPORT PAUL HANNA ALAN HAYES | 2023/1/1 |
Smt-solving induction proofs of inequalities | arXiv preprint arXiv:2307.16761 | Ali K Uncu James H Davenport Matthew England | 2023/7/31 |
Artificial Conflict Sampling for Real Satisfiability Problems | James H Davenport Ali K Uncu | 2022/9/12 | |
Dataset for chapter" Quality and Bias" | James Davenport | 2022/3/10 | |
Varieties of doubly-exponential behaviour in cylindrical algebraic decomposition | CEUR Workshop Proceedings | James H Davenport | 2022/8/20 |
Teaching programming for mathematical scientists | Jack Betteridge Eunice Chan Robert M Corless James H Davenport James Grant | 2022 | |
A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics | Tom Crick James H Davenport Alan Hayes Alastair Irons Tom Prickett | 2022/7/7 | |
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition | ACM Communications in Computer Algebra | Russell Bradford James H Davenport Matthew England Amirhossein Sadeghimanesh Ali Uncu | 2022/1/12 |
Co-constructing a community of practice for early career computer scientist academics in the UK | Tom Crick James H Davenport Alan Hayes Alastair Irons Tom Prickett | 2022/6/29 | |
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) | Erika Abraham James H Davenport Matthew England Alberto Griggio | 2022 |