E-LIB Suche - Ergebnisse für: England, Matthew

1

Explainable AI Insights for Symbolic Computation: A case st..:

Pickering, Lynn ; del Río Almajano, Tereso ; England, Matthew.
Journal of Symbolic Computation. 123 (2024) - p. 102276 , 2024

Link: https://doi.org/10.1016/..

2

Levelwise construction of a single cylindrical algebraic ce..:

Nalbach, Jasper ; Ábrahám, Erika ; Specht, Philippe...
Journal of Symbolic Computation. 123 (2024) - p. 102288 , 2024

Link: https://doi.org/10.1016/..

3

Computer Algebra in Scientific Computing: 25th Internationa..

Lecture Notes in Computer Science, 14139

Boulier, François ; England, Matthew ; Kotsireas, Ilias.. - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

4

Clustering in the Lazard method for Cylindrical Algebraic D..:

Río, Tereso del ; Sadeghimanesh, AmirHosein ; England, Matthew
ACM Communications in Computer Algebra. 57 (2023) 3 - p. 126-129 , 2023

Link: https://doi.org/10.1145/..

5

An iterated greedy algorithm with variable reconstruction s..:

Mousavi, Seyed ; Bhambar, Soni ; England, Matthew
International Transactions in Operational Research. , 2023

Link: https://doi.org/10.1111/..

6

Outreach: Impact on Skills and Future Careers of Postgradua..:

Harrison, Timothy G. ; Alexander, Shirin ; Barron, Nick...
Journal of Chemical Education. 100 (2023) 11 - p. 4270-4278 , 2023

Link: https://doi.org/10.1021/..

7

WITHDRAWN: Levelwise construction of a single cylindrical a..:

Nalbach, Jasper ; Ábrahám, Erika ; Specht, Philippe...
Journal of Symbolic Computation. , 2023

Link: https://doi.org/10.1016/..

8

155. Use of MRSA PCR and Antimicrobial Stewardship Interven..:

Politis, Paula A ; Chen, Alice ; Oravec, Michael J...
Open Forum Infectious Diseases. 10 (2023) Supplement_2 - p. , 2023

Link: https://doi.org/10.1093/..

9

Foreword:

England, Matthew ; Boulier, François ; Sadykov, Timur.
Mathematics in Computer Science. 17 (2023) 3-4 - p. , 2023

Link: https://doi.org/10.1007/..

10

Generating Elementary Integrable Expressions:

, In: Computer Algebra in Scientific Computing; Lecture Notes in Computer Science,

Barket, Rashid ; England, Matthew ; Gerhard, Jürgen - p. 21-38 , 2023

Link: https://doi.org/10.1007/..

11

Polynomial superlevel set representation of the multistatio..:

Sadeghimanesh, AmirHosein ; England, Matthew
BMC Bioinformatics. 23 (2022) 1 - p. , 2022

Link: https://doi.org/10.1186/..

12

An SMT solver for non-linear real arithmetic inside maple:

Sadeghimanesh, AmirHosein ; England, Matthew
ACM Communications in Computer Algebra. 56 (2022) 2 - p. 76-79 , 2022

Link: https://doi.org/10.1145/..

13

Foreword:

England, Matthew ; Boulier, François ; Sadykov, Timur.
Mathematics in Computer Science. 16 (2022) 2-3 - p. , 2022

Link: https://doi.org/10.1007/..

14

Computer Algebra in Scientific Computing: 24th Internationa..

Lecture Notes in Computer Science, 13366

Boulier, François ; England, Matthew ; Sadykov, Timur M. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

15

New Heuristic to Choose a Cylindrical Algebraic Decompositi..:

, In: Computer Algebra in Scientific Computing; Lecture Notes in Computer Science,

del Río, Tereso ; England, Matthew - p. 300-317 , 2022

Link: https://doi.org/10.1007/..