Research output per year
Research output per year
- 25 results
Search results
-
2025
An iterated greedy algorithm with variable reconstruction size for the obnoxious p-median problem
Mousavi, S., Bhambar, S. & England, M., 1 Jan 2025, In: International Transactions in Operational Research. 32, 1, p. 144-175 32 p., 13340.Research output: Contribution to journal › Article › peer-review
Open AccessFile41 Downloads (Pure) -
2024
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Pickering, L., del Río, T., England, M. & Cohen, K., 1 Jul 2024, In: Journal of Symbolic Computation. 123, 24 p., 102276.Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Citations (Scopus)141 Downloads (Pure) -
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
del Río, T. & England, M., 11 Sept 2024, In: Mathematics in Computer Science. 18, 3, 27 p., 17.Research output: Contribution to journal › Article › peer-review
Open AccessFile25 Downloads (Pure) -
Levelwise construction of a single cylindrical algebraic cell
Nalbach, J., Abraham, E., Specht, P., Brown, C. W., Davenport, J. H. & England, M., Jul 2024, In: Journal of Symbolic Computation. 123, 44 p., 102288.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)90 Downloads (Pure) -
2023
Clustering in the Lazard method for Cylindrical Algebraic Decomposition
del Río, T., Sadeghimanesh, A. & England, M., 13 Dec 2023, In: ACM Communications in Computer Algebra. 57, 3, p. 126-129 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile39 Downloads (Pure) -
2022
An SMT solver for non-linear real arithmetic inside maple
Sadeghimanesh, A. & England, M., 23 Nov 2022, In: ACM Communications in Computer Algebra. 56, 2, p. 76-79 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile138 Downloads (Pure) -
LIFT: lncRNA identification and function-prediction tool
Deshpande, S., Shuttleworth, J., Yang, J., Taramonli, S. & England, M., 25 Jan 2022, (E-pub ahead of print) In: International Journal of Bioinformatics Research and Applications. 17, 6, p. 512-536 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile222 Downloads (Pure) -
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks
Sadeghimanesh, A. & England, M., 27 Sept 2022, In: BMC Bioinformatics. 23, 1, 26 p., 391.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)47 Downloads (Pure) -
2021
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., Feb 2021, In: Journal of Logical and Algebraic Methods in Programming. 119, 41 p., 100633.Research output: Contribution to journal › Article › peer-review
Open AccessFile34 Citations (Scopus)80 Downloads (Pure) -
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition
Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A. & Uncu, A., Sept 2021, In: ACM Communications in Computer Algebra. 55, 3, p. 107-111 5 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Citations (Scopus)69 Downloads (Pure) -
2020
Cylindrical Algebraic Decomposition with Equational Constraints
England, M., Bradford, R. & Davenport, J. H., 1 Sept 2020, In: Journal of Symbolic Computation. 100, p. 38-71 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile19 Citations (Scopus)271 Downloads (Pure) -
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T. & Weber, A., May 2020, In: Journal of Symbolic Computation. 98, p. 84 - 119 36 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile23 Citations (Scopus)108 Downloads (Pure) -
2019
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets
Deshpande, S., Shuttleworth, J., Yang, J., Taramonli, S. & England, M., Feb 2019, In: Computers in Biology and Medicine. 105, p. 169-181 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile30 Citations (Scopus)47 Downloads (Pure) -
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. H. & Paulson, L. C., Dec 2019, In: Mathematics in Computer Science. 13, 4, p. 461-488 28 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile20 Citations (Scopus)61 Downloads (Pure) -
2016
Truth table invariant cylindrical algebraic decomposition
Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., Sept 2016, In: Journal of Symbolic Computation. 76, p. 1-35Research output: Contribution to journal › Article › peer-review
Open AccessFile39 Citations (Scopus)89 Downloads (Pure) -
2015
A comparison of three heuristics to choose the variable ordering for cylindrical algebraic decomposition
Huang, Z., England, M., Wilson, D., Davenport, J. H. & Paulson, L. C., 5 Feb 2015, In: ACM Communications in Computer Algebra. 48, 3-4, p. 121-123 3 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)34 Downloads (Pure) -
Report on the 40th International Symposium on Symbolic and Algebraic Computation
England, M., 1 Sept 2015, In: ACM Communications in Computer Algebra. 49, 3, p. 69 1 p.Research output: Contribution to journal › Article › peer-review
-
2014
Branch cuts in Maple 17
England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. H. & Wilson, D., 2014, In: ACM Communications in Computer Algebra. 48, 1-2, p. 24-27 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Citations (Scopus)77 Downloads (Pure) -
Cylindrical Algebraic Sub-Decompositions
Wilson, D. J., Bradford, R. J., Davenport, J. H. & England, M., 2014, In: Mathematics in Computer Science. 8, 2, p. 263-288 26 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile17 Citations (Scopus)64 Downloads (Pure) -
Some new addition formulae for Weierstrass elliptic functions
Eilbeck, J. C., England, M. & Ônishi, Y., 8 Nov 2014, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 470, 2171, 14 p., 20140051.Research output: Contribution to journal › Article › peer-review
-
2012
Building Abelian functions with generalised Baker-Hirota operators
England, M. & Athorne, C., 26 Jun 2012, In: Symmetry, Integrability and Geometry: Methods and Applications (SIGMA). 8, 36 p., 037.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)52 Downloads (Pure) -
Deriving bases for Abelian functions
England, M., Jan 2012, In: Computational Methods and Function Theory. 11, 2, p. 617-654 38 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile5 Citations (Scopus)28 Downloads (Pure) -
2010
Higher genus Abelian functions associated with cyclic trigonal curves
England, M., 2010, In: Symmetry, Integrability and Geometry: Methods and Applications (SIGMA). 6, 025.Research output: Contribution to journal › Article › peer-review
Open Access7 Citations (Scopus) -
2009
Abelian functions associated with a cyclic tetragonal curve of genus six
England, M. & Eilbeck, J. C., 2009, In: Journal of Physics A: Mathematical and Theoretical. 42, 9, 095210.Research output: Contribution to journal › Article › peer-review
Open AccessFile18 Citations (Scopus)48 Downloads (Pure) -
A genus six cyclic tetragonal reduction of the Benney equations
England, M. & Gibbons, J., 2009, In: Journal of Physics A: Mathematical and Theoretical. 42, 37, 375202.Research output: Contribution to journal › Article › peer-review
Open AccessFile12 Citations (Scopus)50 Downloads (Pure)