The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Matthew England Matthew R. England ( http://dblp.L3S.de/Authors/Matthew_England )

  Author page on DBLP  Author page in RDF  Community of Matthew England in ASPL-2

Publication years (Num. hits)
2012-2014 (35) 2015-2016 (20) 2017-2018 (28) 2019 (8)
Publication types (Num. hits)
article(55) inproceedings(33) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(47) CICM(5) ICMS(5) ACM Comm. Computer Algebra(4) SYNASC(4) CASC(3) ISSAC(3) ASAR(2) IGARSS(2) MKM/Calculemus/DML(2) SC²@ISSAC(2) ADG(1) ARCADE@CADE(1) CD-MAKE(1) CEP(1) CICM Workshops(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 92 publication records. Showing 91 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets. Search on Bibsonomy Comp. in Bio. and Med. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dorian Florescu, Matthew England Algorithmically generating new algebraic features of polynomial systems for machine learning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets. Search on Bibsonomy CoRR The full citation details ... 2019 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 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
1Matthew England, Dorian Florescu Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1David Croft 0005, Matthew England Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback. Search on Bibsonomy CEP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthew England, Dorian Florescu Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. Search on Bibsonomy CICM The full citation details ... 2019 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
1Alexander Imani Cowen-Rivers, Matthew England Towards Incremental Cylindrical Algebraic Decomposition in Maple. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal A Combined CNN and LSTM Model for Arabic Sentiment Analysis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Imani Cowen-Rivers, Matthew England Summer Research Report: Towards Incremental Lazard 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 Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1David Croft 0005, Matthew England Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal Improving Sentiment Analysis in Arabic Using Word Representation. 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
1Matthew England Machine Learning for Mathematical Software. 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
1Matthew England Machine Learning for Mathematical Software. Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal A Combined CNN and LSTM Model for Arabic Sentiment Analysis. Search on Bibsonomy CD-MAKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal Improving Sentiment Analysis in Arabic Using Word Representation. Search on Bibsonomy ASAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal Arabic Language Sentiment Analysis on Health Services. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. Search on Bibsonomy CoRR 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 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, 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
1Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (eds.) Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew England, Vijay Ganesh Preface. 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
1Matthew England, Vijay Ganesh (eds.) Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. Search on Bibsonomy CASC 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
1Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal Arabic language sentiment analysis on health services. Search on Bibsonomy ASAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grant J. Scott, Matthew R. England, William A. Starms, Richard A. Marcum, Curt H. Davis Training Deep Convolutional Neural Networks for Land-Cover Classification of High-Resolution Imagery. Search on Bibsonomy IEEE Geosci. Remote Sensing Lett. 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
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, 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
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
1Matthew England Report on the 40th International Symposium on Symbolic and Algebraic Computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthew England, David J. Wilson An implementation of Sub-CAD in Maple. Search on Bibsonomy CoRR The full citation details ... 2015 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
1Stanton R. Price, Derek T. Anderson, Matthew R. England, Grant J. Scott Soft segmentation weighted IECO descriptors for object recognition in satellite imagery. Search on Bibsonomy IGARSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grant J. Scott, Georgi A. Angelov, Michael L. Reinig, Eric C. Gaudiello, Matthew R. England cvTile: Multilevel parallel geospatial data processing with OpenCV and CUDA. Search on Bibsonomy IGARSS 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 Formulating problems for real algebraic geometry. 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
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
1Grant J. Scott, Matthew R. England, Kevin Melkowski, Zachary Fields, Derek T. Anderson GPU-Based PostgreSQL Extensions for Scalable High-Throughput Pattern Matching. Search on Bibsonomy ICPR The full citation details ... 2014 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
1Matthew England An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Matthew England An implementation of CAD in Maple utilising McCallum projection 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
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
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
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
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
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
Displaying result #1 - #91 of 91 (100 per page; Change: )
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