• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 180 matches

• 2025
• 
  Seyed R. Mousavi, Soni Bhambar, Matthew England:
  An iterated greedy algorithm with variable reconstruction size for the obnoxious p-median problem. Int. Trans. Oper. Res. 32(1): 144-175 (2025)
• 2024
• 
  Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England:
  Levelwise construction of a single cylindrical algebraic cell. J. Symb. Comput. 123: 102288 (2024)
• 
  Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen:
  Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. J. Symb. Comput. 123: 102276 (2024)
• 
  Tereso del Río, Matthew England:
  Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. Math. Comput. Sci. 18(3): 17 (2024)
• 
  Rashid Barket, Matthew England, Jürgen Gerhard:
  The Liouville Generator for Producing Integrable Expressions. CASC 2024: 47-62
• 
  Matthew England:
  Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk). CASC 2024: 1-10
• 
  Rashid Barket, Matthew England, Jürgen Gerhard:
  Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. ICMS 2024: 167-175
• 
  Dorian Florescu, Matthew England:
  Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. ICMS 2024: 186-195
• 
  Tereso del Río, Matthew England:
  Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. CoRR abs/2401.13343 (2024)
• 
  Rashid Barket, Matthew England, Jürgen Gerhard:
  Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs. CoRR abs/2404.14973 (2024)
• 
  Dorian Florescu, Matthew England:
  Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. CoRR abs/2404.17508 (2024)
• 
  Rashid Barket, Matthew England, Jürgen Gerhard:
  The Liouville Generator for Producing Integrable Expressions. CoRR abs/2406.11631 (2024)
• 
  Matthew England:
  Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition. CoRR abs/2407.19781 (2024)
• 2023
• 
  Tobias Hrynick:
  On England's Green and Pleasant Land: Matthew Paris's Map of Britain as a Reflection of the Levant. Cartogr. Int. J. Geogr. Inf. Geovisualization 58(2): 64-80 (2023)
• 
  Tereso del Río, AmirHosein Sadeghimanesh, Matthew England:
  Clustering in the Lazard method for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 57(3): 126-132 (2023)
• 
  Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
  Foreword. Math. Comput. Sci. 17(3): 22 (2023)
• 
  Rashid Barket, Matthew England, Jürgen Gerhard:
  Generating Elementary Integrable Expressions. CASC 2023: 21-38
• 
  Tereso del Río, Matthew England:
  Data Augmentation for Mathematical Objects. SC-Square@ISSAC 2023: 29-38
• 
  François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov:
  Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings. Lecture Notes in Computer Science 14139, Springer 2023, ISBN 978-3-031-41723-8 [contents]
• 
  Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen:
  Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. CoRR abs/2304.12154 (2023)
• 
  Rashid Barket, Matthew England, Jürgen Gerhard:
  Generating Elementary Integrable Expressions. CoRR abs/2306.15572 (2023)
• 
  Tereso Del Rio Almajano, Matthew England:
  Data Augmentation for Mathematical Objects. CoRR abs/2307.06984 (2023)
• 
  James H. Davenport, Matthew England:
  Iterated Resultants in CAD. CoRR abs/2307.16750 (2023)
• 
  Ali Kemal Uncu, James H. Davenport, Matthew England:
  SMT-Solving Induction Proofs of Inequalities. CoRR abs/2307.16761 (2023)
• 
  James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu:
  Iterated Resultants and Rational Functions in Real Quantifier Elimination. CoRR abs/2312.16210 (2023)
• 2022
• 
  AmirHosein Sadeghimanesh, Matthew England:
  Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. BMC Bioinform. 23(1): 391 (2022)
• 
  AmirHosein Sadeghimanesh, Matthew England:
  An SMT solver for non-linear real arithmetic inside maple. ACM Commun. Comput. Algebra 56(2): 76-79 (2022)
• 
  Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
  Foreword. Math. Comput. Sci. 16(2-3): 16 (2022)
• 
  Tereso del Río, Matthew England:
  New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. CASC 2022: 300-317
• 
  Beate Grawemeyer, John Halloran, Matthew England, David Croft:
  Feedback and Engagement on an Introductory Programming Module. CEP 2022: 17-20

skipping 150 more matches