The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of James H. Davenport James Harold Davenport ( http://dblp.L3S.de/Authors/James_H._Davenport )

URL (Homepage):  http://loop.frontiersin.org/people/418682/  Author page on DBLP  Author page in RDF  Community of James H. Davenport in ASPL-2

Publication years (Num. hits)
1979-1983 (15) 1984-1987 (17) 1988-2000 (20) 2001-2007 (16) 2008-2011 (19) 2012-2013 (18) 2014 (24) 2015-2016 (23) 2017-2018 (21) 2019 (9)
Publication types (Num. hits)
article(78) book(2) inproceedings(90) proceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 11 keywords

Results
Found 183 publication records. Showing 182 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Matthew England, Russell J. Bradford, James H. Davenport Cylindrical Algebraic Decomposition with Equational Constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett A UK Case Study on Cybersecurity Education and Accreditation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jack Betteridge, James H. Davenport, Melina Freitag, Willem Heijtljes, Stef Kynaston, Gregory Sankaran, Gunnar Traustason Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics. Search on Bibsonomy CEP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Tom Crick, Alan Hayes, Rachid Hourizi The Institute of Coding: Addressing the UK Digital Skills Crisis. Search on Bibsonomy CEP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Rachid Hourizi The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis. Search on Bibsonomy SIGCSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Osman 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 (eds.) 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. Search on Bibsonomy CICM Workshops The full citation details ... 2019 DBLP  BibTeX  RDF
1James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford (eds.) Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. Search on Bibsonomy ISSAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James Harold Davenport, Temur Kutsia Symbolic computation in software science. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1James H. Davenport, A. F. Locatelli, G. K. Sankaran Regular cylindrical algebraic decomposition. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin OpenMath and SMT-LIB. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks Quantifier Elimination for Reasoning in Economics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Casey B. Mulligan, James H. Davenport, Matthew England TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Manuel Kauers, George Labahn, Josef Urban (eds.) Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon, Raina Mason, Tom Crick, James H. Davenport, Ellen Murphy Language Choice in Introductory Programming Courses at Australasian and UK Universities. Search on Bibsonomy SIGCSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1James H. Davenport Methodologies of Symbolic Computation. Search on Bibsonomy AISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1James H. Davenport The Rôle of Benchmarking in Symbolic Computation (Position Paper). Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Casey B. Mulligan, James Harold Davenport, Matthew England TheoryGuru: A Mathematica Package to apply Quantifier Elimination. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 A Case Study on the Parametric Occurrence of Multiple Steady States. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1James H. Davenport, Matthew England The Potential and Challenges of CAD with Equational Constraints for SC-Square. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1James H. Davenport What Does "Without Loss of Generality" Mean, and How Do We Detect It. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ellen Murphy, Tom Crick, James H. Davenport An Analysis of Introductory Programming Courses at UK Universities. Search on Bibsonomy Programming Journal The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Matthew England The Potential and Challenges of CAD with Equational Constraints for SC-Square. Search on Bibsonomy MACIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Brain, James H. Davenport, Alberto Griggio Benchmarking Solvers, SAT-style. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 A Case Study on the Parametric Occurrence of Multiple Steady States. Search on Bibsonomy ISSAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, James H. Davenport, Pascal Fontaine (eds.) 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. Search on Bibsonomy SC²@SYNASC The full citation details ... 2017 DBLP  BibTeX  RDF
1Zak Tonks, Gregory Sankaran, James H. Davenport Fast Matrix Operations in Computer Algebra. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson Truth table invariant cylindrical algebraic decomposition. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Matthew England, James H. Davenport The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Matthew England, James H. Davenport Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ellen Murphy, Tom Crick, James H. Davenport An Analysis of Introductory University Programming Courses in the UK. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1James H. Davenport, Matthew England Need Polynomial Systems be Doubly-exponential? Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1James H. Davenport, Alan Hayes, Rachid Hourizi, Tom Crick Innovative Pedagogical Practices in the Craft of Computing. Search on Bibsonomy LaTiCE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Fadoua Ghourabi (eds.) 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016 Search on Bibsonomy SCSS The full citation details ... 2016 DBLP  BibTeX  RDF
1James H. Davenport Complexity of Integration, Special Values, and Recent Developments. Search on Bibsonomy ICMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Matthew England Need Polynomial Systems Be Doubly-Exponential? Search on Bibsonomy ICMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Christophe Petit, Benjamin Pring A Generalised Successive Resultants Algorithm. Search on Bibsonomy WAIFI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthew England, James H. Davenport The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthew England, James H. Davenport Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1James H. Davenport What Does "Without Loss of Generality" Mean (And How Do We Detect It). Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1James H. Davenport, Matthew England Recent Advances in Real Geometric Reasoning. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Matthew England, Russell J. Bradford, James H. Davenport Improving the use of equational constraints in cylindrical algebraic decomposition. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Matthew England, Russell J. Bradford, James H. Davenport Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. Search on Bibsonomy ISSAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zongyan 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. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson Branch cuts in maple 17. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport Using the distribution of cells by dimension in a cylindrical algebraic decomposition. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthew 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. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson A comparison of three heuristics to choose the variable ordering for CAD. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson Truth Table Invariant Cylindrical Algebraic Decomposition. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthew 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. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Zongyan 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. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England Cylindrical Algebraic Sub-Decompositions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England Cylindrical Algebraic Sub-Decompositions. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthew 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. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt (eds.) 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. Search on Bibsonomy CICM Workshops The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthew 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. Search on Bibsonomy CICM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zongyan 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. Search on Bibsonomy CICM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1James H. Davenport Another Look at Formal Mathematical Properties. Search on Bibsonomy CICM Workshops The full citation details ... 2014 DBLP  BibTeX  RDF
1Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (eds.) Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings Search on Bibsonomy CICM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Niki Panteli, Ben L. Marder, James H. Davenport, Fabio Nemetz Travelling through Facebook; Exploring affordances through the Lens of Age. Search on Bibsonomy ECIS The full citation details ... 2014 DBLP  BibTeX  RDF
1Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. Search on Bibsonomy CASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. Search on Bibsonomy SYNASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Matthew England Recent Advances in Real Geometric Reasoning. Search on Bibsonomy ADG The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ali El Kaafarani, Liqun Chen, Essam Ghadafi, James H. Davenport Attribute-Based Signatures with User-Controlled Linkability. Search on Bibsonomy CANS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao Triangular decomposition of semi-algebraic systems. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson Understanding Branch Cuts of Expressions Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford A "Piano Movers" Problem Reformulated. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson Cylindrical Algebraic Decompositions for Boolean Combinations Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson Optimising Problem Formulation for Cylindrical Algebraic Decomposition Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson Optimising Problem Formulation for Cylindrical Algebraic Decomposition. Search on Bibsonomy MKM/Calculemus/DML The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson Understanding Branch Cuts of Expressions. Search on Bibsonomy MKM/Calculemus/DML The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Lange 0002, David Aspinall 0001, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (eds.) Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK Search on Bibsonomy CICM Workshops The full citation details ... 2013 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson Cylindrical algebraic decompositions for boolean combinations. Search on Bibsonomy ISSAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford A "Piano Movers" Problem Reformulated. Search on Bibsonomy SYNASC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson Branch Cuts in Maple 17. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1James H. Davenport Small algorithms for small systems. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David J. Wilson, Russell J. Bradford, James H. Davenport A repository for CAD examples. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson Program Verification in the presence of complex numbers, functions with branch cuts etc Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1David J. Wilson, Russell J. Bradford, James H. Davenport Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1David J. Wilson, Russell J. Bradford, James H. Davenport Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. Search on Bibsonomy SYNASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Changbo 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. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saif Al-Kuwari, James H. Davenport, Russell J. Bradford Cryptographic Hash Functions: Recent Design Trends and Security Notions. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2011 DBLP  BibTeX  RDF
1Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy On Kahan's Rules for Determining Branch Cuts Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.) Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings Search on Bibsonomy Calculemus/MKM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao Computing with semi-algebraic sets represented by triangular decomposition. Search on Bibsonomy ISSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 182 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license