default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJames 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 - [i62]James Harold Davenport:
First steps towards Computational Polynomials in Lean. CoRR abs/2408.04564 (2024) - [i61]James H. Davenport:
Towards Verified Polynomial Factorisation. CoRR abs/2409.09533 (2024) - [i60]Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England:
On Projective Delineability. CoRR abs/2411.13300 (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. Version 1. Zenodo, 2018 [all versions] - [d1]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Datset of automated economic reasoning problems for QE / SMT. Version 2. Zenodo, 2018 [all versions] - [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]Matthew England, James H. Davenport:
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. SC²@SYNASC 2016: 24-31 - [c71]Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. SYNASC 2016: 45-52 - [c70]James H. Davenport, Christophe Petit, Benjamin Pring:
A Generalised Successive Resultants Algorithm. WAIFI 2016: 105-124 - [e8]James H. Davenport, Fadoua Ghourabi:
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. EPiC Series in Computing 39, EasyChair 2016 [contents] - [e7]James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016. IEEE 2016, ISBN 978-1-5090-5707-8 [contents] - [i29]Matthew England, James H. Davenport:
The complexity of cylindrical algebraic decomposition with respect to polynomial degree. CoRR abs/1605.02494 (2016) - [i28]James H. Davenport, Matthew England:
Need Polynomial Systems be Doubly-exponential? CoRR abs/1605.02912 (2016) - [i27]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. CoRR abs/1607.06945 (2016) - [i26]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 meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016) - [i25]Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases. CoRR abs/1608.04219 (2016) - [i24]Ellen Murphy, Tom Crick, James H. Davenport:
An Analysis of Introductory University Programming Courses in the UK. CoRR abs/1609.06622 (2016) - [i23]Matthew England, James H. Davenport:
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. CoRR abs/1609.09269 (2016) - 2015
- [c69]Matthew England, Russell J. Bradford, James H. Davenport:
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. ISSAC 2015: 165-172 - [i22]Matthew England, Russell J. Bradford, James H. Davenport:
Improving the use of equational constraints in cylindrical algebraic decomposition. CoRR abs/1501.04466 (2015) - [i21]James H. Davenport, Matthew England:
Recent Advances in Real Geometric Reasoning. CoRR abs/1504.06484 (2015) - 2014
- [j34]Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson:
Branch cuts in maple 17. ACM Commun. Comput. Algebra 48(1/2): 24-27 (2014) - [j33]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson:
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 48(3/4): 121-123 (2014) - [j32]David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England:
Cylindrical Algebraic Sub-Decompositions. Math. Comput. Sci. 8(2): 263-288 (2014) - [c68]James H. Davenport, Matthew England:
Recent Advances in Real Geometric Reasoning. ADG 2014: 37-52 - [c67]Ali El Kaafarani, Liqun Chen, Essam Ghadafi, James H. Davenport:
Attribute-Based Signatures with User-Controlled Linkability. CANS 2014: 256-269 - [c66]Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC 2014: 44-58 - [c65]Niki Panteli, Ben L. Marder, James H. Davenport, Fabio Nemetz:
Travelling through Facebook; Exploring affordances through the Lens of Age. ECIS 2014 - [c64]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. ICMS 2014: 450-457 - [c63]Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport:
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. ICMS 2014: 458-465 - [c62]James H. Davenport:
Another Look at Formal Mathematical Properties. CICM Workshops 2014 - [c61]Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM 2014: 45-60 - [c60]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge:
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. CICM 2014: 92-107 - [c59]David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport:
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. SYNASC 2014: 53-60 - [e6]Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents] - [e5]Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban:
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Lecture Notes in Computer Science 8543, Springer 2014, ISBN 978-3-319-08433-6 [contents] - [i20]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition. CoRR abs/1401.0645 (2014) - [i19]David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England:
Cylindrical Algebraic Sub-Decompositions. CoRR abs/1401.0647 (2014) - [i18]Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR abs/1401.6310 (2014) - [i17]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge:
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. CoRR abs/1404.6369 (2014) - [i16]Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR abs/1404.6371 (2014) - [i15]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson:
A comparison of three heuristics to choose the variable ordering for CAD. CoRR abs/1405.6082 (2014) - [i14]Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport:
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. CoRR abs/1405.6090 (2014) - [i13]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR abs/1405.6094 (2014) - [i12]David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport:
Using the distribution of cells by dimension in a cylindrical algebraic decomposition. CoRR abs/1409.1781 (2014) - 2013
- [j31]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49: 3-26 (2013) - [j30]Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao:
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput. 52: 72-96 (2013) - [c58]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Cylindrical algebraic decompositions for boolean combinations. ISSAC 2013: 125-132 - [c57]Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. MKM/Calculemus/DML 2013: 19-34 - [c56]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions. MKM/Calculemus/DML 2013: 136-151 - [c55]David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford:
A "Piano Movers" Problem Reformulated. SYNASC 2013: 53-60 - [e4]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger:
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013 [contents] - [i11]Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. CoRR abs/1304.7222 (2013) - [i10]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions. CoRR abs/1304.7223 (2013) - [i9]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Cylindrical Algebraic Decompositions for Boolean Combinations. CoRR abs/1304.7603 (2013) - [i8]Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson:
Branch Cuts in Maple 17. CoRR abs/1308.6523 (2013) - [i7]David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford:
A "Piano Movers" Problem Reformulated. CoRR abs/1309.1588 (2013) - 2012
- [j29]James H. Davenport:
Small algorithms for small systems. ACM Commun. Comput. Algebra 46(1/2): 1-9 (2012) - [j28]David J. Wilson, Russell J. Bradford, James H. Davenport:
A repository for CAD examples. ACM Commun. Comput. Algebra 46(3/4): 67-69 (2012) - [c54]David J. Wilson, Russell J. Bradford, James H. Davenport:
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. AISC/MKM/Calculemus 2012: 280-294 - [c53]James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson:
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. SYNASC 2012: 83-88 - [i6]David J. Wilson, Russell J. Bradford, James H. Davenport:
Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases. CoRR abs/1205.6285 (2012) - [i5]James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson:
Program Verification in the presence of complex numbers, functions with branch cuts etc. CoRR abs/1212.5417 (2012) - 2011
- [j27]Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie:
Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra 45(3/4): 166-168 (2011) - [c52]Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao:
Computing with semi-algebraic sets represented by triangular decomposition. ISSAC 2011: 75-82 - [c51]Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy:
On Kahan's Rules for Determining Branch Cuts. SYNASC 2011: 47-51 - [e3]James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe:
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Lecture Notes in Computer Science 6824, Springer 2011, ISBN 978-3-642-22672-4 [contents] - [i4]Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy:
On Kahan's Rules for Determining Branch Cuts. CoRR abs/1109.2809 (2011) - [i3]Saif Al-Kuwari, James H. Davenport, Russell J. Bradford:
Cryptographic Hash Functions: Recent Design Trends and Security Notions. IACR Cryptol. ePrint Arch. 2011: 565 (2011) - 2010
- [j26]Nalina Phisanbut, Russell J. Bradford, James H. Davenport:
Geometry of branch cuts. ACM Commun. Comput. Algebra 44(3/4): 132-135 (2010) - [c50]James H. Davenport:
The Challenges of Multivalued "Functions". AISC/MKM/Calculemus 2010: 1-12 - [c49]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular decomposition of semi-algebraic systems. ISSAC 2010: 187-194 - [i2]Jacques Carette, James H. Davenport:
The Power of Vocabulary: The Case of Cyclotomic Polynomials. CoRR abs/1002.0012 (2010) - [i1]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular Decomposition of Semi-algebraic Systems. CoRR abs/1002.4784 (2010)
2000 – 2009
- 2009
- [c48]Dalia Khader, Liqun Chen, James H. Davenport:
Certificate-Free Attribute Authentication. IMACC 2009: 301-325 - [c47]Russell J. Bradford, James H. Davenport, Christopher J. Sangwin:
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. Calculemus/MKM 2009: 75-89 - [c46]James H. Davenport, Michael Kohlhase:
Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM 2009: 263-278 - [c45]James Harold Davenport, Jacques Carette:
The Sparsity Challenges. SYNASC 2009: 3-7 - 2008
- [j25]James H. Davenport, Paul Libbrecht:
The Freedom to Extend OpenMath and its Utility. Math. Comput. Sci. 2(2): 379-398 (2008) - [c44]James H. Davenport:
AISC Meets Natural Typography. AISC/MKM/Calculemus 2008: 53-60 - [c43]James H. Davenport:
Effective Set Membership in Computer Algebra and Beyond. AISC/MKM/Calculemus 2008: 266-269 - [c42]Jonathan Stratford, James H. Davenport:
Unit Knowledge Management. AISC/MKM/Calculemus 2008: 382-397 - 2007
- [j24]James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut:
Testing elementary function identities using CAD. Appl. Algebra Eng. Commun. Comput. 18(6): 513-543 (2007) - [c41]Christopher W. Brown, James H. Davenport:
The complexity of quantifier elimination and cylindrical algebraic decomposition. ISSAC 2007: 54-60 - [c40]James H. Davenport:
What Might "Understand a Function" Mean? Calculemus/MKM 2007: 55-65 - 2005
- [c39]James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut:
Adherence is better than adjacency: computing the Riemann index using CAD. ISSAC 2005: 37-44 - 2004
- [c38]Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget:
Mathematics on the (Semantic) NET. ESWS 2004: 213-224 - [c37]James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut:
A poly-algorithmic approach to simplifying elementary functions. ISSAC 2004: 27-34 - [c36]Andrew A. Adams, James H. Davenport:
Copyright Issues for MKM. MKM 2004: 1-16 - 2003
- [c35]James H. Davenport:
The Geometry of Cn is Important for the Algebra of Elementary Functions. Algebra, Geometry, and Software Systems 2003: 207-224 - [c34]Andrew J. Holt, James H. Davenport:
Resolving Large Prime(s) Variants for Discrete Logarithm Computation. IMACC 2003: 207-222 - [c33]James C. Beaumont, Russell J. Bradford, James H. Davenport:
Better simplification of elementary functions through power series. ISSAC 2003: 30-36 - [c32]James H. Davenport:
MKM from Book to Computer: A Case Study. MKM 2003: 17-29 - [e2]Andrea Asperti, Bruno Buchberger, James H. Davenport:
Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2594, Springer 2003, ISBN 3-540-00568-4 [contents] - 2002
- [j23]Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. 36(3): 303-318 (2002) - [j22]James H. Davenport:
Equality in Computer Algebra and Beyond. J. Symb. Comput. 34(4): 259-270 (2002) - [c31]Russell J. Bradford, James H. Davenport:
Towards better simplification of elementary functions. ISSAC 2002: 16-22 - 2001
- [c30]Paul A. Crouch, James H. Davenport:
Lattice Attacks on RSA-Encrypted IP and TCP. IMACC 2001: 329-338 - 2000
- [j21]James H. Davenport:
On writing OpenMath content dictionaries. SIGSAM Bull. 34(2): 12-15 (2000) - [j20]James H. Davenport:
A small OpenMath type system. SIGSAM Bull. 34(2): 16-21 (2000) - [j19]Robert M. Corless, David J. Jeffrey, Stephen M. Watt, James H. Davenport:
"According to Abramowitz and Stegun" or arccoth needn't be uncouth. SIGSAM Bull. 34(2): 58-65 (2000) - [c29]Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis. AISC 2000: 115-126 - [c28]Namhyun Hur, James H. Davenport:
A Generic Root Operation for Exact Real Arithmetic. CCA 2000: 82-87 - [c27]Namhyun Hur, James H. Davenport:
An exact real algebraic arithmetic with equality determination. ISSAC 2000: 169-174 - [c26]James H. Davenport:
Abstract Data Types in Computer Algebra. MFCS 2000: 21-35
1990 – 1999
- 1999
- [c25]Brian J. Dupée, James H. Davenport:
An Automatic Symbolic-Numeric Taylor Series ODE Solver. CASC 1999: 37-50 - 1996
- [c24]Brian J. Dupée, James H. Davenport:
An Intelligent Interface to Numerical Routines. DISCO 1996: 252-262 - 1993
- [b2]James Harold Davenport, Yvon Siret, Evelyne Tournier:
Computer algebra - systems and algorithms for algebraic computation (2. ed.). Academic Press 1993, ISBN 978-0-12-204232-4, pp. I-XIX, 1-298 - 1992
- [j18]David Lavender, Adrian Bowyer, James H. Davenport, Andrew F. Wallis, John R. Woodwark:
Voronoi diagrams of set-theoretic solid models. IEEE Computer Graphics and Applications 12(5): 69-77 (1992) - [c23]James H. Davenport:
Primality Testing Revisited. ISSAC 1992: 123-129 - 1991
- [c22]James H. Davenport, Patrizia M. Gianni, Barry M. Trager:
Scratchpad's View of Algebra II: A Categorical View of Factorization. ISSAC 1991: 32-38 - 1990
- [c21]James H. Davenport:
Current Problems in Computer Algebra Systems Design. DISCO 1990: 1-9 - [c20]James H. Davenport, Barry M. Trager:
Scratchpad's View of Algebra I: Basic Commutative Algebra. DISCO 1990: 40-54
1980 – 1989
- 1989
- [e1]James H. Davenport:
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Lecture Notes in Computer Science 378, Springer 1989, ISBN 3-540-51517-8 [contents] - 1988
- [j17]James H. Davenport, Joos Heintz:
Real Quantifier Elimination is Doubly Exponential. J. Symb. Comput. 5(1/2): 29-35 (1988) - [j16]James H. Davenport:
Computer Algebra Applied to Itself. J. Symb. Comput. 6(1): 127-132 (1988) - [c19]Andrew F. Wallis, Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget:
The Use of Symbolic Computation in Geometric Modelling. IMA Conference on the Mathematics of Surfaces 1988: 199-206 - [c18]Russell J. Bradford, James H. Davenport:
Effective Tests for Cyclotonic Polynomials. ISSAC 1988: 244-251 - 1987
- [c17]Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis:
Applications of computer algebra in solid modelling. EUROCAL 1987: 244-245 - [c16]John A. Abbott, James H. Davenport:
Polynomial factorization: An exploration of Lenstra's algorithm. EUROCAL 1987: 391-402 - [c15]John A. Abbott, Russell J. Bradford, James H. Davenport:
Factorisation of Polynominals: Old Ideas and Recent Results. Trends in Computer Algebra 1987: 81-91 - 1986
- [j15]James H. Davenport:
A "Piano Movers" Problem. SIGSAM Bull. 20(1-2): 15-17 (1986) - [j14]James H. Davenport, Michael F. Singer:
Elementary and Liouvillian Solutions of Linear Differential Equations. J. Symb. Comput. 2(3): 237-260 (1986) - [j13]James H. Davenport:
The Risch Differential Equation Problem. SIAM J. Comput. 15(4): 903-918 (1986) - [c14]James H. Davenport, C. E. Roth:
PowerMath: a system for the Macintosh. SYMSAC 1986: 13-15 - [c13]John A. Abbott, Russell J. Bradford, James H. Davenport:
The Bath algebraic number package. SYMSAC 1986: 250-253 - 1985
- [j12]John A. Abbott, Russell J. Bradford, James H. Davenport:
A remark on factorisation. SIGSAM Bull. 19(2): 31-33 (1985) - [j11]Don Coppersmith, James H. Davenport:
An Application of Factoring. J. Symb. Comput. 1(2): 241-243 (1985) - [j10]James H. Davenport, Barry M. Trager:
On the Parallel Risch Algorithm (II). ACM Trans. Math. Softw. 11(4): 356-362 (1985) - [c12]James H. Davenport:
Symbolic and Numeric Manipulation of Integrals. Accurate Scientific Computations 1985: 168-180 - [c11]James H. Davenport, Julian A. Padget:
HEUGCD: How Elementary Upperbounds Generated Cheaper Data. European Conference on Computer Algebra (2) 1985: 18-28 - [c10]Michael F. Singer, James H. Davenport:
Elementary and Liouvillian Solutions of Linear Differential Equations. European Conference on Computer Algebra (2) 1985: 595-596 - 1984
- [j9]James H. Davenport:
Integration in finite terms. SIGSAM Bull. 18(2): 20-21 (1984) - [j8]R. J. Macmillan, James H. Davenport:
Factoring Medium-Sized Integers. Comput. J. 27(1): 84-85 (1984) - [c9]James H. Davenport:
y'+ fy = g. EUROSAM 1984: 341-350 - 1983
- [c8]James H. Davenport:
Integration - What do we want from the theory? EUROCAL 1983: 2-11 - [c7]James H. Davenport:
Factorization of sparse polynominals. EUROCAL 1983: 214-224 - 1982
- [j7]James H. Davenport:
Fast reduce: the trade-off between efficiency and generality. SIGSAM Bull. 16(1): 8-11 (1982) - [j6]Paul S. Wang, M. J. T. Guy, James H. Davenport:
P-adic reconstruction of rational numbers. SIGSAM Bull. 16(2): 2-3 (1982) - [j5]James H. Davenport:
On the parallel Risch algorithm (III): use of tangents. SIGSAM Bull. 16(3): 3-6 (1982) - [j4]James H. Davenport:
What do we want from a high-level language? SIGSAM Bull. 16(4): 6-9 (1982) - [c6]James H. Davenport:
The Parallel Risch Algorithm (I). EUROCAM 1982: 144-157 - 1981
- [b1]James H. Davenport:
On the Integration of Algebraic Functions. Lecture Notes in Computer Science 102, Springer 1981, ISBN 3-540-10290-6 - [j3]James H. Davenport, Richard D. Jenks:
MODLISP. SIGSAM Bull. 15(1): 11-20 (1981) - [c5]James H. Davenport, Barry M. Trager:
Factorization over finitely generated fields. SYMSACC 1981: 200-205 - 1980
- [c4]James H. Davenport, Richard D. Jenks:
MODLISP. LISP Conference 1980: 65-74
1970 – 1979
- 1979
- [j2]James H. Davenport:
Anatomy of an integral. SIGSAM Bull. 13(4): 16-18 (1979) - [c3]James H. Davenport:
The computerization of algebraic geometry. EUROSAM 1979: 119-133 - [c2]A. C. Norman, James H. Davenport:
Integration -- the dust settles? (invited). EUROSAM 1979: 398-407 - [c1]James H. Davenport:
Integration of algebraic functions. EUROSAM 1979: 415-425 - 1972
- [j1]F. Robert A. Hopgood, James H. Davenport:
The quadratic hash method when the table size is a power of 2. Comput. J. 15(4): 314-315 (1972)
Coauthor Index
[j49] [i51] [j46] [j44] [e12] [i42] [i41] [c86] [d2] [d1] [i36] [i33] [c82] [i31] [j35] [c69] [i22] [j34] [j32] [c66] [c64] [c63] [c61] [c59] [i20] [i19] [i18] [i16] [i14] [i13] [i12] [c58] [c57] [c56] [c55] [i11] [i10] [i9] [i8] [i7] [j28] [c54] [c53] [i6] [i5] [i3] [j26] [c47] [j24] [c39] [c37] [c33] [j23] [c31] [c18] [c15] [c13] [j12]
[j50] [i60] [d3] [i56] [i55] [i54] [c115] [i53] [i52] [j49] [j48] [c113] [c104] [i51] [i48] [j46] [j45] [j44] [c103] [i47] [i46] [j39] [i42] [i41] [c87] [c86] [d2] [d1] [i38] [i36] [i35] [i34] [i33] [c83] [c82] [c80] [i31] [i30] [j36] [j35] [c78] [c77] [c74] [c72] [c71] [i29] [i28] [i27] [i26] [i25] [i23] [c69] [i22] [i21] [j34] [j33] [j32] [c68] [c66] [c64] [c63] [c61] [c60] [c59] [e6] [i20] [i19] [i18] [i17] [i16] [i15] [i14] [i13] [i12] [c58] [c57] [c56] [c55] [i11] [i10] [i9] [i8] [i7] [c53] [i5]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
