Matthew England - Publications

Publications

A note on publication conventions: Research in long established fields like mathematics is primarily disseminated via journals, but in the younger field of computer science research is mostly disseminated through conferences and their proceedings. As I have been involved in research across both areas I prefer to give a single list of all my publications.
For each paper a link to the journal website is provided, and when permitted by the publisher a copy of the final pdf is hosted here. Preprint versions of each paper are stored on the Arxiv and university reporitories.

Work in Progress

[BEG24a]
R. Barket, M. England and J. Gerhard.
The Liouville Generator for Producing Integrable Expressions.
In Press: CASC 2024 Proceedings.
Preprint arXiv:2406.11631.
Static data supporting the paper is hosted by Zenodo: https://zenodo.org/doi/10.5281/zenodo.11664457.
A dynamic version of the dataset which may grow over time is hosted by GitHub: https://github.com/rbarket/Liouville/tree/main.
[England2024]
M. England.
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk).
In Press: CASC 2024 Proceedings.
[dRE24]
T. del Rio and M. England.
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD.
In Press: Mathematics in Computer Science, Springer, 2024.
Preprint arXiv:2401.13343
[DEMU24]
J.H. Davenport, M. England, S. McCallum, and A.K. Uncu.
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
Submitted, 2024.
Preprint arXiv:2312.16210
[DEMU24]
Shenghao Yao, AmirHosein Sadeghimanesh and Matthew England
Designing Machine Learning Tools to Characterize Multistationarity of Fully Open Reaction Networks.
Submitted, 2024.
Preprint arXiv:2407.01760
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.12587198

2024

[PdREC24]
L. Pickering, T. Del Rio Almajano, M. England and K. Cohen.
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
Journal of Symbolic Computation, 123, Article Number 102276. Elsevier, 2024.
Digital Object Identifier: 10.1016/j.jsc.2023.102276
Final version (OA) pdf.
Preprint arXiv:2304.12154
[NASBDE24]
J. Nalbach, E. Abraham, P. Specht, C.W. Brown, J.H. Davenport, and M. England.
Levelwise construction of a single cylindrical algebraic cell.
Journal of Symbolic Computation, 123, Article Number 102288. Elsevier, 2024.
Digital Object Identifier: 10.1016/j.jsc.2023.102288
Final version (OA) pdf.
Preprint arXiv:2212.09309
[FE24]
D. Florescu and M. England.
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems.
Mathematical Software (Proc. ICMS '24), (Lecture Notes in Computer Science, 14749), pp. 186-195, Springer, 2024.
Digital Object Identifier: 10.1007/978-3-031-64529-7_19
Preprint arXiv:2404.17508.
[BEG24b]
R. Barket, M. England and J. Gerhard.
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs.
Mathematical Software (Proc. ICMS '24), (Lecture Notes in Computer Science, 14749), pp. 167-175, Springer, 2024.
Digital Object Identifier: 10.1007/978-3-031-64529-7_18
Preprint arXiv:2404.14973.
Data supporting the paper is hosted by GitHub: https://github.com/rbarket/Int_Algo_Selection

2023

[BEG23]
R. Barket, M. England and J. Gerhard.
Generating Elementary Integrable Expressions.
F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '23), pp. 21-38. (Lecture Notes in Computer Science, vol 14139). Springer International, 2023.
Digital Object Identifier: 10.1007/978-3-031-41724-5_2
Preprint arXiv:2306.15572.
Data supporting the paper is hosted by GitHub: https://github.com/rbarket/GenInt/tree/main
[MBE23]
S. Mousavi, S. Bhambar, and M. England.
An iterated greedy algorithm with variable reconstruction size for the obnoxious p-median problem.
International Transactions in Operational Research, Vol TBC, 2023.
Digital Object Identifier: 10.1111/itor.13340
Final version (OA) pdf.
[DE23]
James H. Davenport and M. England.
Iterated Resultants in CAD.
Proceedings of the 8th Workshop on Satisfiability Checking and Symbolic Computation (SC² '23), E. Abraham and T. Sturm, eds. CEUR Workshop Proceedings 3455, pp. 54-60, 2023.
Publication website. Final version (OA) pdf.
Preprint arXiv:2307.16750
[dRE23]
Tereso del Rio and M. England.
Data Augmentation for Mathematical Objects.
Proceedings of the 8th Workshop on Satisfiability Checking and Symbolic Computation (SC² '23), E. Abraham and T. Sturm, eds. CEUR Workshop Proceedings 3455, pp. 29-38, 2023.
Publication website. Final version (OA) pdf.
Preprint arXiv:2307.06984
[UDE23]
A.K. Uncu, J.H. Davenport and M. England.
SMT-Solving Induction Proofs of Inequalities.
Proceedings of the 7th International Workshop on Satisfiability Checking and Symbolic Computation (SC^2 2022), A. Uncu and H. Barbosa, eds. CEUR Workshop Proceedings 3458, pp. 10-24, 2023.
Publication website. Final version (OA) pdf.
Preprint arXiv:2307.16761
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.7777297

2022

[SE22a]
A. Sadeghimanesh and M. England.
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks.
BMC Bioinformatics, 23 Article number 391, 26 pages, 2022.
Digital Object Identifier: 10.1186/s12859-022-04921-6
Preprint arXiv:2003.07764
[dRE22b]
T. del Rio and M. England.
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.
In: F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '22), pp. 300-317. (Lecture Notes in Computer Science, 13366). Springer International, 2022.
Digital Object Identifier: 10.1007/978-3-031-14788-3_17
Preprint arXiv:2206.13480.
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.6750528
[DSYTE22]
S. Deshpande, J. Shuttleworth, J. Yang, S. Taramonli, and M. England.
LIFT: lncRNA identification and function-prediction tool.
International Journal of Bioinformatics Research and Applications, 17:6, pp. 512-536, 2022.
Digital Object Identifier: 10.1504/IJBRA.2021.120535
Free Postprint (embargoed until 1st Jan 2023): CUPure.
[GHEC22]
B. Grawemeyer, J. Halloran, M. England and D. Croft.
Feedback and Engagement on an Introductory Programming Module.
Proc. 6th Conference on Computing Education Practice (CEP '22), pages 17-20, ACM, 2022.
Digital Object Identifier: 10.1145/3498343.3498348
Preprint arXiv:2201.01240.
[England2022a]
M. England.
SC-Square: Future Progress with Machine Learning.
Proceedings of the 6th Workshop on Satisfiability Checking and Symbolic Computation (SC² '21), C. Bright and J.H. Davenport eds. CEUR Workshop Proceedings 3273, pp. 7-16, 2022.
Publication website. Final version (OA) pdf.
Preprint arXiv:2209.04361
[England2022b]
M. England.
SC-Square: Overview to 2021.
Proceedings of the 6th Workshop on Satisfiability Checking and Symbolic Computation (SC² '21), C. Bright and J.H. Davenport eds. CEUR Workshop Proceedings 3273, pp. 1-6, 2022.
Publication website. Final version (OA) pdf.
Preprint arXiv:2209.04359

2021

[ADEK21a]
E. Abraham, J.H. Davenport, M. England and G. Kremer.
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings.
Journal of Logical and Algebraic Methods in Programming, 119, 100633, Elsevier, 2021.
Digital Object Identifier: 10.1016/j.jlamp.2020.100633
Preprint arXiv:2003.05633.

2020

[EBD20]
M. England, R. Bradford, and J.H. Davenport.
Cylindrical Algebraic Decomposition with Equational Constraints.
Journal of Symbolic Computation, 100, pp. 38 - 71, Elsevier, 2020.
Digital Object Identifier: 10.1016/j.jsc.2019.07.019
Preprint arXiv:1903.08999.
[BDEEGGHKRSW20]
R. Bradford, J.H. Davenport, M. England, H. Errami, V. Gerdt, D. Grigoriev, C. Hoyt, M. Kosta, O. Radulescu, T. Sturm, and A. Weber.
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks.
Journal of Symbolic Computation, 98, pp. 84 - 119, Elsevier 2020.
Digital Object Identifier: 10.1016/j.jsc.2019.07.008
Preprint arXiv:1902.04882.
[CE20]
D. Croft and M. England.
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code.
Proc. 4th Conference on Computing Education Practice (CEP '20), Article Num 1, ACM, 2020.
Digital Object Identifier: 10.1145/3372356.3372357
Preprint arXiv:1911.11085.
[BE20]
S. Billings and M. England.
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment.
Proc. 4th Conference on Computing Education Practice (CEP '20), Article Num 2, ACM, 2020.
Digital Object Identifier: 10.1145/3372356.3372358
Preprint arXiv:1911.11088.
[FE20a]
D. Florescu and M. England.
Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness.
Mathematical Aspects of Computer and Information Sciences (Proc. MACIS '19), pp. 341-356, (Lecture Notes in Computer Science, 11989). Springer International Publishing, 2020.
Digital Object Identifier: 10.1007/978-3-030-43120-4_27
Preprint arXiv:1911.12672.
[FE20b]
D. Florescu and M. England.
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs.
Mathematical Software (Proc. ICMS '20), (Lecture Notes in Computer Science, 12097), pp. 302-311. Springer International Publishing, 2020.
Digital Object Identifier: 10.1007/978-3-030-52200-1_30
Preprint arXiv:2005.11251.
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.3731703

2019

[EF19]
M. England and D. Florescu.
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition.
In: C. Kaliszyk, E. Brady, A. Kohlhase and C.C. Sacerdoti eds., Intelligent Computer Mathematics (Proceedings of CICM 2019), pp. 93-108, (Lecture Notes in Computer Science, 11617). Springer International Publishing, 2019.
Digital Object Identifier: 10.1007/978-3-030-23250-4_7
Preprint arXiv:1904.11061.
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.2658626
This paper won the Best Paper Award at CICM 2019!
[FE19]
D. Florescu and M. England.
Algorithmically generating new algebraic features of polynomial systems for machine learning.
Proceedings of the 4th Workshop on Satisfiability Checking and Symbolic Computation (SC² '19), 12 pages. CEUR Workshop Proceedings 2460, 2019.
Publication website. Final version (OA) pdf.
Preprint arXiv:1906.01455.
[HEWBDP19]
Z. Huang, M. England, D.J. Wilson, J. Bridge, J.H. Davenport and L.C. Paulson.
Using Machine Learning to Improve Cylindrical Algebraic Decomposition.
Mathematics in Computer Science, 13:4, pp. 461 - 488, Springer, 2019.
Digital Object Identifier: 10.1007/s11786-019-00394-8
Final version (Gold OA) pdf.
Preprint arXiv:1804.10520.
[CE19]
D. Croft and M. England.
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback.
Proc. 3rd Conference on Computing Education Practice (CEP '19), Article Num 16, ACM, 2019.
Digital Object Identifier: 10.1145/3294016.3294018
Preprint arXiv:1812.03886.
[DSYTE19]
S. Deshpande, J. Shuttleworth, J. Yang, S. Taramonli and M. England.
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets.
Computers in Biology and Medicine, 105, pp. 169 - 181, Elevier, 2019.
Digital Object Identifier: 10.1016/j.compbiomed.2018.12.014
Preprint arXiv:1902.05064.

2018

[England2018]
M. England.
Machine Learning for Mathematical Software
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018, pp. 165-174. (Lecture Notes in Computer Science 10931). Springer, 2018.
Digital Object Identifier: 10.1007/978-3-319-96418-8_20
Preprint arXiv:1806.10920.
[MDE18]
C. Mulligan, J.H. Davenport, M. England.
TheoryGuru: A Mathematica Package to apply Quantifier Elimination
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018, pp. 369-378. (Lecture Notes in Computer Science 10931). Springer, 2018.
Digital Object Identifier: 10.1007/978-3-319-96418-8_44
Preprint arXiv:1806.10925.
[MBDET18]
C. Mulligan, R. Bradford, J.H. Davenport, M. England and Z. Tonks.
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.
In: A. Bigatti and M. Brain eds. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC² '18), pp. 48-60. CEUR Workshop Proceedings 2189, 2018.
Publication website. Final version (OA) pdf.
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.1226892
Preprint arXiv:1806.11447.
[CE18]
A. Cowen-Rivers and M. England.
Towards Incremental Cylindrical Algebraic Decomposition in Maple.
In: A. Bigatti and M. Brain eds. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC² '18), pp. 3-18. CEUR Workshop Proceedings 2189, 2018.
Publication website. Final version (OA) pdf.
Preprint arXiv:1805.10136.
[APEI18a]
A.M. Alayba, V. Palade, M. England and R. Iqbal.
Improving Sentiment Analysis in Arabic Using Word Representation.
Proc. 2nd International Workshop on Arabic Script Analysis and Recognition (ASAR '18), pp. 13-18. IEEE, 2018.
Digital Object Identifier: 10.1109/ASAR.2018.8480191
Preprint arXiv:1803.00124.
[APEI18b]
A.M. Alayba, V. Palade, M. England and R. Iqbal.
A Combined CNN and LSTM Model for Arabic Sentiment Analysis.
In: A. Holzinger, P. Kieseberg, A. Tjoa, and E. Weippl (eds), Proc. International Cross-Domain conference for Machine Learning and Knowledge Extraction (CD-MAKE '18), pp. 179-191. (Lecture Notes in Computer Science 11015). Springer International, 2018.
Digital Object Identifier: 10.1007/978-3-319-99740-7_12
Preprint arXiv:1807.02911

2017

[DE17]
J.H. Davenport and M. England.
The Potential and Challenges of CAD with Equational Constraints for SC-Square.
In: Blomer J., Kotsireas I., Kutsia T., Simos D. (eds) Mathematical Aspects of Computer and Information Sciences (Proc. MACIS '17), pp. 280-285. (Lecture Notes in Computer Science 10693). Springer International, 2017.
Digital Object Identifier: 10.1007/978-3-319-72453-9_22
Preprint arXiv:1711.00312.
[BDEEGGHKRSW17]
R. Bradford, J.H. Davenport, M. England, H. Errami, V. Gerdt, D. Grigoriev, C. Hoyt, M. Kosta, O. Radulescu, T. Sturm, and A. Weber.
A Case Study on the Parametric Occurrence of Multiple Steady States.
Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC '17), pp. 45-52, ACM, 2017.
Digital Object Identifier: 10.1145/3087604.3087622
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.583280
Preprint arXiv:1704.08997.
[EEGRSW17]
M. England, H. Errami, D. Grigoriev, O. Radulescu, T. Sturm, and A. Weber.
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks.
In: V. Gerdt, W. Koepf, W. Seiler, E. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '17), pp. 93-108. (Lecture Notes in Computer Science, 10490). Springer International, 2017.
Digital Object Identifier: 10.1007/978-3-319-66320-3_8
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.807678
Preprint arXiv:1706.08794.
[APEI17]
A.M. Alayba, V. Palade, M. England and R. Iqbal.
Arabic Language Sentiment Analysis on Health Services.
Proc. 1st International Workshop on Arabic Script Analysis and Recognition (ASAR '17), pp. 114-118. IEEE, 2017.
Digital Object Identifier: 10.1109/ASAR.2017.8067771
Data supporting the paper is hosted by Zenodo: DOI:10.5281/zenodo.344285
Preprint arXiv:1702.03197.

2016

[HEDP16]
Z. Huang, M. England, J.H. Davenport and L.C. Paulson.
Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '16), pp. 45--52. IEEE, 2016.
Digital Object Identifier: 10.1109/SYNASC.2016.020
Preprint arXiv:1608.04219.
[ED16a]
M. England and J.H. Davenport.
The complexity of cylindrical algebraic decomposition with respect to polynomial degree.
In: V.P. Gerdt, W. Koepf, W.M. Seiler and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '16), pp. 172-192. (Lecture Notes in Computer Science, 9890). Springer International, 2016.
Digital Object Identifier: 10.1007/978-3-319-45641-6_12
Preprint arXiv:1605.02494.
[AAB+16a]
E. Abraham, J. Abbott, B. Becker, A.M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J.H. Davenport M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W.M. Seiler, and T. Sturm.
SC²: Satisfiability Checking Meets Symbolic Computation.
In: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016.
Digital Object Identifier: 10.1007/978-3-319-42547-4_3
Preprint arXiv:1607.08028.
[BDEMW16]
R. Bradford, J.H. Davenport, M. England, S. McCallum and D. Wilson.
Truth table invariant cylindrical algebraic decomposition.
Journal of Symbolic Computation 76, pp. 1-35, 2016.
Digital Object Identifier: 10.1016/j.jsc.2015.11.002
Final version (Gold OA) pdf.
Preprint arXiv:1401.0645.
Freely available DataSet (University Repository) (DOI:10.15125/BATH-00076).

2015

[EBD15]
M. England, R. Bradford and J.H. Davenport.
Improving the use of equational constraints in cylindrical algebraic decompositions.
Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation (ISSAC '15), pp. 165--172. ACM, 2015.
Digital Object Identifier: 10.1145/2755996.2756678
Final version (Gold OA) pdf.
Preprint arXiv:1501.04466.
Freely available DataSet (University Repository) (DOI:10.15125/BATH-00071).
[DE15]
J.H. Davenport and M. England.
Recent Advances in Real Geometric Reasoning.
In: F. Botana and P. Quaresma, eds. Automated Deduction in Geometry, pp. 37-52. (Lecture Notes in Computer Science, 9201). Springer International, 2015.
Digital Object Identifier: 10.1007/978-3-319-21362-0_3
This is a survery paper based on invited talk at ADG 2014.
Preprint arXiv:1504.06484.

2014

[EEO14]
J.C. Eilbeck, M. England, Y. Ônishi.
Some new addition formulae for Weierstrass elliptic functions.
Proceedings of the Royal Society A, 470:2171, p. 20140051, 2014.
Digital Object Identifier: 10.1098/rspa.2014.0051
Preprint arXiv:1207.6274 or University repository.
[WEBD14]
D. Wilson, M. England, R. Bradford and J.H. Davenport.
Using the distribution of cells by dimension in a cylindrical algebraic decomposition.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '14), pp. 53--60. IEEE, 2014.
Digital Object Identifier: 10.1109/SYNASC.2014.15
Preprint arXiv:1409.1781 or University repository.
[BCDEMW14]
R. Bradford, C. Chen, J.H. Davenport, M. England, M. Moreno Maza and D. Wilson.
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
In: V.P. Gerdt W. Koepf, W.M. Seiler and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '14), pp. 44-58. (Lecture Notes in Computer Science, 8660). Springer International, 2014.
Digital Object Identifier: 10.1007/978-3-319-10515-4_4
Preprint arXiv:1401.6310 or University repository.
[EBCDMW14]
M. England, R. Bradford, C. Chen, J.H. Davenport, M. Moreno Maza and D. Wilson.
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.
In: S.M. Watt, J.H. Davenport, A.P. Sexton, P. Sojka and J. Urban, eds. Intelligent Computer Mathematics, pp. 45-60. (Lecture Notes in Artificial Intelligence, 8543). Springer Berlin Heidelberg, 2014.
Digital Object Identifier: 10.1007/978-3-319-08434-3_5
Preprint: arXiv:1404.6371 or University repository.
[HEWDPB14]
Z. Huang, M. England, D. Wilson, J.H. Davenport, L.C. Paulson and J. Bridge.
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition.
In: S.M. Watt, J.H. Davenport, A.P. Sexton, P. Sojka and J. Urban, eds. Intelligent Computer Mathematics, pp. 92-107. (Lecture Notes in Artificial Intelligence, 8543). Springer Berlin Heidelberg, 2014.
Digital Object Identifier: 10.1007/978-3-319-08434-3_8
Preprint: arXiv:1404.6369 or University repository.
[EC-TBDW14]
M. England, E. Cheb-Terrab, R. Bradford, J.H. Davenport and D. Wilson.
Branch cuts in Maple 17.
ACM Communications in Computer Algebra 48:1 (issue 187), pp. 24-27, ACM, 2014.
Digital Object Identifier: 10.1145/2644288.2644293
Preprint: arXiv:1308.6523 or University repository.
[WBDE14]
D. Wilson, R. Bradford, J.H. Davenport and M. England.
Cylindrical algebraic sub-decompositions.
Mathematics in Computer Science (Special Issue on Computational Algebraic Geometry) 8:2, pp. 263-288, Springer, 2014.
Digital Object Identifier: 10.1007/s11786-014-0191-z
Final version (Gold OA) pdf.
Preprint arXiv:1401.0647 or University repository.

2013

[WDEB13]
D. Wilson, J.H. Davenport, M. England and R. Bradford.
A ''Piano Movers'' problem reformulated.
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '13), pp. 53--60. IEEE, 2013.
Digital Object Identifier: 10.1109/SYNASC.2013.14
Preprint: arXiv:1309.1588 or University repository.
[EBDW13]
M. England, R. Bradford, J.H. Davenport and D. Wilson.
Understanding branch cuts of expressions.
In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics, pp. 136-151. (Lecture Notes in Computer Science, 7961). Springer Berlin Heidelberg, 2013.
Digital Object Identifier: 10.1007/978-3-642-39320-4_9
Preprint: arXiv:1304.7223 or University repository.
[BDEW13]
R. Bradford, M. England, J.H. Davenport and D. Wilson.
Optimising problem formulations for cylindrical algebraic decomposition.
In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics, pp. 19-34. (Lecture Notes in Computer Science, 7961). Springer Berlin Heidelberg, 2013.
Digital Object Identifier: 10.1007/978-3-642-39320-4_2
Preprint: arXiv:1304.7222 or University repository.
[BDEMW13]
R. Bradford, J.H. Davenport, M. England, S. McCallum and D. Wilson.
Cylindrical algebraic decompositions for boolean combinations.
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (ISSAC '13), pp. 125--132. ACM, 2013.
Digital Object Identifier: 10.1145/2465506.2465516
Preprint: arXiv:1304.7603 or University repository.

2012

[DBEW12]
J.H. Davenport, R. Bradford, M. England and D. Wilson.
Program Verification in the presence of complex numbers, functions with branch cuts etc.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '12), pp. 83--88. IEEE, 2012.
Digital Object Identifier: 10.1109/SYNASC.2012.68
Preprint: arXiv:1212.5417 or University repository.
[EA12a]
M. England and C. Athorne.
Building Abelian functions with generalised Baker-Hirota operators.
Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 8:037, 36 pages, 2012.
Digital Object Identifier: 10.3842/SIGMA.2012.037
Final version (OA) pdf.
Preprint: arXiv:1203.3409 or University repository.
[EA12b]
M. England and C. Athorne.
Generalised elliptic functions.
Central European Journal of Mathematics, 10:5 pp. 1655-1672. SP Versita, 2012.
Digital Object Identifier: 10.2478/s11533-012-0083-x
Preprint: arXiv:1111.0777.

2011

[England11]
M. England.
Deriving bases for Abelian functions.
Computational Methods and Function Theory 11:2 pp. 617-654. Springer-Verlag, 2011.
Special issue on: Constructive methods for compact Riemann surfaces.
Digital Object Identifier: 10.1007/BF03321878
Preprint: arXiv:1103.0468.
This website contains many of the results and acts as an Appendix to the paper.
[EEO11]
J.C. Eilbeck, M. England and Y. Ônishi.
Abelian functions associated with genus three algebraic curves.
LMS Journal of Computation and Mathematics, 14 pp. 291-326. London Mathematical Society, 2011.
Digital Object Identifier: 10.1112/S1461157010000355
Preprint: arXiv:1008.0289.
Note that supplementary material is available to download from the journal website.

2010

[England10]
M. England.
Higher genus Abelian functions associated with cyclic trigonal curves.
Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 6:025, 22 pages, 2010.
Digital Object Identifier: 10.3842/SIGMA.2010.025
Final version (OA) pdf.
Preprint: arXiv:1003.4144.
This website contains some of the results and acts as an Appendix to the paper.

2009

[EG09]
M. England and J. Gibbons.
A genus six cyclic tetragonal reduction of the Benney equations.
Journal of Physics A: Mathematical and Theoretical 42:2009, p. 375202. IOP, 2009.
Digital Object Identifier: 10.1088/1751-8113/42/37/375202
Preprint: arXiv:0903.5203.
This website contains many of the results and acts as an Appendix to the paper.
[EE09]
M. England and J.C. Eilbeck.
Abelian functions associated with a cyclic tetragonal curve of genus six.
Journal of Physics A: Mathematical and Theoretical 42:2009, p. 095210. IOP, 2009.
Digital Object Identifier: 10.1088/1751-8113/42/9/095210
Preprint: arXiv:0806.2377.
This article was included in IOP Select - a selection of free articles from IOP Journals chosen for their novelty, significance and potential impact on future research.
This website contains many of the results and acts as an Appendix to the paper.
[PhD Thesis]
M. England.
Higher genus Abelian functions associated with algebraic curves.
University repository
Final version pdf.

Extended Abstracts

[dRSE23]
T. del Rio, A. Sadeghi Manesh and M. England.
Clustering in the Lazard method for Cylindrical Algebraic Decomposition.
ACM Communications in Computer Algebra, 57:3 (issue 225), pp. 126-129, ACM, 2023.
Extended abstract for a poster presented at ISSAC 2023. The poster won the Distinguished Poster Award.
Digital Object Identifier: 10.1145/3637529.3637533
[England2023]
M. England.
Can Artificial Intelligence Serve Computer Algebra Systems?
Short abstract at the 2023 Polish Conference on Artificial Intelligence (PPRAI-23), 2023.
Final version (OA) pdf.
[SE22b]
A. Sadeghi Manesh and M. England.
An SMT Solver for Non-Linear Real Arithmetic inside Maple.
ACM Communications in Computer Algebra, 56:2 (issue 220), pp. 76-79, ACM, 2022.
Extended abstract for a poster presented at ISSAC 2022.
Digital Object Identifier: 10.1145/3572867.3572880
[dRE22a]
T. del Rio and M. England.
The Benefits of Clustering in Cylindrical Algebraic Decomposition.
Proceedings XVII Encuentros de Álgebra Computacional y Aplicaciones 2022 (EACA '22), Moyano-Fernández, Julio José et al. (eds), pp. 71-74, 2022
Digital Object Identifier: 10.6035/INFiTEC.51
Final version (OA) pdf.
[BDESU22]
R. Bradford, J.H. Davenport, M. England, A. Sadeghimanesh, A. Uncu.
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition.
ACM Communications in Computer Algebra 55:3 (issue 217), pp. 107-111, ACM, 2021.
Digital Object Identifier: 10.1145/3511528.3511538
Preprint arXiv:2106.08740.
[KAED21]
G. Kremer, E. Abraham, M. England and James H. Davenport.
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.
In Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2021), pp. 37-39. IEEE, 2021.
Digital Object Identifier: 10.1109/SYNASC54541.2021.00018
[SE21]
A. Sadeghimanesh and M. England
Improving Algebraic Tools to Study Bifurcation Sequences of Population Models.
CASC 2021 Extended Abstracts, Sirius Mathematics Centre, 010w, pages 7-10, 2021.
Publication Website
Final version pdf.
[KAED21]
E. Abraham, J.H. Davenport, M. England and G. Kremer.
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic.
Proc. ARCADE 2021.
Publication Website. Final Version: pdf.
Preprint: arXiv:2108.05320
[ADEKT20]
E. Abraham, J.H. Davenport, M. England, G. Kremer, and Z. Tonks.
New Opportunities for the Formal Proof of Computational Real Geometry?
Proceedings of the 5th Workshop on Satisfiability Checking and Symbolic Computation (SC² '20), CEUR Workshop Proceedings 2752, pp. 178-188, 2020.
Publication website. Final version (OA) pdf.
Preprint arXiv:2004.04034.
[EF20a]
M. England, and D. Florescu.
Machine learning Classification for Variable Ordering Choice in a Computer Algebra System.
Extended Abstract at the International Worshop on Computer Algebra and Scientific Computation (local proceedings only). 4 pages, 2020.
Final version pdf.
[EF20b]
M. England, and D. Florescu.
Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple.
In: J. Gerhard, I. Kotsireas (eds), Maple in Mathematics Education and Research (Proc. MC 2019). Communications in Computer and Information Science (CCIS), vol 1125, pp. 330-333. Springer, 2020.
Digital Object Identifier: 10.1007/978-3-030-41258-6_25
[DEST17]
J.H. Davenport, M. England, R. Sebastiani and P. Trentin.
OpenMath and SMT-LIB.
Presented at the 2017 OpenMath Workshop (at CICM 2017).
Final version (OA) pdf.
Preprint arXiv:1803.01592.
[AAB+17]
E. Abraham, J. Abbott, B. Becker, A.M. Bigatti, M. Brain, A. Cimatti, J.H. Davenport M. England, P. Fontaine, S. Forrest, V. Ganesh, A. Griggio, D. Kroening and W.M. Seiler.
SC² Challenges: When Satisfiability Checking and Symbolic Computation Join Forces.
Proc. First International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplemplary Achievements (ARCADE '17), Giles Reger and Dmitriy Traytel eds. EPiC Series in Computing, vol. 51, pages 6-10. 2017.
Publication website. Final version (OA) pdf.
[ED16b]
M. England and J.H. Davenport
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition.
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC² '16), E. Abraham, J.H. Davenport and P. Fontaine eds. CEUR Workshop Proceedings 1804, 2016.
Publication website. Final version (OA) pdf.
Preprint arXiv:1609.09269.
[AAB+16b]
E. Abraham, J. Abbott, B. Becker, A.M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J.H. Davenport M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W.M. Seiler, and T. Sturm.
Satisfiability Checking and Symbolic Computation.
ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016.
Extended abstract for a poster presented at ISSAC 2016.
Digital Object Identifier: 10.1145/3055282.3055285
Preprint arXiv:1607.06945.
Poster: Click Click here for a pdf of the actual poster.
Digital Object Identifier (poster): 10.13140/RG.2.2.13867.44328
[DE16]
J.H. Davenport and M. England
Need Polynomial Systems be Doubly-exponential?
In: G.M. Greuel, T. Koch, P. Paule and A. Sommese, eds. Mathematical Software - ICMS 2016, pp.167-164, (Lecture Notes in Computer Science, 9725). Springer International Publishing, 2016.
Digital Object Identifier: 10.1007/978-3-319-42432-3_20
Preprint arXiv:1605.02912.
[HEWDP14]
Z. Huang, M. England, D. Wilson, J.H. Davenport and L.C. Paulson.
A comparison of three heuristics to choose the variable ordering for CAD.
ACM Communications in Computer Algebra 48:3 (issue 189), pp. 121-123, ACM, 2014.
Extended abstract for a poster presented at ISSAC 2014.
Digital Object Identifier: 10.1145/2733693.2733706
Preprint: arXiv:1405.6082 or University repository.
[EBDW14]
M. England, R. Bradford, J.H. Davenport and D. Wilson.
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.
In: H. Hong and C. Yap, eds. Mathematical Software - ICMS 2014, pp. 450-457. (Lecture Notes in Computer Science, 8592). Springer Berlin Heidelberg, 2014.
Digital Object Identifier: 10.1007/978-3-662-44199-2_68
Preprint arXiv:1405.6094 or University repository.
[EWBD14]
M. England, D. Wilson, R. Bradford and J.H. Davenport.
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting.
In: H. Hong and C. Yap, eds. Mathematical Software - ICMS 2014, pp. 458-465. (Lecture Notes in Computer Science, 8592). Springer Berlin Heidelberg, 2014.
Digital Object Identifier: 10.1007/978-3-662-44199-2_69
Preprint arXiv:1405.6090 or University repository.
[England14a]
M. England.
Formulating problems for real algebraic geometry.
Proceedings XIV Encuentros de Álgebra Computacional y Aplicaciones 2014 (EACA '14), pp. 107-110, 2014
(Extended abstract surveying issues of problem formulation for CAD.)
Publication website.
Final version (OA) pdf.
Preprint: arXiv:1405.3461 or University repository.

Technical Reports

[EW15]
M. England and D. Wilson.
An Implementation of Sub-CAD in Maple.
University of Bath, Dept. Computer Science Technical Report Series 2015-01, 9 pages, 2015.
Report website (University Repository). Final version pdf.
Preprint: arXiv:1503.06599.
The code described is available here while the latest version is available from the ProjectionCAD website.
[WE13]
D. Wilson and M. England.
Layered cylindrical algebraic decomposition.
University of Bath, Dept. Computer Science Technical Report Series 2013-05, 30 pages, 2013.
Report website (University Repository). Final version pdf.
[England13b]
M. England.
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance.
University of Bath, Dept. Computer Science Technical Report Series 2013-04, 12 pages, 2013.
Report website (University Repository). Final version pdf.
Preprint: arXiv:1306.3062.
The code described is available here while the latest version is available from the ProjectionCAD website.
[England13a]
M. England.
An implementation of CAD in Maple utilising McCallum projection.
University of Bath, Dept. Computer Science Technical Report Series 2013-02, 9 pages, 2013.
Report website (University Repository). Final version pdf.
Preprint: arXiv:1302.6401.
The code described is available here while the latest version is available from the ProjectionCAD website.

DataSet

We have contributed a number of datasets to the QFNRA category of the SMT-LIB Benchmarks:

2022: 20220314-Uncu Benchmarks on problems from the automated proof of combinatorial inequalities. Described in [UDE23].
2021: 20211101-Geogebra Benchmarks on problems from the automated proof of geometric theorems in GeoGebra. Described in a variety of papers as referenced in the dataset metadata.
2018: 20180501-Economics-Mulligan Benchmarks on problems from the analysis of economics theory. Described in [MBDET18] and [MDE18].

For the EPSRC Project Real Geometry and Connectedness via Triangular Description we developed a bank of CAD examples for testing our ideas. These examples are available to use under a Creative Commons Licence.
Dataset website (University of Bath). Digital Object Identifier: 10.15125/BATH-00069.

Other

[BEKSV23]
F. Boulier, M. England, I. Kotsireas, T.M. Sadykov, and E.V. Vorozhtsov. Preface to: Computer Algebra in Scientific Computing.
In: F. Boulier et al. eds., Computer Algebra in Scientific Computing (Proceedings of CASC 2023), pp. v-xi (Lecture Notes in Computer Science, 14139). Springer International Publishing, 2023.
Digital Object Identifier: 10.1007/978-3-031-41724-5
[EBSS23]
M. England, F.~Boulier, T. Sadykov, and T. Sturm. Foreword.
In: M. England et al. eds., Special Issue on Computer Algebra in Scientific Computing, Mathematics in Computer Science, volume 17, article number 22. Springer, 2023.
Digital Object Identifier: 10.1007/s11786-023-00565-8
[EBSS22]
M. England, F.~Boulier, T. Sadykov, and T. Sturm. Foreword.
In: M. England et al. eds., Special Issue on Computer Algebra in Scientific Computing, Mathematics in Computer Science, volume 16, article number 16. Springer, 2022.
Digital Object Identifier: 10.1007/s11786-022-00533-8
[ADEG22]
E. Abraham, J.H. Davenport, M. England, and A. Griggio. New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).
Dagstuhl Reports, 12:2, pp. 67-86. Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2022.
Digital Object Identifier: 10.4230/DagRep.12.2.67
[BESV22]
F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov. Preface to: Computer Algebra in Scientific Computing.
In: F. Boulier et al. eds., Computer Algebra in Scientific Computing (Proceedings of CASC 2022), pp. v-viii, (Lecture Notes in Computer Science, 13366). Springer International Publishing, 2022.
Digital Object Identifier: 10.1007/978-3-031-14788-3
[BESV21]
F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov. Preface to: Computer Algebra in Scientific Computing.
In: F. Boulier et al. eds., Computer Algebra in Scientific Computing (Proceedings of CASC 2021), pp. v-viii, (Lecture Notes in Computer Science, 12865). Springer International Publishing, 2021.
Digital Object Identifier: 10.1007/978-3-030-85165-1
[EBSS21]
M. England, F.~Boulier, T. Sadykov, and T. Sturm. Foreword, with a Dedication to Vladimir Gerdt.
In: M. England et al. eds., Special Issue on Computer Algebra in Scientific Computing, Mathematics in Computer Science (volume 15, issue 3), pp. 369-371. Springer, 2021.
Digital Object Identifier: 10.1007/s11786-021-00509-0
[EKSSS21]
M. England, W. Koepf, T.M. Sadykov, W.M. Seiler, and T. Sturm. Foreword, with a Dedication to Andreas Weber.
In: M. England et al. eds., Special Issue on Computer Algebra in Scientific Computing, Mathematics in Computer Science (volume 15, issue 2), pp. 173-175. Springer, 2021.
Digital Object Identifier: 10.1007/s11786-020-00476-y
[England2020]
M. England.
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning (TUTORIAL ABSTRACT).
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (ISSAC '20), pp. 13, ACM, 2020.
Digital Object Identifier: 10.1145/3373207.3403981
[DEGST20]
J.H. Davenport, M. England, A. Griggio, T. Sturm, and C. Tinelli.
Symbolic computation and satisfiability checking: Editorial.
Journal of Symbolic Computation, Volume 100, pp. 1-10, Elsevier, 2020.
Digital Object Identifier: 10.1016/j.jsc.2019.07.017
[BESV20]
F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov. Preface to: Computer Algebra in Scientific Computing.
In: F. Boulier et al. eds., Computer Algebra in Scientific Computing (Proceedings of CASC 2020), pp. vii-x, (Lecture Notes in Computer Science, 12291). Springer International Publishing, 2020.
Digital Object Identifier: 10.1007/978-3-030-60026-6
[EKMSV19]
M. England, W. Koepf, T.M. Sadykov, W.M. Seiler, and E.V. Vorozhtsov. Preface to: Computer Algebra in Scientific Computing.
In: M. England et al. eds., Computer Algebra in Scientific Computing (Proceedings of CASC 2019), pp. v-viii, (Lecture Notes in Computer Science, 11661). Springer International Publishing, 2019.
Digital Object Identifier: 10.1007/978-3-030-26831-2
[GEHRT17]
H. Geuvers and M. England and O. Hasan and F. Rabe and O. Teschke.
Preface to: Intelligent Computer Mathematics.
In: H. Geuvers et al. eds., Intelligent Computer Mathematics (Proceedings of CICM 2017), pp. v-vi, (Lecture Notes in Computer Science, 10383). Springer International Publishing, 2017.
Digital Object Identifier: 10.1007/978-3-319-62075-6
[EG17]
M. England and V. Ganesh
Preface.
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC² '17), M. England and V. Ganesh eds. CEUR Workshop Proceedings 1974, 2017.
Publication website.
[England15]
M. England.
Report on the 40th International Symposium on Symbolic and Algebraic Computation.
ACM Communications in Computer Algebra 49:3 (issue 193), p. 69, ACM, 2015.
Digital Object Identifier: 10.1145/2850449.2850450
[England14b]
M. England.
Preface to the Joint Volume.
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM 2014, M. England et al. eds. CEUR Workshop Proceedings 1186, 2014.
Publication website.

Special Issues Edited

2023: Special Issue of Mathematics in Computer Science on Computer Algebra in Scientific Computing (CASC 2022) volume 17, issue 3-4. Springer, 2023.
Editors: M. England, F. Boulier, T. Sadykov, and T. Sturm.
Volume URL: https://link.springer.com/journal/11786/volumes-and-issues/17-3
Consists of selected work presented at CASC 2022.
2022: Special Issue of Mathematics in Computer Science on Computer Algebra in Scientific Computing (CASC 2021) volume 16, issue 2-3. Springer, 2022.
Editors: M. England, F. Boulier, T. Sadykov, and T. Sturm.
Volume URL: https://link.springer.com/journal/11786/volumes-and-issues/16-2
Consists of selected work presented at CASC 2021.
2021: Special Issue of Mathematics in Computer Science on Computer Algebra in Scientific Computing (CASC 2020) volume 15, issue 3. Springer, 2021.
Editors: M. England, F. Boulier, T. Sadykov, and T. Sturm.
Volume URL: https://link.springer.com/journal/11786/volumes-and-issues/15-3
Consists of selected work presented at CASC 2020.
2021: Special Issue of Mathematics in Computer Science on Computer Algebra in Scientific Computing (CASC 2019) volume 15, issue 2. Springer, 2021.
Editors: M. England, W. Koepf, T.M. Sadykov, W.M. Seiler, and T. Sturm.
Volume URL: https://link.springer.com/journal/11786/volumes-and-issues/15-2
Consists of selected work presented at CASC 2019.
2020: Special Issue of the Journal of Symbolic Computation on Symbolic Computation and Satisfiability Checking (JSC volume 100)
Editors: James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, and Cesare Tinelli.
Issue URL: https://www.sciencedirect.com/journal/journal-of-symbolic-computation/vol/100
Consists of 7 articles and a substantial editorial. Articles stemmed from talks at SC² workshops and special sessions.

Conference Proceedings Issues Edited

2023: Computer Algebra in Scientific Computing (Proc. CASC 2023), Lecture Notes in Computer Science, volume 14139. Springer, 2023.
Editors: F. Boulier, M. England, I. Kotsireas, T.M. Sadykov, and E.V. Vorozhtsov.
Volume URL: https://doi.org/10.1007/978-3-031-41724-5
2022: Computer Algebra in Scientific Computing (Proc. CASC 2022), Lecture Notes in Computer Science, volume 13366. Springer, 2022.
Editors: F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov.
Volume URL: https://doi.org/10.1007/978-3-031-14788-3
2021: Computer Algebra in Scientific Computing (Proc. CASC 2021), Lecture Notes in Computer Science, volume 12865. Springer, 2021.
Editors: F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov.
Volume URL: https://doi.org/10.1007/978-3-030-85165-1
2020: Computer Algebra in Scientific Computing (Proc. CASC 2020), Lecture Notes in Computer Science, volume 12291. Springer, 2020.
Editors: F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov.
Volume URL: https://doi.org/10.1007/978-3-030-60026-6
2019: Computer Algebra in Scientific Computing (Proc. CASC 2019), Lecture Notes in Computer Science, volume 11661. Springer, 2020.
Editors: M. England, W. Koepf, T.M. Sadykov, W.M. Seiler, and E.V. Vorozhtsov.
Volume URL: https://doi.org/10.1007/978-3-030-26831-2
2017: Intelligent Computer Mathematics (Proc. CICM 2017). Lecture Notes in Computer Science, volume 10383. Springer, 2017.
Editors: H. Geuvers and M. England and O. Hasan and F. Rabe and O. Teschke.
Volume URL: https://doi.org/10.1007/978-3-319-62075-6
2017: Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC² '17). CEUR Workshop Proceedings 1974, 2017. ISSN 1613-0073.
Editors: Matthew England and Vijay Ganesh.
Volume URL: http://ceur-ws.org/Vol-1974/Preface.pdf.
2014: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM 2014. CEUR Workshop Proceedings, 1186, 2014. ISSN 1613-0073.
Editors: M. England, J.H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A.P. Sexton, P. Sojka, J. Urban and S.M. Watt
Volume URL: http://ceur-ws.org/Vol-1186/

Co-authors

Prof. Erika Abraham (RWTH Aachen): University Profile
Dr Abdulaziz Alayba (University of Hail): LinkedIn
Dr Chris Athorne (University of Glasgow): University Profile -- Personal Website
Mr Rashid Barket (Coventry University): University Profile
Ms Soni Bhambar (Coventry University): LinkedIn
Dr Simon Billings (Coventry University): LinkedIn
Dr Russell Bradford (University of Bath): University Profile -- Personal Website
Dr James Bridge (University of Cambridge)
Prof. Chris Brown (US Naval Academy): Personal Website
Dr Edgardo Cheb-Terrab (Maplesoft): LinkedIn
Dr Changbo Chen (CIGIT, Chinese Academy of Sciences): University Website
Prof. Kelly Cohen (University of Cincinnati): University Profile
Dr Alex Cowen-Rivers (Technische Universitat Darmstadt): University Profile
Dr David Croft (University of Warwick): LinkedIn
Prof. James Davenport (University of Bath): University Profile -- Personal Website
Dr Tereso Del Rio (Coventry University): University Profile
Dr Sumukh Deshpande (Cardiff University): University Profile
Prof. Chris Eilbeck: (Heriot Watt University): Personal Website
Dr Hassan Errami (University of Bonn): Personal Website
Dr Dorian Florescu (University of Bath) LinkedIn
Prof. Vladamir Gerdt (JINR Dubna) ✝: Wikipedia
Dr Juergen Gerhard (Maplesoft): DBLP Profile
Dr John Gibbons: (Imperial College London): University Profile
Dr Beate Grawemeyer (Coventry University): University Profile
Dr Alberto Griggio (Fondazione Bruno Kessler): Personal Website
Dr Dima Grigoriev (CNRS and University of Lille): Wikipedia
Dr John Halloran (Coventry University): University Profile
Dr Charles Hoyt (University of Bonn): Personal Website
Dr Zongyan Huang (University of Cambridge) LinkedIn
Dr Marek Kosta (Slovak Academy of Sciences): Personal Website
Dr Gereon Kremer (Stanford University): Personal Website
Dr Rahat Iqbal (Coventry University): LinkedIn
Dr Scott McCallum (Macquarie University): University Profile
Prof. Marc Moreno Maza (Western University Canada): Personal Website
Dr Seyed Mousavi (Coventry University): Google Scholar
Prof. Casey Mulligan (University of Chicago): University Profile -- Personal Website
Mr Jasper Nalbach (RWTH Aachen): University Profile
Prof Vasile Palade (Coventry University): University Profile
Prof. Lawrence Paulson (University of Cambridge): Personal Website
Ms. Lynn Pickering (University of Cincinnati): RG Profile
Dr Ovidiu Radulescu (University of Montpellier): University Website
Dr Amirhossein Sadeghimanesh (Coventry University): Personal Website
Dr James Shuttleworth (Coventry University): University Profile
Mr Phillipe Specht (RWTH Aachen)
Dr Thomas Sturm (CNRS, LORIA, MPII and Saarland University): Personal Website
Dr Sandy Taramonli (University of Warwick): LinkedIn
Prof. Cesare Tinelli (University of Iowa): Personal Website
Dr Zak Tonks (University of Bath): LinkedIn
Prof. Yoshihiro Ônishi (Meijo University): Personal Website
Dr Ali Uncu (University of Bath and Austrian Academy of Sciences): Personal Website
Prof. Andreas Weber (University of Bonn) ✝: University Website
Dr David Wilson: LinkedIn
Dr Jianhua Wang (University of Warwick): Personal Website
Mr Shenghao Yao (Coventry University):