default search action
James H. Davenport
James Harold Davenport
Person information
- affiliation: University of Bath, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j50]Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England:
Levelwise construction of a single cylindrical algebraic cell. J. Symb. Comput. 123: 102288 (2024) - [c125]Rohit John, James H. Davenport:
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition. ICMS 2024: 176-185 - [c124]Tom Prickett, Tom Crick, James H. Davenport, David S. Bowers, Alan Hayes, Alastair Irons:
Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes. ITiCSE (1) 2024 - [c123]Raina Mason, Simon, Brett A. Becker, Tom Crick, James H. Davenport:
A Global Survey of Introductory Programming Courses. SIGCSE (1) 2024: 799-805 - [i61]James Harold Davenport:
First steps towards Computational Polynomials in Lean. CoRR abs/2408.04564 (2024) - [i60]James H. Davenport:
Towards Verified Polynomial Factorisation. CoRR abs/2409.09533 (2024) - 2023
- [c122]James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu:
Lazard-style CAD and Equational Constraints. ISSAC 2023: 218-226 - [c121]James Harold Davenport:
Proving an Execution of an Algorithm Correct? CICM 2023: 255-269 - [c120]James H. Davenport:
So the problem has poor complexity: what next? SYNASC 2023: 5-10 - [c119]James H. Davenport, Zak P. Tonks, Ali Kemal Uncu:
A Poly-algorithmic Approach to Quantifier Elimination. SYNASC 2023: 44-51 - [c118]Tom Crick, James H. Davenport, Alan Hayes, Tom Prickett:
Teaching Programming Competencies: A Role for Craft Computing? UKICER 2023: 27:1 - [e16]Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. CEUR Workshop Proceedings 3377, CEUR-WS.org 2023 [contents] - [d3]Ali Kemal Uncu, James H. Davenport, Matthew England:
SMT-Solving Induction Proofs of Inequalities Benchmarking Repository. Zenodo, 2023 - [i59]James H. Davenport, Akshar S. Nair, Gregory K. Sankaran, Ali Kemal Uncu:
Lazard-style CAD and Equational Constraints. CoRR abs/2302.05813 (2023) - [i58]James H. Davenport, Zak P. Tonks, Ali Kemal Uncu:
A Poly-algorithmic Approach to Quantifier Elimination. CoRR abs/2302.06814 (2023) - [i57]James H. Davenport, Jessica R. Jones, Matthew Thomason:
A Practical Overview of Quantum Computing: Is Exascale Possible? CoRR abs/2306.12346 (2023) - [i56]James H. Davenport, Matthew England:
Iterated Resultants in CAD. CoRR abs/2307.16750 (2023) - [i55]Ali Kemal Uncu, James H. Davenport, Matthew England:
SMT-Solving Induction Proofs of Inequalities. CoRR abs/2307.16761 (2023) - [i54]James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu:
Iterated Resultants and Rational Functions in Real Quantifier Elimination. CoRR abs/2312.16210 (2023) - 2022
- [c117]Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Keith Miller, Tom Prickett, Rupert Ward, Becky Allen, Bhagyashree Patil, Simon Payne:
Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK. CEP 2022: 21-24 - [c116]Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett, Simon Payne:
A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics. ITiCSE (2) 2022: 630 - [c115]Ali Kemal Uncu, James H. Davenport, Matthew England:
SMT-Solving Induction Proofs of Inequalities. SC-Square@FLoC 2022: 10-24 - [c114]James H. Davenport, Ali Kemal Uncu:
Artificial Conflict Sampling for Real Satisfiability Problems. SYNASC 2022: 55-58 - [e15]Curtis Bright, James H. Davenport:
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021. CEUR Workshop Proceedings 3273, CEUR-WS.org 2022 [contents] - [i53]Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England:
Levelwise construction of a single cylindrical algebraic cell. CoRR abs/2212.09309 (2022) - [i52]Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio:
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Dagstuhl Reports 12(2): 67-86 (2022) - 2021
- [j49]Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu:
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Commun. Comput. Algebra 55(3): 107-111 (2021) - [j48]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Log. Algebraic Methods Program. 119: 100633 (2021) - [c113]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. ARCADE@CADE 2021: 1-5 - [c112]Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett:
Supporting Early-Career Academics in the UK Computer Science Community. CEP 2021: 33-36 - [c111]Rupert Ward, Oliver Phillips, David Bowers, Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Tom Prickett:
Towards a 21st Century Personalised Learning Skills Taxonomy. EDUCON 2021: 344-354 - [c110]Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett:
Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK. ITiCSE (2) 2021: 663 - [c109]James H. Davenport, Michael Kohlhase:
OpenMath Preface. CICM Workshops 2021 - [c108]James H. Davenport:
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition. SC-Square@SIAM AG 2021: 31-40 - [c107]James H. Davenport, Zak Tonks, Ali Kemal Uncu:
Practical Evaluation of Quantifier Elimination Methods (short paper). SC-Square@SIAM AG 2021: 41-49 - [c106]Akshar S. Nair, James H. Davenport, Gregory Sankaran:
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). SC-Square@SIAM AG 2021: 50-58 - [c105]Alastair Irons, Tom Crick, James H. Davenport, Tom Prickett:
Increasing the Value of Professional Body Computer Science Degree Accreditation. SIGCSE 2021: 1336 - [c104]Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport:
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. SYNASC 2021: 37-39 - [i51]Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu:
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. CoRR abs/2106.08740 (2021) - [i50]James Harold Davenport:
Digital Collections of Examples in Mathematical Sciences. CoRR abs/2107.12908 (2021) - [i49]Akhilesh Pai, James Harold Davenport:
ATLAS: Interactive and Educational Linear Algebra System Containing Non-Standard Methods. CoRR abs/2107.13942 (2021) - [i48]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. CoRR abs/2108.05320 (2021) - 2020
- [j47]James Harold Davenport, James Grant, Catherine Mary Jones:
Data Without Software Are Just Numbers. Data Sci. J. 19: 3 (2020) - [j46]Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98: 84-119 (2020) - [j45]James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli:
Symbolic computation and satisfiability checking. J. Symb. Comput. 100: 1-10 (2020) - [j44]Matthew England, Russell J. Bradford, James H. Davenport:
Cylindrical algebraic decomposition with equational constraints. J. Symb. Comput. 100: 38-71 (2020) - [j43]George Labahn, James H. Davenport, Josef Urban:
Foreword. Math. Comput. Sci. 14(3): 531-532 (2020) - [c103]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks:
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). PAAR+SC²@IJCAR 2020: 178-188 - [c102]Tom Crick, James H. Davenport, Paul Hanna, Alastair Irons, Tom Prickett:
Computer Science Degree Accreditation in the UK: A Post-Shadbolt Review Update. CEP 2020: 6:1-6:4 - [c101]James H. Davenport, Tom Crick, Rachid Hourizi:
The Institute of Coding: A University-Industry Collaboration to Address the UK's Digital Skills Crisis. EDUCON 2020: 1400-1408 - [c100]Tom Crick, James H. Davenport, Paul Hanna, Alastair Irons, Tom Prickett:
Overcoming the Challenges of Teaching Cybersecurity in UK Computer Science Degree Programmes. FIE 2020: 1-9 - [c99]Akshar Nair, James H. Davenport, Gregory Sankaran:
Curtains in CAD: Why Are They a Problem and How Do We Fix Them? ICMS 2020: 17-26 - [c98]Tom Crick, Tom Prickett, James H. Davenport, Alastair Irons:
Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study. ITiCSE 2020: 565 - [c97]James H. Davenport, Benjamin Pring:
Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES. SAC 2020: 360-384 - [c96]Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran:
The CAD Conundrum: Lex-Least vs Order. SYNASC 2020: 32-35 - [e14]Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff:
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Lecture Notes in Computer Science 12097, Springer 2020, ISBN 978-3-030-52199-8 [contents] - [e13]Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. CEUR Workshop Proceedings 2634, CEUR-WS.org 2020 [contents] - [i47]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. CoRR abs/2003.05633 (2020) - [i46]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks:
New Opportunities for the Formal Proof of Computational Real Geometry? CoRR abs/2004.04034 (2020) - [i45]Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov:
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR abs/2010.05708 (2020) - [i44]Nikhil Fernandes, Alexandra Gkolia, Nicolas Pizzo, James H. Davenport, Akshar Nair:
Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks. CoRR abs/2011.01035 (2020) - [i43]Alexandra Gkolia, Nikhil Fernandes, Nicolas Pizzo, James H. Davenport, Akshar Nair:
The Influence of Domain-Based Preprocessing on Subject-Specific Clustering. CoRR abs/2011.08127 (2020)
2010 – 2019
- 2019
- [j42]Akshar Nair, James H. Davenport, Gregory Sankaran, Scott McCallum:
Lazard's CAD exploiting equality constraints. ACM Commun. Comput. Algebra 53(3): 138-141 (2019) - [j41]James Harold Davenport, Temur Kutsia:
Symbolic computation in software science. J. Symb. Comput. 90: 1-2 (2019) - [j40]James H. Davenport, Laura Kovács, Daniela Zaharie:
Foreword. Math. Comput. Sci. 13(4): 459-460 (2019) - [j39]Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Math. Comput. Sci. 13(4): 461-488 (2019) - [c95]James H. Davenport, Tom Crick, Alan Hayes, Rachid Hourizi:
The Institute of Coding: Addressing the UK Digital Skills Crisis. CEP 2019: 10:1-10:4 - [c94]Jack D. Betteridge, James H. Davenport, Melina A. Freitag, Willem Heijltjes, Stef Kynaston, Gregory Sankaran, Gunnar Traustason:
Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics. CEP 2019: 12:1-12:4 - [c93]Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett:
A UK Case Study on Cybersecurity Education and Accreditation. FIE 2019: 1-9 - [c92]Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov:
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun 2019: 1-26 - [c91]James H. Davenport, Tom Crick:
Cybersecurity Education and Formal Methods. FMFun 2019: 159-172 - [c90]Akshar Nair, James H. Davenport, Gregory Sankaran:
On Benefits of Equality Constraints in Lex-Least Invariant CAD. SC-square@SIAM AG 2019 - [c89]James H. Davenport, Rachid Hourizi:
The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis. SIGCSE 2019: 1267 - [e12]James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford:
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. ACM 2019, ISBN 978-1-4503-6084-5 [contents] - [e11]Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - [i42]Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. CoRR abs/1902.04882 (2019) - [i41]Matthew England, Russell J. Bradford, James H. Davenport:
Cylindrical Algebraic Decomposition with Equational Constraints. CoRR abs/1903.08999 (2019) - [i40]Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett:
A UK Case Study on Cybersecurity Education and Accreditation. CoRR abs/1906.09584 (2019) - [i39]James H. Davenport:
Formal Methods and CyberSecurity. CoRR abs/1909.03325 (2019) - 2018
- [c88]James H. Davenport:
Methodologies of Symbolic Computation. AISC 2018: 19-33 - [c87]Casey B. Mulligan, James H. Davenport, Matthew England:
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. ICMS 2018: 369-378 - [c86]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC 2018: 48 - [c85]Simon, Raina Mason, Tom Crick, James H. Davenport, Ellen Murphy:
Language Choice in Introductory Programming Courses at Australasian and UK Universities. SIGCSE 2018: 852-857 - [c84]James H. Davenport:
The Rôle of Benchmarking in Symbolic Computation (Position Paper). SYNASC 2018: 275-279 - [e10]James H. Davenport, Manuel Kauers, George Labahn, Josef Urban:
Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Lecture Notes in Computer Science 10931, Springer 2018, ISBN 978-3-319-96417-1 [contents] - [d2]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Datset of automated economic reasoning problems for QE / SMT. Zenodo, 2018 - [d1]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Datset of automated economic reasoning problems for QE / SMT. Zenodo, 2018 - [i38]James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin:
OpenMath and SMT-LIB. CoRR abs/1803.01592 (2018) - [i37]James H. Davenport, Acyr F. Locatelli, Gregory K. Sankaran:
Regular cylindrical algebraic decomposition. CoRR abs/1803.04029 (2018) - [i36]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Quantifier Elimination for Reasoning in Economics. CoRR abs/1804.10037 (2018) - [i35]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. CoRR abs/1804.10520 (2018) - [i34]Casey B. Mulligan, James Harold Davenport, Matthew England:
TheoryGuru: A Mathematica Package to apply Quantifier Elimination. CoRR abs/1806.10925 (2018) - [i33]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. CoRR abs/1806.11447 (2018) - [i32]James H. Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe:
Machine-Assisted Proofs (ICM 2018 Panel). CoRR abs/1809.08062 (2018) - 2017
- [j38]James H. Davenport:
What Does "Without Loss of Generality" Mean, and How Do We Detect It. Math. Comput. Sci. 11(3-4): 297-303 (2017) - [j37]Ellen Murphy, Tom Crick, James H. Davenport:
An Analysis of Introductory Programming Courses at UK Universities. Art Sci. Eng. Program. 1(2): 18 (2017) - [c83]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler:
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 2017: 6-10 - [c82]Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC 2017: 45-52 - [c81]Martin Brain, James H. Davenport, Alberto Griggio:
Benchmarking Solvers, SAT-style. SC²@ISSAC 2017 - [c80]James H. Davenport, Matthew England:
The Potential and Challenges of CAD with Equational Constraints for SC-Square. MACIS 2017: 280-285 - [c79]Zak Tonks, Gregory Sankaran, James H. Davenport:
Fast Matrix Operations in Computer Algebra. SYNASC 2017: 67-70 - [e9]Erika Ábrahám, James H. Davenport, Pascal Fontaine:
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. CEUR Workshop Proceedings 1804, CEUR-WS.org 2017 [contents] - [i31]Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR abs/1704.08997 (2017) - [i30]James H. Davenport, Matthew England:
The Potential and Challenges of CAD with Equational Constraints for SC-Square. CoRR abs/1711.00312 (2017) - 2016
- [j36]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016) - [j35]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76: 1-35 (2016) - [c78]Matthew England, James H. Davenport:
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. CASC 2016: 172-192 - [c77]James H. Davenport, Matthew England:
Need Polynomial Systems Be Doubly-Exponential? ICMS 2016: 157-164 - [c76]James H. Davenport:
Complexity of Integration, Special Values, and Recent Developments. ICMS 2016: 485-491 - [c75]James H. Davenport, Alan Hayes, Rachid Hourizi, Tom Crick:
Innovative Pedagogical Practices in the Craft of Computing. LaTiCE 2016: 115-119 - [c74]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c73]James H. Davenport:
What Does "Without Loss of Generality" Mean (And How Do We Detect It). SC²@SYNASC 2016: 20-23 - [c72]