@article{DBLP:journals/corr/abs-2601-17422,
 author = {Vincent Neiger and
Bruno Salvy and
{\'{E}}ric Schost and
Gilles Villard},
 doi = {10.48550/arXiv.2601.17422},
 journal = {CoRR},
 title = {Faster modular composition using two relation matrices},
 url = {https://doi.org/10.48550/arXiv.2601.17422},
 volume = {abs/2601.17422},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2602-14708,
 author = {Tony Shaska and
Ilias S. Kotsireas},
 doi = {10.48550/arXiv.2602.14708},
 journal = {CoRR},
 title = {A Unified Mathematical Framework for Distributed Data Fabrics: Categorical Hypergraph Models},
 url = {https://doi.org/10.48550/arXiv.2602.14708},
 volume = {abs/2602.14708},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2602-17904,
 author = {Robert Andrews and
Abhibhav Garg and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2602.17904},
 journal = {CoRR},
 title = {Hilbert's Nullstellensatz is in the Counting Hierarchy},
 url = {https://doi.org/10.48550/arXiv.2602.17904},
 volume = {abs/2602.17904},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2604-16623,
 author = {Paul Breiding and
Taylor Brysiewicz and
David K. Johnson},
 doi = {10.48550/arXiv.2604.16623},
 journal = {CoRR},
 title = {Low-Memory Numerical Certification},
 url = {https://doi.org/10.48550/arXiv.2604.16623},
 volume = {abs/2604.16623},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2605-07784,
 author = {George Labahn and
Arne Storjohann},
 doi = {10.48550/arXiv.2605.07784},
 journal = {CoRR},
 title = {Computing bases in Hermite normal form of lattices of integer relations},
 url = {https://doi.org/10.48550/arXiv.2605.07784},
 volume = {abs/2605.07784},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2605-17744,
 author = {Peter A. Forsyth and
George Labahn},
 doi = {10.48550/arXiv.2605.17744},
 journal = {CoRR},
 title = {Numerical methods for optimal decumulation of a defined contribution pension plan},
 url = {https://doi.org/10.48550/arXiv.2605.17744},
 volume = {abs/2605.17744},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2605-19254,
 author = {Ziwen Wang and
Stavros Birmpilis and
George Labahn and
Arne Storjohann},
 doi = {10.48550/arXiv.2605.19254},
 journal = {CoRR},
 title = {A C implementation of the Smith massager algorithm},
 url = {https://doi.org/10.48550/arXiv.2605.19254},
 volume = {abs/2605.19254},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2606-02367,
 author = {Stephen M. Watt},
 doi = {10.48550/arXiv.2606.02367},
 journal = {CoRR},
 title = {A Computational Toolkit for Engagement and Scalable Assessment in a Large Logic Course},
 url = {https://doi.org/10.48550/arXiv.2606.02367},
 volume = {abs/2606.02367},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2606-05466,
 author = {Stephen M. Watt},
 doi = {10.48550/arXiv.2606.05466},
 journal = {CoRR},
 title = {Look Before You Leap: Checking In on Type Tag Checking},
 url = {https://doi.org/10.48550/arXiv.2606.05466},
 volume = {abs/2606.05466},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2606-06386,
 author = {Martin Bom Marchioro and
Aske Nord Raahauge and
Marc I. L{\o}venskjold and
Cosmin E. Oancea and
Stephen M. Watt},
 doi = {10.48550/arXiv.2606.06386},
 journal = {CoRR},
 title = {On GPU Implementation for Multi-Precision Integer Division},
 url = {https://doi.org/10.48550/arXiv.2606.06386},
 volume = {abs/2606.06386},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2606-21209,
 author = {Dafna K. Matsegora and
Stephen M. Watt},
 doi = {10.48550/arXiv.2606.21209},
 journal = {CoRR},
 title = {Arc-Length Parameterized Interpolating Splines},
 url = {https://doi.org/10.48550/arXiv.2606.21209},
 volume = {abs/2606.21209},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2607-00313,
 author = {Mark Giesbrecht and
Armin Jamshidpey and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2607.00313},
 journal = {CoRR},
 title = {Fast Deterministic Normal Bases and Circulant Polynomial Determinants},
 url = {https://doi.org/10.48550/arXiv.2607.00313},
 volume = {abs/2607.00313},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2607-02751,
 author = {Mark Giesbrecht},
 doi = {10.48550/arXiv.2607.02751},
 journal = {CoRR},
 title = {On Factoring Quantum-Plane Skew Polynomials over ℚ(ω)(t)},
 url = {https://doi.org/10.48550/arXiv.2607.02751},
 volume = {abs/2607.02751},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2607-05800,
 author = {Mark Giesbrecht},
 doi = {10.48550/arXiv.2607.05800},
 journal = {CoRR},
 title = {Computing Smith Forms Modulo p2 of Sparse Matrices Faster Than Matrix Multiplication},
 url = {https://doi.org/10.48550/arXiv.2607.05800},
 volume = {abs/2607.05800},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2607-26206,
 author = {Daniel Pang and
Stephen M. Watt},
 doi = {10.48550/arXiv.2607.26206},
 journal = {CoRR},
 title = {Progress in Benchmarking Generics for Mathematical Computation},
 url = {https://doi.org/10.48550/arXiv.2607.26206},
 volume = {abs/2607.26206},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2607-27003,
 author = {Jean Della Dora and
Stephen M. Watt},
 doi = {10.48550/arXiv.2607.27003},
 journal = {CoRR},
 title = {Algorithms for Linear Ordinary Differential Operators},
 url = {https://doi.org/10.48550/arXiv.2607.27003},
 volume = {abs/2607.27003},
 year = {2026}
}

@article{DBLP:journals/corr/abs-2607-28897,
 author = {Cosmin E. Oancea and
Stephen M. Watt},
 doi = {10.48550/arXiv.2607.28897},
 journal = {CoRR},
 title = {High-Level Big Integer Arithmetic in Futhark for GPUs},
 url = {https://doi.org/10.48550/arXiv.2607.28897},
 volume = {abs/2607.28897},
 year = {2026}
}

@article{DBLP:journals/eccc/0003GS26,
 author = {Robert Andrews and
Abhibhav Garg and
{\'{E}}ric Schost},
 journal = {Electron. Colloquium Comput. Complex.},
 title = {Hilbert's Nullstellensatz is in the Counting Hierarchy},
 url = {https://eccc.weizmann.ac.il/report/2026/024},
 volume = {TR26},
 year = {2026}
}

@article{DBLP:journals/ijpp/SojoodiKA26,
 author = {Amir Hossein Sojoodi and
Ilias S. Kotsireas and
Ahmad Afsahi},
 doi = {10.1007/s10766-026-00820-y},
 journal = {Int. J. Parallel Program.},
 pages = {13},
 title = {Efficient High-Performance Computing Strategies for the Legendre Pairs Search},
 url = {https://doi.org/10.1007/s10766-026-00820-y},
 volume = {54},
 year = {2026}
}

@article{DBLP:journals/jossac/YangWR26,
 author = {Wenqiang Yang and
Wenyuan Wu and
Greg Reid},
 doi = {10.1007/s11424-024-4048-5},
 journal = {J. Syst. Sci. Complex.},
 pages = {1306--1330},
 title = {Embedding Method by Real Numerical Algebraic Geometry for Structurally Unamenable Differential-Algebraic Equations},
 url = {https://doi.org/10.1007/s11424-024-4048-5},
 volume = {39},
 year = {2026}
}

@article{DBLP:journals/jsc/JingMMXY26,
 author = {Rui-Juan Jing and
Marc Moreno Maza and
Chirantan Mukherjee and
Yan-Feng Xie and
Chun-Ming Yuan},
 doi = {10.1016/j.jsc.2025.102527},
 journal = {J. Symb. Comput.},
 pages = {102527},
 title = {Efficient detection of redundancies in systems of linear inequalities},
 url = {https://doi.org/10.1016/j.jsc.2025.102527},
 volume = {135},
 year = {2026}
}

@article{DBLP:journals/jsc/PrebetDS26,
 author = {R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2025.102532},
 journal = {J. Symb. Comput.},
 pages = {102532},
 title = {Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity},
 url = {https://doi.org/10.1016/j.jsc.2025.102532},
 volume = {135},
 year = {2026}
}

@article{DBLP:journals/maple/CorlessH26,
 author = {Robert M. Corless and
Michelle Hatzel},
 doi = {10.5206/mt.v6i1.24387},
 journal = {Maple Trans.},
 title = {Hermite Interpolational Bohemians},
 url = {https://doi.org/10.5206/mt.v6i1.24387},
 volume = {6},
 year = {2026}
}

@article{DBLP:journals/maple/MazaR26,
 author = {Marc Moreno Maza and
Tom{\'{a}}s Recio},
 doi = {10.5206/mt.v6i1.24787},
 journal = {Maple Trans.},
 title = {Matrices and Polynomials In Computer Algebra: LALO60},
 url = {https://doi.org/10.5206/mt.v6i1.24787},
 volume = {6},
 year = {2026}
}

@article{DBLP:journals/mics/BahramiM26,
 author = {Sepideh Bahrami and
Marc Moreno Maza},
 doi = {10.1007/s11786-026-00628-6},
 journal = {Math. Comput. Sci.},
 pages = {12},
 title = {Osculating Spaces of Plane Curves},
 url = {https://doi.org/10.1007/s11786-026-00628-6},
 volume = {20},
 year = {2026}
}

@book{zbMATH8221253,
 author = {Corless, Robert M. and Fillion, Nicolas},
 doi = {10.1137/1.9781611978865},
 publisher = {Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM)},
 title = {Perturbation methods using backward error},
 url = {https://doi.org/10.1137/1.9781611978865},
 year = {2026}
}

@inproceedings{DBLP:conf/birthday/NormanW26,
 author = {Arthur C. Norman and
Stephen M. Watt},
 booktitle = {Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement},
 doi = {10.1007/978-3-032-08187-2_3},
 editor = {Dominic Orchard and
Tomas Petricek and
Jeremy Singer},
 pages = {33--50},
 publisher = {Springer},
 title = {A Symbolic Computing Perspective on Software Systems},
 url = {https://doi.org/10.1007/978-3-032-08187-2_3},
 volume = {15500},
 year = {2026}
}

@inproceedings{DBLP:conf/birthday/OanceaW26,
 author = {Cosmin E. Oancea and
Stephen M. Watt},
 booktitle = {Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement},
 doi = {10.1007/978-3-032-08187-2_4},
 editor = {Dominic Orchard and
Tomas Petricek and
Jeremy Singer},
 pages = {51--79},
 publisher = {Springer},
 title = {GPU Implementations for Midsize Integer Addition and Multiplication},
 url = {https://doi.org/10.1007/978-3-032-08187-2_4},
 volume = {15500},
 year = {2026}
}

@inproceedings{DBLP:conf/casc/Giesbrecht26a,
 author = {Mark Giesbrecht},
 booktitle = {Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings},
 doi = {10.1007/978-3-032-34586-8_9},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Ali Kemal Uncu},
 pages = {168--188},
 publisher = {Springer},
 title = {On Factoring Quantum-Plane Skew Polynomials Over \$\mathbb {Q}(\omega )(t)\$},
 url = {https://doi.org/10.1007/978-3-032-34586-8_9},
 volume = {16844},
 year = {2026}
}

@inproceedings{DBLP:conf/casc/Giesbrecht26,
 author = {Mark Giesbrecht},
 booktitle = {Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings},
 doi = {10.1007/978-3-032-34586-8_8},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Ali Kemal Uncu},
 pages = {148--167},
 publisher = {Springer},
 title = {Computing Smith Forms Modulo p2 of Sparse Matrices Faster Than Matrix Multiplication},
 url = {https://doi.org/10.1007/978-3-032-34586-8_8},
 volume = {16844},
 year = {2026}
}

@inproceedings{DBLP:conf/casc/JingLMM26,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Marc Moreno Maza and
Chirantan Mukherjee},
 booktitle = {Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings},
 doi = {10.1007/978-3-032-34586-8_10},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Ali Kemal Uncu},
 pages = {189--209},
 publisher = {Springer},
 title = {On the Computation of Extended Convex Hulls},
 url = {https://doi.org/10.1007/978-3-032-34586-8_10},
 volume = {16844},
 year = {2026}
}

@inproceedings{DBLP:conf/casc/MarchioroRLOW26,
 author = {Martin Bom Marchioro and
Aske Nord Raahauge and
Marc I. L{\o}venskjold and
Cosmin E. Oancea and
Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings},
 doi = {10.1007/978-3-032-34586-8_14},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Ali Kemal Uncu},
 pages = {275--296},
 publisher = {Springer},
 title = {On GPU Implementation for Multi-precision Integer Division},
 url = {https://doi.org/10.1007/978-3-032-34586-8_14},
 volume = {16844},
 year = {2026}
}

@inproceedings{DBLP:conf/casc/Watt26,
 author = {Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings},
 doi = {10.1007/978-3-032-34586-8_20},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Ali Kemal Uncu},
 pages = {394--415},
 publisher = {Springer},
 title = {Look Before You Leap: Checking In on Type Tag Checking},
 url = {https://doi.org/10.1007/978-3-032-34586-8_20},
 volume = {16844},
 year = {2026}
}

@inproceedings{DBLP:conf/issac/GiesbrechtKLR26,
 author = {Mark Giesbrecht and
Pascal Koiran and
Saiyue Lyu and
Daniel S. Roche},
 booktitle = {Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation, ISSAC 2026, Oldenburg, Germany, July 13-17, 2026},
 doi = {10.1145/3815436.3815465},
 editor = {Christoph Koutschan and
Alin Bostan and
Cl{\'{e}}ment Pernet and
Thi Xuan Vu},
 pages = {191--200},
 publisher = {ACM},
 title = {Fast Decomposition of Sparse Polynomials},
 url = {https://doi.org/10.1145/3815436.3815465},
 year = {2026}
}

@inproceedings{DBLP:conf/issac/NeigerSSV26,
 author = {Vincent Neiger and
Bruno Salvy and
{\'{E}}ric Schost and
Gilles Villard},
 booktitle = {Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation, ISSAC 2026, Oldenburg, Germany, July 13-17, 2026},
 doi = {10.1145/3815436.3815451},
 editor = {Christoph Koutschan and
Alin Bostan and
Cl{\'{e}}ment Pernet and
Thi Xuan Vu},
 pages = {315--324},
 publisher = {ACM},
 title = {Faster Modular Composition Using Two Relation Matrices},
 url = {https://doi.org/10.1145/3815436.3815451},
 year = {2026}
}

@inproceedings{zbMATH8208268,
 author = {Kotsireas, Ilias and Shaska, Tony},
 booktitle = {Im, Mee Seong (ed.) et al., Artificial intelligence in mathematics research. AMS special session on artificial intelligence in mathematics, University of Wisconsin-Milwaukee, Milwaukee, WI, USA, April 20--21, 2024. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 835, 173-193},
 doi = {10.1090/conm/835/16757},
 pages = {173--193},
 title = {A neurosymbolic framework for geometric reduction of binary forms},
 url = {https://doi.org/10.1090/conm/835/16757},
 year = {2026}
}

@misc{zbMATH902947789,
 author = {Taylor Brysiewicz and Fulvio Gesmundo},
 note = {Preprint, arXiv:2602.02668 [math.AG]},
 title = {Marvelous slices of orthogonal matrices},
 url = {https://arxiv.org/abs/2602.02668},
 year = {2026}
}

@misc{zbMATH902968647,
 author = {Taylor Brysiewicz and Juhee Kim},
 note = {Preprint, arXiv:2602.23505 [math.ST]},
 title = {How to recover a permutation group amidst errors},
 url = {https://arxiv.org/abs/2602.23505},
 year = {2026}
}

@misc{zbMATH902971690,
 author = {Jesse Elliott and {\'{E}}ric Schost},
 note = {Preprint, arXiv:2603.02279 [math.AC]},
 title = {Primes of bad reduction for systems of polynomial equations},
 url = {https://arxiv.org/abs/2603.02279},
 year = {2026}
}

@misc{zbMATH902980616,
 author = {Taylor Brysiewicz and Matthew Faust and Wencai Liu},
 note = {Preprint, arXiv:2603.11183 [math.SP]},
 title = {A counterexample to Fermi isospectral rigidity for two dimensional discrete periodic Schr{\"{o}}dinger operators},
 url = {https://arxiv.org/abs/2603.11183},
 year = {2026}
}

@misc{zbMATH903153702,
 author = {Taylor Brysiewicz},
 note = {Preprint, arXiv:2609.01521 [math.AG]},
 title = {144 real circles tangent to three conics},
 url = {https://arxiv.org/abs/2609.01521},
 year = {2026}
}

@misc{zbMATH903154999,
 author = {Taylor Brysiewicz and Rainer Sinn},
 note = {Preprint, arXiv:2609.02818 [math.AG]},
 title = {Local dimension testing via quadratic obstructions},
 url = {https://arxiv.org/abs/2609.02818},
 year = {2026}
}

@misc{zbMATH903174185,
 author = {Taylor Brysiewicz},
 note = {Preprint, arXiv:2609.22003 [math.AG]},
 title = {Alt's Problem},
 url = {https://arxiv.org/abs/2609.22003},
 year = {2026}
}

@misc{zbMATH903175421,
 author = {Julianne Barnhart and Taylor Brysiewicz and Michael Burr and Thomas Yahl},
 note = {Preprint, arXiv:2609.23238 [math.AG]},
 title = {Restricted monodromy containing transpositions},
 url = {https://arxiv.org/abs/2609.23238},
 year = {2026}
}

@misc{zbMATH903219697,
 author = {Ronan Egan and Ilias Kotsireas and Stephen London and P{\'{a}}draig {\'{O}} Cath{\'{a}}in},
 note = {Preprint, arXiv:2610.27175 [math.CO]},
 title = {Recent progress in the construction of Hadamard matrices},
 url = {https://arxiv.org/abs/2610.27175},
 year = {2026}
}

@proceedings{zbMATH8124225,
 doi = {10.1007/978-3-032-08606-8},
 editor = {Simos, Dimitris E. and Pardalos, Panos M. and Kotsireas, Ilias S. and Garn, Bernhard and Pickl, Stefan Wolfgang},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters. Hybrid threats. Selected papers based on the presentations at the seventh international conference, DOD 2024, Vienna, Austria, July 30 -- August 1, 2024},
 url = {https://doi.org/10.1007/978-3-032-08606-8},
 year = {2026}
}

@proceedings{zbMATH8152740,
 editor = {Hoffman, Frederick and Heuss, Sarah and Isaak, Garth and Kotsireas, Ilias and Low, Richard and Wierman, John C.},
 publisher = {Cham: Springer},
 title = {Combinatorics, graph theory and computing. SEICCGTC 2024, Boca Raton, USA, March 4--8 (to appear)},
 year = {2026}
}

@article{DBLP:journals/aaecc/KoelbingGIKS25,
 author = {Marlene Koelbing and
Bernhard Garn and
Enrico Iurlano and
Ilias S. Kotsireas and
Dimitris E. Simos},
 doi = {10.1007/s00200-023-00597-4},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {173--222},
 title = {Algebraic and SAT models for SCA generation},
 url = {https://doi.org/10.1007/s00200-023-00597-4},
 volume = {36},
 year = {2025}
}

@article{DBLP:journals/amai/KotsireasP25,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10472-024-09958-2},
 journal = {Ann. Math. Artif. Intell.},
 pages = {19--20},
 title = {Guest editorial: Revised selected papers from the LION 16 conference},
 url = {https://doi.org/10.1007/s10472-024-09958-2},
 volume = {93},
 year = {2025}
}

@article{DBLP:journals/cam/YangWFR25,
 author = {Wenqiang Yang and
Wenyuan Wu and
Yong Feng and
Greg Reid},
 doi = {10.1007/s40314-024-03006-9},
 journal = {Comput. Appl. Math.},
 pages = {45},
 title = {Structural analysis by generalized embedding method for integro-differential-algebraic equations},
 url = {https://doi.org/10.1007/s40314-024-03006-9},
 volume = {44},
 year = {2025}
}

@article{DBLP:journals/cca/GopalakrishnanNDS25,
 author = {Sriram Gopalakrishnan and
Vincent Neiger and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.1145/3832046.3832056},
 journal = {ACM Commun. Comput. Algebra},
 pages = {110--111},
 title = {Heights of Degeneracy Loci},
 url = {https://doi.org/10.1145/3832046.3832056},
 volume = {59},
 year = {2025}
}

@article{DBLP:journals/cca/JingLMMM25,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Christopher F. S. Maligec and
Marc Moreno Maza and
Chirantan Mukherjee},
 doi = {10.1145/3787957.3787958},
 journal = {ACM Commun. Comput. Algebra},
 pages = {41--46},
 title = {Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action},
 url = {https://doi.org/10.1145/3787957.3787958},
 volume = {59},
 year = {2025}
}

@article{DBLP:journals/cca/Schost25,
 author = {{\'{E}}ric Schost},
 doi = {10.1145/3832046.3832055},
 journal = {ACM Commun. Comput. Algebra},
 pages = {106--109},
 title = {Modular Composition for Decomposable Polynomials},
 url = {https://doi.org/10.1145/3832046.3832055},
 volume = {59},
 year = {2025}
}

@article{DBLP:journals/ccds/LondonK25,
 author = {Stephen London and
Ilias S. Kotsireas},
 doi = {10.1007/s12095-025-00829-z},
 journal = {Cryptogr. Commun.},
 pages = {1601--1610},
 title = {New Turyn-type sequences},
 url = {https://doi.org/10.1007/s12095-025-00829-z},
 volume = {17},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2501-06123,
 author = {Robert M. Corless},
 doi = {10.48550/arXiv.2501.06123},
 journal = {CoRR},
 title = {Numerical methods for Chaotic ODE},
 url = {https://doi.org/10.48550/arXiv.2501.06123},
 volume = {abs/2501.06123},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2501-15404,
 author = {Ilias S. Kotsireas and
Tony Shaska},
 doi = {10.48550/arXiv.2501.15404},
 journal = {CoRR},
 title = {A Neurosymbolic Framework for Geometric Reduction of Binary Forms},
 url = {https://doi.org/10.48550/arXiv.2501.15404},
 volume = {abs/2501.15404},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2501-16457,
 author = {Robert M. Corless and
Arthur C. Norman and
Tom{\'{a}}s Recio and
William J. Turkel and
Stephen M. Watt},
 doi = {10.48550/arXiv.2501.16457},
 journal = {CoRR},
 title = {Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective},
 url = {https://doi.org/10.48550/arXiv.2501.16457},
 volume = {abs/2501.16457},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2504-09790,
 author = {Benjamin Hackl and
Andrew Luo and
Stephen Melczer and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2504.09790},
 journal = {CoRR},
 title = {A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case},
 url = {https://doi.org/10.48550/arXiv.2504.09790},
 volume = {abs/2504.09790},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2505-01103,
 author = {Arthur C. Norman and
Stephen M. Watt},
 doi = {10.48550/arXiv.2505.01103},
 journal = {CoRR},
 title = {Semi-Centennial REDUCE},
 url = {https://doi.org/10.48550/arXiv.2505.01103},
 volume = {abs/2505.01103},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2506-01864,
 author = {Arthur C. Norman and
Stephen M. Watt},
 doi = {10.48550/arXiv.2506.01864},
 journal = {CoRR},
 title = {Software Portability for Computer Algebra},
 url = {https://doi.org/10.48550/arXiv.2506.01864},
 volume = {abs/2506.01864},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2506-02094,
 author = {Christina Perdikoulias and
Chad Vance and
Stephen M. Watt},
 doi = {10.48550/arXiv.2506.02094},
 journal = {CoRR},
 title = {Generative AI for Multiple Choice STEM Assessments},
 url = {https://doi.org/10.48550/arXiv.2506.02094},
 volume = {abs/2506.02094},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2508-20607,
 author = {Jesse Elliott and
Mark Giesbrecht and
Edern Gillot and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2508.20607},
 journal = {CoRR},
 title = {Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set},
 url = {https://doi.org/10.48550/arXiv.2508.20607},
 volume = {abs/2508.20607},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2508-21629,
 author = {Robert M. Corless and
Mark Giesbrecht and
Leili Rafiee Sevyeri and
B. David Saunders},
 doi = {10.48550/arXiv.2508.21629},
 journal = {CoRR},
 title = {On Parametric Linear System Solving},
 url = {https://doi.org/10.48550/arXiv.2508.21629},
 volume = {abs/2508.21629},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2509-10815,
 author = {Robert M. Corless and
Deepak Singh Kalhan and
Stephen M. Watt},
 doi = {10.48550/arXiv.2509.10815},
 journal = {CoRR},
 title = {Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition},
 url = {https://doi.org/10.48550/arXiv.2509.10815},
 volume = {abs/2509.10815},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2509-10828,
 author = {Alena Gusakov and
Peter Nelson and
Stephen M. Watt},
 doi = {10.48550/arXiv.2509.10828},
 journal = {CoRR},
 title = {Structuring Definitions in Mathematical Libraries},
 url = {https://doi.org/10.48550/arXiv.2509.10828},
 volume = {abs/2509.10828},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2510-20117,
 author = {Robert M. Corless and
C. Yal{\c{c}}in Kaya},
 doi = {10.48550/arXiv.2510.20117},
 journal = {CoRR},
 title = {Minimizing Residuals in ODE Integration Using Optimal Control},
 url = {https://doi.org/10.48550/arXiv.2510.20117},
 volume = {abs/2510.20117},
 year = {2025}
}

@article{DBLP:journals/dm/KotsireasKW25,
 author = {Ilias S. Kotsireas and
Christoph Koutschan and
Arne Winterhof},
 doi = {10.1016/j.disc.2025.114501},
 journal = {Discret. Math.},
 pages = {114501},
 title = {Quaternary Legendre pairs II},
 url = {https://doi.org/10.1016/j.disc.2025.114501},
 volume = {348},
 year = {2025}
}

@article{DBLP:journals/jsc/SchostS25,
 author = {{\'{E}}ric Schost and
Catherine St-Pierre},
 doi = {10.1016/j.jsc.2024.102389},
 journal = {J. Symb. Comput.},
 pages = {102389},
 title = {An m-adic algorithm for bivariate Gr{\"{o}}bner bases},
 url = {https://doi.org/10.1016/j.jsc.2024.102389},
 volume = {128},
 year = {2025}
}

@article{DBLP:journals/maple/Corless25a,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v5i3.23343},
 journal = {Maple Trans.},
 title = {Remembering Piers W. Lawrence (1987-2025)},
 url = {https://doi.org/10.5206/mt.v5i3.23343},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/Corless25,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v5i1.22463},
 journal = {Maple Trans.},
 title = {Pure tone modes for an elliptic 5:3 drum},
 url = {https://doi.org/10.5206/mt.v5i1.22463},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/CorlessF25,
 author = {Robert M. Corless and
Nicolas Fillion},
 doi = {10.5206/mt.v5i4.24356},
 journal = {Maple Trans.},
 title = {About the SIAM 2026 Desk Calendar: from Perturbation Methods using Backward Error Analysis},
 url = {https://doi.org/10.5206/mt.v5i4.24356},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/CorlessH25a,
 author = {Robert M. Corless and
Michelle Hatzel},
 doi = {10.5206/mt.v5i4.24335},
 journal = {Maple Trans.},
 title = {Error in Homotopy Methods for Random Roots},
 url = {https://doi.org/10.5206/mt.v5i4.24335},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/CorlessH25,
 author = {Robert M. Corless and
Michelle Hatzel},
 doi = {10.5206/mt.v5i2.22442},
 journal = {Maple Trans.},
 title = {Poincar{\'{e}} Sections by Inverse Cubic Hermite Interpolation},
 url = {https://doi.org/10.5206/mt.v5i2.22442},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/CorlessJL25,
 author = {Robert M. Corless and
David J. Jeffrey and
Qingze Li},
 doi = {10.5206/mt.v5i3.23166},
 journal = {Maple Trans.},
 title = {Bidiagonal factoring of Stirling matrices},
 url = {https://doi.org/10.5206/mt.v5i3.23166},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/Kotsireas25,
 author = {Ilias S. Kotsireas},
 doi = {10.5206/mt.v5i1.21835},
 journal = {Maple Trans.},
 title = {Meta-programming with Maple and C},
 url = {https://doi.org/10.5206/mt.v5i1.21835},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/LeiMMJW25,
 author = {Yuzhuo Lei and
Marc Moreno Maza and
Christopher F. S. Maligec and
Rui-Juan Jing and
Linxiao Wang},
 doi = {10.5206/mt.v5i2.22392},
 journal = {Maple Trans.},
 title = {Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple},
 url = {https://doi.org/10.5206/mt.v5i2.22392},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/TrochezCMPRB25,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Matt Calder and
Marc Moreno Maza and
Erik Postma and
Manuel Romero and
Alexander Brandt},
 doi = {10.5206/mt.v5i2.22367},
 journal = {Maple Trans.},
 title = {The Multivariate Power Series Package in Maple 2024},
 url = {https://doi.org/10.5206/mt.v5i2.22367},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/moc/LumsdenKB25,
 author = {Tyler Lumsden and
Ilias S. Kotsireas and
Curtis Bright},
 doi = {10.1090/mcom/4096},
 journal = {Math. Comput.},
 pages = {1517--1539},
 title = {New results on periodic Golay pairs},
 url = {https://doi.org/10.1090/mcom/4096},
 volume = {95},
 year = {2025}
}

@article{DBLP:journals/siamrev/ButcherC25,
 author = {John C. Butcher and
Robert M. Corless},
 doi = {10.1137/24m1678684},
 journal = {SIAM Rev.},
 pages = {197--204},
 title = {Featured Review: Numerical Integration of Differential Equations},
 url = {https://doi.org/10.1137/24m1678684},
 volume = {67},
 year = {2025}
}

@article{zbMATH8057084,
 author = {Perera, Sirani M. and Kotsireas, Ilias S.},
 doi = {10.1016/j.laa.2025.01.010},
 journal = {Linear Algebra and its Applications},
 pages = {149--171},
 title = {A low-complexity algorithm to search for Legendre pairs},
 url = {https://doi.org/10.1016/j.laa.2025.01.010},
 volume = {721},
 year = {2025}
}

@article{zbMATH8077442,
 author = {Asante, Seth K. and Brysiewicz, Taylor and Hatzel, Michelle},
 doi = {10.1007/s44426-025-00006-y},
 journal = {Acta Universitatis Sapientiae. Mathematica},
 title = {The algebraic matroid of the Heron variety},
 url = {https://doi.org/10.1007/s44426-025-00006-y},
 volume = {17},
 year = {2025}
}

@article{zbMATH8156208,
 author = {Brysiewicz, Taylor and Maraj, Aida},
 doi = {10.2140/astat.2025.16.217},
 journal = {Algebraic Statistics},
 pages = {217--242},
 title = {Lawrence lifts, matroids, and maximum likelihood degrees},
 url = {https://doi.org/10.2140/astat.2025.16.217},
 volume = {16},
 year = {2025}
}

@article{zbMATH8267692,
 author = {Hackl, Benjamin and Luo, Andrew and Melczer, Stephen and Schost, {\'{E}}ric},
 journal = {S{\'{e}}minaire Lotharingien de Combinatoire},
 title = {A SageMath package for analytic combinatorics in several variables: beyond the smooth case},
 url = {https://arxiv.org/abs/2504.09790},
 volume = {93B},
 year = {2025}
}

@inproceedings{DBLP:conf/casc/CorlessJL25,
 author = {Robert M. Corless and
David J. Jeffrey and
Qingze Li},
 booktitle = {Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings},
 doi = {10.1007/978-3-032-09645-6_4},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {67--78},
 publisher = {Springer},
 title = {Computation of Stirling Numbers for Complex Arguments},
 url = {https://doi.org/10.1007/978-3-032-09645-6_4},
 volume = {16235},
 year = {2025}
}

@inproceedings{DBLP:conf/casc/NormanW25,
 author = {Arthur C. Norman and
Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings},
 doi = {10.1007/978-3-032-09645-6_16},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {286--311},
 publisher = {Springer},
 title = {Software Portability for Computer Algebra},
 url = {https://doi.org/10.1007/978-3-032-09645-6_16},
 volume = {16235},
 year = {2025}
}

@inproceedings{DBLP:conf/casc/SolisReyesMB25,
 author = {Greg Alejandro Solis-Reyes and
Marc Moreno Maza and
Alexander Brandt},
 booktitle = {Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings},
 doi = {10.1007/978-3-032-09645-6_20},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {380--400},
 publisher = {Springer},
 title = {Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equations},
 url = {https://doi.org/10.1007/978-3-032-09645-6_20},
 volume = {16235},
 year = {2025}
}

@inproceedings{DBLP:conf/issac/CorlessNRTW25,
 author = {Robert M. Corless and
Arthur C. Norman and
Tom{\'{a}}s Recio and
William J. Turkel and
Stephen M. Watt},
 booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025},
 doi = {10.1145/3747199.3747556},
 editor = {Carlos D'Andrea and
Sonia P{\'{e}}rez-D{\'{i}}az and
Santiago Laplagne},
 pages = {140--149},
 publisher = {ACM},
 title = {Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective},
 url = {https://doi.org/10.1145/3747199.3747556},
 year = {2025}
}

@inproceedings{DBLP:conf/issac/JingLMMM25,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Christopher Frank Stephan Maligec and
Marc Moreno Maza and
Chirantan Mukherjee},
 booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025},
 doi = {10.1145/3747199.3747580},
 editor = {Carlos D'Andrea and
Sonia P{\'{e}}rez-D{\'{i}}az and
Santiago Laplagne},
 pages = {353--362},
 publisher = {ACM},
 title = {Quantifier Elimination Over the Integers},
 url = {https://doi.org/10.1145/3747199.3747580},
 year = {2025}
}

@inproceedings{DBLP:conf/issac/KotsireasGG25,
 author = {Ilias S. Kotsireas and
Ana-Isabel G{\'{o}}mez and
Domingo G{\'{o}}mez-P{\'{e}}rez},
 booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025},
 doi = {10.1145/3747199.3747549},
 editor = {Carlos D'Andrea and
Sonia P{\'{e}}rez-D{\'{i}}az and
Santiago Laplagne},
 pages = {79--86},
 publisher = {ACM},
 title = {On properties of Legendre pairs under compression},
 url = {https://doi.org/10.1145/3747199.3747549},
 year = {2025}
}

@inproceedings{DBLP:conf/issac/SchostE25,
 author = {{\'{E}}ric Schost and
Jesse Elliott},
 booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025},
 doi = {10.1145/3747199.3747579},
 editor = {Carlos D'Andrea and
Sonia P{\'{e}}rez-D{\'{i}}az and
Santiago Laplagne},
 pages = {345--352},
 publisher = {ACM},
 title = {Some Applications of Chinese Remainder Theorem Codes with Error-Correction},
 url = {https://doi.org/10.1145/3747199.3747579},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/CorlessJL25,
 author = {Robert M. Corless and
David J. Jeffrey and
Qingze Li},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00016},
 pages = {60--63},
 publisher = {IEEE},
 title = {Factorial Powers},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00016},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/CorlessKW25,
 author = {Robert M. Corless and
Deepak Singh Kalhan and
Stephen M. Watt},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00010},
 pages = {13--20},
 publisher = {IEEE},
 title = {Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00010},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/GusakovNW25,
 author = {Alena Gusakov and
Peter Nelson and
Stephen M. Watt},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00022},
 pages = {98--105},
 publisher = {IEEE},
 title = {Structuring Definitions in Mathematical Libraries},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00022},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/NormanW25,
 author = {Arthur C. Norman and
Stephen M. Watt},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00013},
 pages = {37--44},
 publisher = {IEEE},
 title = {Semi-Centennial REDUCE},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00013},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/OlagunjuMJ25,
 author = {Aishat Olagunju and
Marc Moreno Maza and
David J. Jeffrey},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00014},
 pages = {45--52},
 publisher = {IEEE},
 title = {Fraction-Free Comprehensive LU Decomposition and Variants},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00014},
 year = {2025}
}

@misc{zbMATH902827046,
 author = {Paul Breiding and Taylor Brysiewicz and Hannah Friedman},
 note = {Preprint, arXiv:2509.08084 [math.AG]},
 title = {Homotopy Iterators},
 url = {https://arxiv.org/abs/2509.08084},
 year = {2025}
}

@misc{zbMATH902861528,
 author = {Neil J. Calkin and Robert M. Corless and Laureano Gonzalez-Vega and J. Rafael Sendra and Juana Sendra},
 note = {Preprint, arXiv:2510.15919 [math.SP]},
 title = {On the maximal spread of symmetric Bohemian matrices},
 url = {https://arxiv.org/abs/2510.15919},
 year = {2025}
}

@proceedings{DBLP:conf/dis2/2024,
 booktitle = {DIS},
 doi = {10.1007/978-3-031-81010-7},
 editor = {Hossein Moosaei and
Ilias S. Kotsireas and
Panos M. Pardalos},
 publisher = {Springer},
 title = {Dynamics of Information Systems - 7th International Conference, DIS 2024, Kalamata, Greece, June 2-7, 2024, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-031-81010-7},
 volume = {14661},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2402-03111,
 author = {R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2402.03111},
 journal = {CoRR},
 title = {Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity},
 url = {https://doi.org/10.48550/arXiv.2402.03111},
 volume = {abs/2402.03111},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2405-14642,
 author = {Cosmin E. Oancea and
Stephen M. Watt},
 doi = {10.48550/arXiv.2405.14642},
 journal = {CoRR},
 title = {GPU Implementations for Midsize Integer Addition and Multiplication},
 url = {https://doi.org/10.48550/arXiv.2405.14642},
 volume = {abs/2405.14642},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2406-09085,
 author = {Arthur C. Norman and
Stephen M. Watt},
 doi = {10.48550/arXiv.2406.09085},
 journal = {CoRR},
 title = {A Symbolic Computing Perspective on Software Systems},
 url = {https://doi.org/10.48550/arXiv.2406.09085},
 volume = {abs/2406.09085},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2406-10274,
 author = {Patrick D. F. Ion and
Stephen M. Watt},
 doi = {10.48550/arXiv.2406.10274},
 journal = {CoRR},
 title = {Using General Large Language Models to Classify Mathematical Documents},
 url = {https://doi.org/10.48550/arXiv.2406.10274},
 volume = {abs/2406.10274},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2407-03976,
 author = {Stephen M. Watt},
 doi = {10.48550/arXiv.2407.03976},
 journal = {CoRR},
 title = {Algorithms for Recursive Block Matrices},
 url = {https://doi.org/10.48550/arXiv.2407.03976},
 volume = {abs/2407.03976},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2407-04133,
 author = {Arthur C. Norman and
Stephen M. Watt},
 doi = {10.48550/arXiv.2407.04133},
 journal = {CoRR},
 title = {Computing Clipped Products},
 url = {https://doi.org/10.48550/arXiv.2407.04133},
 volume = {abs/2407.04133},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2408-02112,
 author = {David J. Jeffrey and
Stephen M. Watt},
 doi = {10.48550/arXiv.2408.02112},
 journal = {CoRR},
 title = {An Abstraction-Preserving Block Matrix Implementation in Maple},
 url = {https://doi.org/10.48550/arXiv.2408.02112},
 volume = {abs/2408.02112},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2408-02135,
 author = {Deepak Singh Kalhan and
Stephen M. Watt},
 doi = {10.48550/arXiv.2408.02135},
 journal = {CoRR},
 title = {A First Look at Chebyshev-Sobolev Series for Digital Ink},
 url = {https://doi.org/10.48550/arXiv.2408.02135},
 volume = {abs/2408.02135},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2408-15611,
 author = {Tyler Lumsden and
Ilias S. Kotsireas and
Curtis Bright},
 doi = {10.48550/arXiv.2408.15611},
 journal = {CoRR},
 title = {New Results on Periodic Golay Pairs},
 url = {https://doi.org/10.48550/arXiv.2408.15611},
 volume = {abs/2408.15611},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2410-12110,
 author = {Siyuan Deng and
Michelle Hatzel and
Gregory J. Reid and
Wenqiang Yang and
Wenyuan Wu},
 doi = {10.48550/arXiv.2410.12110},
 journal = {CoRR},
 title = {Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems},
 url = {https://doi.org/10.48550/arXiv.2410.12110},
 volume = {abs/2410.12110},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2410-20608,
 author = {Siyuan Deng and
Gregory J. Reid},
 doi = {10.48550/arXiv.2410.20608},
 journal = {CoRR},
 title = {Contributions to the Algorithmic Foundations of Approximate Lie Symmetry Algebras of Differential Equations},
 url = {https://doi.org/10.48550/arXiv.2410.20608},
 volume = {abs/2410.20608},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2412-00861,
 author = {Robert M. Corless and
Nicolas Fillion},
 doi = {10.48550/arXiv.2412.00861},
 journal = {CoRR},
 title = {Structured Backward Error for the WKB method},
 url = {https://doi.org/10.48550/arXiv.2412.00861},
 volume = {abs/2412.00861},
 year = {2024}
}

@article{DBLP:journals/distribledger/LeonardosKAPK24,
 author = {Stefanos Leonardos and
William J. Knottenbelt and
Elise Alfieri and
Panos M. Pardalos and
Ilias S. Kotsireas},
 doi = {10.1145/3649882},
 journal = {Distributed Ledger Technol. Res. Pract.},
 pages = {1:1--1:2},
 title = {Introduction to the Special Issue on Mathematical Research for Blockchain Economy},
 url = {https://doi.org/10.1145/3649882},
 volume = {3},
 year = {2024}
}

@article{DBLP:journals/dm/BenAvDGKS24,
 author = {Radel Ben-Av and
Giora Dula and
Assaf Goldberger and
Ilias S. Kotsireas and
Yossi Strassler},
 doi = {10.1016/j.disc.2024.113908},
 journal = {Discret. Math.},
 pages = {113908},
 title = {New weighing matrices via partitioned group actions},
 url = {https://doi.org/10.1016/j.disc.2024.113908},
 volume = {347},
 year = {2024}
}

@article{DBLP:journals/jacm/NeigerSSV24,
 author = {Vincent Neiger and
Bruno Salvy and
{\'{E}}ric Schost and
Gilles Villard},
 doi = {10.1145/3638349},
 journal = {J. ACM},
 pages = {11:1--11:79},
 title = {Faster Modular Composition},
 url = {https://doi.org/10.1145/3638349},
 volume = {71},
 year = {2024}
}

@article{DBLP:journals/jgo/KotsireasPZ24,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Julius Zilinskas},
 doi = {10.1007/s10898-024-01375-3},
 journal = {J. Glob. Optim.},
 pages = {531--532},
 title = {Preface},
 url = {https://doi.org/10.1007/s10898-024-01375-3},
 volume = {88},
 year = {2024}
}

@article{DBLP:journals/jgo/ParsopoulosTKP24,
 author = {Konstantinos E. Parsopoulos and
Vasileios A. Tatsis and
Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10898-022-01162-y},
 journal = {J. Glob. Optim.},
 pages = {685--705},
 title = {Parallel algorithm portfolios with adaptive resource allocation strategy},
 url = {https://doi.org/10.1007/s10898-022-01162-y},
 volume = {88},
 year = {2024}
}

@article{DBLP:journals/jsc/KotsireasM024,
 author = {Ilias S. Kotsireas and
Toufik Mansour and
G{\"{o}}khan Yildirim},
 doi = {10.1016/j.jsc.2023.102231},
 journal = {J. Symb. Comput.},
 pages = {102231},
 title = {An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences},
 url = {https://doi.org/10.1016/j.jsc.2023.102231},
 volume = {120},
 year = {2024}
}

@article{DBLP:journals/jsc/PrebetDS24,
 author = {R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2023.102234},
 journal = {J. Symb. Comput.},
 pages = {102234},
 title = {Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results},
 url = {https://doi.org/10.1016/j.jsc.2023.102234},
 volume = {120},
 year = {2024}
}

@article{DBLP:journals/maple/Corless24,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v4i2.19001},
 journal = {Maple Trans.},
 title = {Barycentric Hermite Interpolation},
 url = {https://doi.org/10.5206/mt.v4i2.19001},
 volume = {4},
 year = {2024}
}

@article{DBLP:journals/maple/CorlessH24,
 author = {Robert M. Corless and
Michelle Hatzel},
 doi = {10.5206/mt.v4i4.22213},
 journal = {Maple Trans.},
 title = {Exploring Cover Designs for an Upcoming Book},
 url = {https://doi.org/10.5206/mt.v4i4.22213},
 volume = {4},
 year = {2024}
}

@article{DBLP:journals/maple/CorlessHP24,
 author = {Robert M. Corless and
Michelle Hatzel and
Erik Postma},
 doi = {10.5206/mt.v4i3.21093},
 journal = {Maple Trans.},
 title = {The Extended Watson - Wong - Wyman Lemma in Maple},
 url = {https://doi.org/10.5206/mt.v4i3.21093},
 volume = {4},
 year = {2024}
}

@article{DBLP:journals/maple/Jeffrey24,
 author = {David J. Jeffrey},
 doi = {10.5206/mt.v4i3.19795},
 journal = {Maple Trans.},
 title = {Puzzles},
 url = {https://doi.org/10.5206/mt.v4i3.19795},
 volume = {4},
 year = {2024}
}

@article{DBLP:journals/maple/JeffreyQV24,
 author = {David J. Jeffrey and
Victoria Quance and
Micaela Vancea},
 doi = {10.5206/mt.v4i3.17708},
 journal = {Maple Trans.},
 title = {Getting the third degree},
 url = {https://doi.org/10.5206/mt.v4i3.17708},
 volume = {4},
 year = {2024}
}

@article{DBLP:journals/mics/MiddekeJO24,
 author = {Johannes Middeke and
David J. Jeffrey and
Aishat Olagunju},
 doi = {10.1007/s11786-024-00590-1},
 journal = {Math. Comput. Sci.},
 pages = {16},
 title = {Applications of Rational Orthogonal Matrices},
 url = {https://doi.org/10.1007/s11786-024-00590-1},
 volume = {18},
 year = {2024}
}

@article{DBLP:journals/na/BrysiewiczHH24,
 author = {Taylor Brysiewicz and
Jonathan D. Hauenstein and
Caroline Hills},
 doi = {10.1007/s11075-023-01668-w},
 journal = {Numer. Algorithms},
 pages = {845--877},
 title = {Max-convolution through numerics and tropical geometry},
 url = {https://doi.org/10.1007/s11075-023-01668-w},
 volume = {96},
 year = {2024}
}

@article{DBLP:journals/na/Corless24,
 author = {Robert M. Corless},
 doi = {10.1007/s11075-023-01738-z},
 journal = {Numer. Algorithms},
 pages = {1109--1141},
 title = {An Hermite-Obreshkov method for 2nd-order linear initial-value problems for ODE},
 url = {https://doi.org/10.1007/s11075-023-01738-z},
 volume = {96},
 year = {2024}
}

@article{zbMATH7824529,
 author = {Chen, Shaoshi and Feng, Ruyong and Li, Ziming and Singer, Michael F. and Watt, Stephen M.},
 doi = {10.1007/s00029-024-00926-6},
 journal = {Selecta Mathematica. New Series},
 title = {Telescopers for differential forms with one parameter},
 url = {https://doi.org/10.1007/s00029-024-00926-6},
 volume = {30},
 year = {2024}
}

@article{zbMATH7868231,
 author = {Schost, {\'{E}}ric and St-Pierre, Catherine},
 doi = {10.1016/j.jalgebra.2024.04.018},
 journal = {Journal of Algebra},
 pages = {325--377},
 title = {Newton iteration for lexicographic Gr{\"{o}}bner bases in two variables},
 url = {https://doi.org/10.1016/j.jalgebra.2024.04.018},
 volume = {653},
 year = {2024}
}

@article{zbMATH7912282,
 author = {Asante, Seth K. and Brysiewicz, Taylor},
 doi = {10.1088/1361-6382/ad6dcc},
 journal = {Classical and Quantum Gravity},
 title = {Solving the area-length systems in discrete gravity using homotopy continuation},
 url = {https://doi.org/10.1088/1361-6382/ad6dcc},
 volume = {41},
 year = {2024}
}

@article{zbMATH7980963,
 author = {Brysiewicz, Taylor and Gesmundo, Fulvio and Steiner, Avi},
 doi = {10.1007/s13366-024-00776-5},
 journal = {Beitr{\"{a}}ge zur Algebra und Geometrie},
 pages = {923--972},
 title = {Quatroids and rational plane cubics},
 url = {https://doi.org/10.1007/s13366-024-00776-5},
 volume = {65},
 year = {2024}
}

@article{zbMATH8220642,
 author = {Jeffrey, David J. and Liang, Songxin},
 doi = {10.17512/jamcm.2024.2.03},
 journal = {Journal of Applied Mathematics and Computational Mechanics},
 pages = {31--40},
 title = {Series solutions to higher-order parametric boundary value problems},
 url = {https://doi.org/10.17512/jamcm.2024.2.03},
 volume = {23},
 year = {2024}
}

@inproceedings{DBLP:conf/casc/JingLMM24,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Christopher F. S. Maligec and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings},
 doi = {10.1007/978-3-031-69070-9_9},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {140--160},
 publisher = {Springer},
 title = {Counting the Integer Points of Parametric Polytopes: A Maple Implementation},
 url = {https://doi.org/10.1007/978-3-031-69070-9_9},
 volume = {14938},
 year = {2024}
}

@inproceedings{DBLP:conf/casc/NormanW24,
 author = {Arthur C. Norman and
Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing - 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings},
 doi = {10.1007/978-3-031-69070-9_16},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {273--291},
 publisher = {Springer},
 title = {Computing Clipped Products},
 url = {https://doi.org/10.1007/978-3-031-69070-9_16},
 volume = {14938},
 year = {2024}
}

@inproceedings{DBLP:conf/icms/Brysiewicz24,
 author = {Taylor Brysiewicz},
 booktitle = {Mathematical Software - ICMS 2024 - 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings},
 doi = {10.1007/978-3-031-64529-7_28},
 editor = {Kevin Buzzard and
Alicia Dickenstein and
Bettina Eick and
Anton Leykin and
Yue Ren},
 pages = {265--274},
 publisher = {Springer},
 title = {Monodromy Coordinates},
 url = {https://doi.org/10.1007/978-3-031-64529-7_28},
 volume = {14749},
 year = {2024}
}

@inproceedings{DBLP:conf/issac/JingMXY24,
 author = {Rui-Juan Jing and
Marc Moreno Maza and
Yan-Feng Xie and
Chun-Ming Yuan},
 booktitle = {Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024},
 doi = {10.1145/3666000.3669708},
 editor = {Jonathan D. Hauenstein and
Wen-shin Lee and
Shaoshi Chen},
 pages = {351--360},
 publisher = {ACM},
 title = {Efficient detection of redundancies in systems of linear inequalities✱},
 url = {https://doi.org/10.1145/3666000.3669708},
 year = {2024}
}

@inproceedings{DBLP:conf/marble/DannK24,
 author = {Maxwell Dann and
Ilias S. Kotsireas},
 booktitle = {Mathematical Research for Blockchain Economy: 5th International Conference, MARBLE 2024, Malaga, Spain, July 9-11, 2024},
 doi = {10.1007/978-3-031-68974-1_16},
 editor = {Stefanos Leonardos and
Elise Alfieri and
William J. Knottenbelt and
Panos M. Pardalos},
 pages = {327--335},
 publisher = {Springer},
 title = {Profiting Off the High Correlation of Cryptocurrency Pairs Using Statistical Arbitrage},
 url = {https://doi.org/10.1007/978-3-031-68974-1_16},
 year = {2024}
}

@inproceedings{DBLP:conf/mkm/IonW24,
 author = {Patrick D. F. Ion and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montr{\'{e}}al, QC, Canada, August 5-9, 2024, Proceedings},
 doi = {10.1007/978-3-031-66997-2_3},
 editor = {Andrea Kohlhase and
Laura Kov{\'{a}}cs},
 pages = {42--57},
 publisher = {Springer},
 title = {Using General Large Language Models to Classify Mathematical Documents},
 url = {https://doi.org/10.1007/978-3-031-66997-2_3},
 volume = {14960},
 year = {2024}
}

@inproceedings{DBLP:conf/sycss/ElliottS24,
 author = {Jesse Elliott and
{\'{E}}ric Schost},
 booktitle = {Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024.},
 editor = {Katsusuke Nabeshima and
Stephen M. Watt},
 pages = {13--18},
 publisher = {CEUR-WS.org},
 title = {Some applications of Chinese Remainder Theorem codes with error-correction},
 url = {https://ceur-ws.org/Vol-3754/paper03.pdf},
 volume = {3754},
 year = {2024}
}

@inproceedings{DBLP:conf/sycss/Giesbrecht24,
 author = {Mark Giesbrecht},
 booktitle = {Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024.},
 editor = {Katsusuke Nabeshima and
Stephen M. Watt},
 pages = {19--20},
 publisher = {CEUR-WS.org},
 title = {Functional decomposition of sparse polynomials (short talk abstract)},
 url = {https://ceur-ws.org/Vol-3754/paper04.pdf},
 volume = {3754},
 year = {2024}
}

@inproceedings{DBLP:conf/sycss/Jeffrey24,
 author = {David J. Jeffrey},
 booktitle = {Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings},
 doi = {10.1007/978-3-031-69042-6_7},
 editor = {Stephen M. Watt and
Tetsuo Ida},
 pages = {114--128},
 publisher = {Springer},
 title = {Riemann Surfaces, Branch Cuts and Charisma},
 url = {https://doi.org/10.1007/978-3-031-69042-6_7},
 volume = {14991},
 year = {2024}
}

@inproceedings{DBLP:conf/sycss/NormanJ24,
 author = {Arthur C. Norman and
David J. Jeffrey},
 booktitle = {Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024.},
 editor = {Katsusuke Nabeshima and
Stephen M. Watt},
 pages = {74--83},
 publisher = {CEUR-WS.org},
 title = {Software for indefinite integration},
 url = {https://ceur-ws.org/Vol-3754/paper12.pdf},
 volume = {3754},
 year = {2024}
}

@inproceedings{DBLP:conf/synasc/MiddekeJ24,
 author = {Johannes Middeke and
David J. Jeffrey},
 booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024},
 doi = {10.1109/SYNASC65383.2024.00018},
 pages = {34--40},
 publisher = {IEEE},
 title = {Some Family Relations for Rational Orthogonal Matrices},
 url = {https://doi.org/10.1109/SYNASC65383.2024.00018},
 year = {2024}
}

@inproceedings{DBLP:conf/synasc/OlagunjuMJ24,
 author = {Aishat Olagunju and
Marc Moreno Maza and
David J. Jeffrey},
 booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024},
 doi = {10.1109/SYNASC65383.2024.00016},
 pages = {17--24},
 publisher = {IEEE},
 title = {Comprehensive LU Decomposition and True Path},
 url = {https://doi.org/10.1109/SYNASC65383.2024.00016},
 year = {2024}
}

@inproceedings{DBLP:conf/synasc/WattJ24,
 author = {Stephen M. Watt and
David J. Jeffrey},
 booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024},
 doi = {10.1109/SYNASC65383.2024.00021},
 pages = {49--52},
 publisher = {IEEE},
 title = {An Abstraction-Preserving Block Matrix Implementation in Maple},
 url = {https://doi.org/10.1109/SYNASC65383.2024.00021},
 year = {2024}
}

@inproceedings{zbMATH7921203,
 author = {Kotsireas, Ilias S. and Winterhof, Arne},
 booktitle = {Colbourn, Charles J. (ed.) et al., New advances in designs, codes and cryptography, Stinson66, Toronto, Canada, June 13--17, 2022. Cham: Springer. Fields Inst. Commun. 86, 289-304},
 doi = {10.1007/978-3-031-48679-1_15},
 pages = {289--304},
 title = {Quaternary Legendre pairs},
 url = {https://doi.org/10.1007/978-3-031-48679-1_15},
 year = {2024}
}

@proceedings{DBLP:conf/sycss/2024,
 booktitle = {SCSS},
 doi = {10.1007/978-3-031-69042-6},
 editor = {Stephen M. Watt and
Tetsuo Ida},
 publisher = {Springer},
 title = {Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings},
 url = {https://doi.org/10.1007/978-3-031-69042-6},
 volume = {14991},
 year = {2024}
}

@proceedings{DBLP:conf/sycss/2024wip,
 booktitle = {SCSS (Work in Progress)},
 editor = {Katsusuke Nabeshima and
Stephen M. Watt},
 publisher = {CEUR-WS.org},
 title = {Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024},
 url = {https://ceur-ws.org/Vol-3754},
 volume = {3754},
 year = {2024}
}

@proceedings{zbMATH7951985,
 doi = {10.1007/978-3-031-74006-0},
 editor = {Kotsireas, Ilias S. and Nagurney, Anna and Pardalos, Panos M. and Pickl, Stefan Wolfgang and Vogiatzis, Chrysafis},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters. From natural phenomena to human activity. Based on the sixth international conference on dynamics of disasters, Piraeus, Greece, July 3--6, 2023},
 url = {https://doi.org/10.1007/978-3-031-74006-0},
 year = {2024}
}

@article{DBLP:journals/amai/KotsireasPS23a,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Dimitris E. Simos},
 doi = {10.1007/s10472-023-09855-0},
 journal = {Ann. Math. Artif. Intell.},
 pages = {901},
 title = {Correction to: Preface: Selected revised papers from the LION 15 conference},
 url = {https://doi.org/10.1007/s10472-023-09855-0},
 volume = {91},
 year = {2023}
}

@article{DBLP:journals/amai/KotsireasPS23,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Dimitris E. Simos},
 doi = {10.1007/s10472-023-09838-1},
 journal = {Ann. Math. Artif. Intell.},
 pages = {107--108},
 title = {Preface: Selected revised papers from the LION 15 conference},
 url = {https://doi.org/10.1007/s10472-023-09838-1},
 volume = {91},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2301-06986,
 author = {Wenqiang Yang and
Wenyuan Wu and
Greg Reid},
 doi = {10.48550/arXiv.2301.06986},
 journal = {CoRR},
 title = {General Index Reduction by Embedding for Integro-differential-algebraic Equations},
 url = {https://doi.org/10.48550/arXiv.2301.06986},
 volume = {abs/2301.06986},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2302-03766,
 author = {{\'{E}}ric Schost and
Catherine St-Pierre},
 doi = {10.48550/arXiv.2302.03766},
 journal = {CoRR},
 title = {Newton iteration for lexicographic Gr{\"{o}}bner bases in two variables},
 url = {https://doi.org/10.48550/arXiv.2302.03766},
 volume = {abs/2302.03766},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2302-08611,
 author = {Yossef Musleh and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2302.08611},
 journal = {CoRR},
 title = {Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology},
 url = {https://doi.org/10.48550/arXiv.2302.08611},
 volume = {abs/2302.08611},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2304-01356,
 author = {Chris Brimacombe and
Robert M. Corless and
Mair Zamir},
 doi = {10.48550/arXiv.2304.01356},
 journal = {CoRR},
 title = {Elliptic cross sections in blood flow regulation},
 url = {https://doi.org/10.48550/arXiv.2304.01356},
 volume = {abs/2304.01356},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2304-01753,
 author = {Stephen M. Watt},
 doi = {10.48550/arXiv.2304.01753},
 journal = {CoRR},
 title = {Efficient Quotients Using Exact Arithmetic},
 url = {https://doi.org/10.48550/arXiv.2304.01753},
 volume = {abs/2304.01753},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2305-11076,
 author = {Robert M. Corless},
 doi = {10.48550/arXiv.2305.11076},
 journal = {CoRR},
 title = {Blendstrings: an environment for computing with smooth functions},
 url = {https://doi.org/10.48550/arXiv.2305.11076},
 volume = {abs/2305.11076},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2305-17877,
 author = {Stephen M. Watt},
 doi = {10.48550/arXiv.2305.17877},
 journal = {CoRR},
 title = {Efficient Quotients of Non-Commutative Polynomials},
 url = {https://doi.org/10.48550/arXiv.2305.17877},
 volume = {abs/2305.17877},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2306-03855,
 author = {George Labahn and
Cordian Riener and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
 doi = {10.48550/arXiv.2306.03855},
 journal = {CoRR},
 title = {Faster real root decision algorithm for symmetric polynomials},
 url = {https://doi.org/10.48550/arXiv.2306.03855},
 volume = {abs/2306.03855},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2306-11506,
 author = {Taylor Brysiewicz and
Jonathan D. Hauenstein and
Caroline Hills},
 doi = {10.48550/arXiv.2306.11506},
 journal = {CoRR},
 title = {Max-convolution through numerics and tropical geometry},
 url = {https://doi.org/10.48550/arXiv.2306.11506},
 volume = {abs/2306.11506},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2311-16571,
 author = {Mike Ghesquiere and
Stephen M. Watt},
 doi = {10.48550/arXiv.2311.16571},
 journal = {CoRR},
 title = {Hybrid Intervals and Symbolic Block Matrices},
 url = {https://doi.org/10.48550/arXiv.2311.16571},
 volume = {abs/2311.16571},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2311-16583,
 author = {David J. Jeffrey and
Stephen M. Watt},
 doi = {10.48550/arXiv.2311.16583},
 journal = {CoRR},
 title = {The Inverse of the Complex Gamma Function},
 url = {https://doi.org/10.48550/arXiv.2311.16583},
 volume = {abs/2311.16583},
 year = {2023}
}

@article{DBLP:journals/corr/abs-2312-14116,
 author = {{\'{E}}ric Schost and
Catherine St-Pierre},
 doi = {10.48550/arXiv.2312.14116},
 journal = {CoRR},
 title = {p-adic algorithm for bivariate Gr{\"{o}}bner bases},
 url = {https://doi.org/10.48550/arXiv.2312.14116},
 volume = {abs/2312.14116},
 year = {2023}
}

@article{DBLP:journals/dcg/BrysiewiczEK23,
 author = {Taylor Brysiewicz and
Holger Eble and
Lukas K{\"{u}}hne},
 doi = {10.1007/s00454-023-00557-2},
 journal = {Discret. Comput. Geom.},
 pages = {1356--1377},
 title = {Computing Characteristic Polynomials of Hyperplane Arrangements with Symmetries},
 url = {https://doi.org/10.1007/s00454-023-00557-2},
 volume = {70},
 year = {2023}
}

@article{DBLP:journals/jsc/AsadiBMMX23,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1016/j.jsc.2022.08.015},
 journal = {J. Symb. Comput.},
 pages = {371--406},
 title = {Parallelization of triangular decompositions: Techniques and implementation},
 url = {https://doi.org/10.1016/j.jsc.2022.08.015},
 volume = {115},
 year = {2023}
}

@article{DBLP:journals/jsc/BirmpilisLS23,
 author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
 doi = {10.1016/j.jsc.2022.09.002},
 journal = {J. Symb. Comput.},
 pages = {146--182},
 title = {A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix},
 url = {https://doi.org/10.1016/j.jsc.2022.09.002},
 volume = {116},
 year = {2023}
}

@article{DBLP:journals/jsc/ChyzakL23,
 author = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
 doi = {10.1016/j.jsc.2022.10.005},
 journal = {J. Symb. Comput.},
 pages = {425--426},
 title = {Special issue on Symbolic and Algebraic Computation: ISSAC 2021},
 url = {https://doi.org/10.1016/j.jsc.2022.10.005},
 volume = {116},
 year = {2023}
}

@article{DBLP:journals/jsc/ElliottGS23,
 author = {Jesse Elliott and
Mark Giesbrecht and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2022.08.010},
 journal = {J. Symb. Comput.},
 pages = {72--97},
 title = {Bit complexity for computing one point in each connected component of a smooth real algebraic set},
 url = {https://doi.org/10.1016/j.jsc.2022.08.010},
 volume = {116},
 year = {2023}
}

@article{DBLP:journals/jsc/FaugereLDSV23,
 author = {Jean-Charles Faug{\`{e}}re and
George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
 doi = {10.1016/j.jsc.2022.10.002},
 journal = {J. Symb. Comput.},
 pages = {365--399},
 title = {Computing critical points for invariant algebraic systems},
 url = {https://doi.org/10.1016/j.jsc.2022.10.002},
 volume = {116},
 year = {2023}
}

@article{DBLP:journals/jsc/HauensteinHKMT23,
 author = {Jonathan D. Hauenstein and
Yang-Hui He and
Ilias S. Kotsireas and
Dhagash Mehta and
Tingting Tang},
 doi = {10.1016/j.jsc.2022.10.003},
 journal = {J. Symb. Comput.},
 pages = {93--94},
 title = {Special issue on Algebraic Geometry and Machine Learning},
 url = {https://doi.org/10.1016/j.jsc.2022.10.003},
 volume = {118},
 year = {2023}
}

@article{DBLP:journals/maple/Corless23a,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v3i1.15951},
 journal = {Maple Trans.},
 title = {About this issue},
 url = {https://doi.org/10.5206/mt.v3i1.15951},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/Corless23b,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v3i1.14777},
 journal = {Maple Trans.},
 title = {Devilish Tricks for Sequence Acceleration},
 url = {https://doi.org/10.5206/mt.v3i1.14777},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/Corless23,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v3i1.15890},
 journal = {Maple Trans.},
 title = {Blends have decent numerical properties},
 url = {https://doi.org/10.5206/mt.v3i1.15890},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/Corless23c,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v3i2.15927},
 journal = {Maple Trans.},
 title = {Special Functions in Problem Solving Environments: A personal view},
 url = {https://doi.org/10.5206/mt.v3i2.15927},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/Corless23d,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v3i3.17002},
 journal = {Maple Trans.},
 title = {Solving multivariate polynomial systems using eigenvalues in Maple},
 url = {https://doi.org/10.5206/mt.v3i3.17002},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/Corless23e,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v3i4.17248},
 journal = {Maple Trans.},
 title = {Editor's Corner December 2023},
 url = {https://doi.org/10.5206/mt.v3i4.17248},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/CorlessJJ23,
 author = {Robert M. Corless and
David J. Jeffrey and
Johan Joby},
 doi = {10.5206/mt.v3i4.17247},
 journal = {Maple Trans.},
 title = {Two-cycles in the Infinite Exponential Tower},
 url = {https://doi.org/10.5206/mt.v3i4.17247},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/CorlessK23,
 author = {Robert M. Corless and
Ilias S. Kotsireas},
 doi = {10.5206/mt.v3i2.16748},
 journal = {Maple Trans.},
 title = {Remembering Eugenio Roanes-Lozano},
 url = {https://doi.org/10.5206/mt.v3i2.16748},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/JobyJC23,
 author = {Johan Joby and
David J. Jeffrey and
Robert M. Corless},
 doi = {10.5206/mt.v3i3.17003},
 journal = {Maple Trans.},
 title = {Towering Fractals},
 url = {https://doi.org/10.5206/mt.v3i3.17003},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/TrochezMPC23,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Marc Moreno Maza and
Erik Postma and
Matt Calder},
 doi = {10.5206/mt.v3i2.16000},
 journal = {Maple Trans.},
 title = {Laurent Series and Puiseux Series in Maple},
 url = {https://doi.org/10.5206/mt.v3i2.16000},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/mics/KotsireasSU23,
 author = {Ilias S. Kotsireas and
Dimitris E. Simos and
Ali Kemal Uncu},
 doi = {10.1007/s11786-023-00557-8},
 journal = {Math. Comput. Sci.},
 pages = {7},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-023-00557-8},
 volume = {17},
 year = {2023}
}

@article{DBLP:journals/moc/BrysiewiczB23,
 author = {Taylor Brysiewicz and
Michael A. Burr},
 doi = {10.1090/mcom/3849},
 journal = {Math. Comput.},
 pages = {2893--2922},
 title = {Sparse trace tests},
 url = {https://doi.org/10.1090/mcom/3849},
 volume = {92},
 year = {2023}
}

@article{DBLP:journals/siamrev/ChanC23,
 author = {Eunice Y. S. Chan and
Robert M. Corless},
 doi = {10.1137/20m1386438},
 journal = {SIAM Rev.},
 pages = {261--290},
 title = {Chaos Game Representation},
 url = {https://doi.org/10.1137/20m1386438},
 volume = {65},
 year = {2023}
}

@article{DBLP:journals/talg/BirmpilisLS23,
 author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
 doi = {10.1145/3617996},
 journal = {ACM Trans. Algorithms},
 pages = {37:1--37:36},
 title = {A Cubic Algorithm for Computing the Hermite Normal Form of a Nonsingular Integer Matrix},
 url = {https://doi.org/10.1145/3617996},
 volume = {19},
 year = {2023}
}

@article{MR4539061,
 author = {Agostini, Daniele and Brysiewicz, Taylor and Fevola, Claudia
and K\"{u}hne, Lukas and Sturmfels, Bernd and Telen, Simon},
 doi = {10.1016/j.aim.2023.108863},
 journal = {Adv. Math.},
 note = {With an appendix by Thomas Lam},
 pages = {Paper No. 108863, 39},
 title = {Likelihood degenerations},
 url = {https://doi.org/10.1016/j.aim.2023.108863},
 volume = {414},
 year = {2023}
}

@article{zbMATH7684002,
 author = {Corless, Robert M.},
 doi = {10.1137/23N975715},
 journal = {SIAM Review},
 pages = {597},
 title = {Book review of: L. N. Trefethen, An applied mathematician's apology},
 url = {https://doi.org/10.1137/23N975715},
 volume = {65},
 year = {2023}
}

@article{zbMATH7799574,
 author = {Kampel, Ludwig and Hiess, Irene and Kotsireas, Ilias S. and Simos, Dimitris E.},
 doi = {10.1002/jcd.21876},
 journal = {Journal of Combinatorial Designs},
 pages = {205--261},
 title = {Balanced covering arrays: a classification of covering arrays and packing arrays via exact methods},
 url = {https://doi.org/10.1002/jcd.21876},
 volume = {31},
 year = {2023}
}

@article{zbMATH7805052,
 author = {Kotsireas, Ilias S. and Koutschan, Christoph and Bulutoglu, Dursun A. and Arquette, David M. and Turner, Jonathan S. and Ryan, Kenneth J.},
 doi = {10.1515/spma-2023-0105},
 journal = {Special Matrices},
 title = {Legendre pairs of lengths \(\ell \equiv 0 \pmod 5\)},
 url = {https://doi.org/10.1515/spma-2023-0105},
 volume = {11},
 year = {2023}
}

@inproceedings{DBLP:conf/casc/BrandtTMY23,
 author = {Alexander Brandt and
Juan Pablo Gonz{\'{a}}lez Trochez and
Marc Moreno Maza and
Haoze Yuan},
 booktitle = {Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings},
 doi = {10.1007/978-3-031-41724-5_4},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Ilias S. Kotsireas and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {69--89},
 publisher = {Springer},
 title = {A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface},
 url = {https://doi.org/10.1007/978-3-031-41724-5_4},
 volume = {14139},
 year = {2023}
}

@inproceedings{DBLP:conf/casc/ImreJ23,
 author = {Jacob Imre and
David J. Jeffrey},
 booktitle = {Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings},
 doi = {10.1007/978-3-031-41724-5_11},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Ilias S. Kotsireas and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {199--212},
 publisher = {Springer},
 title = {Non-principal Branches of Lambert W. A Tale of 2 Circles},
 url = {https://doi.org/10.1007/978-3-031-41724-5_11},
 volume = {14139},
 year = {2023}
}

@inproceedings{DBLP:conf/cascon/BrandtMJWMP23,
 author = {Alexander Brandt and
Marc Moreno Maza and
Taabish Jeshani and
Linxiao Wang and
Davood Mohajerani and
Jeeva Paudel},
 booktitle = {Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, CASCON 2023, Las Vegas, NV, USA, September 11-14, 2023},
 editor = {Paria Shirani and
Iosif-Viorel Onut and
Paula Branco},
 pages = {64--73},
 publisher = {ACM},
 title = {Dynamically Finding Optimal Kernel Launch Parameters for CUDA Programs},
 url = {https://dl.acm.org/doi/10.5555/3615924.3615931},
 year = {2023}
}

@inproceedings{DBLP:conf/casc/Watt23,
 author = {Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings},
 doi = {10.1007/978-3-031-41724-5_20},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Ilias S. Kotsireas and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {370--392},
 publisher = {Springer},
 title = {Efficient Quotients of Non-commutative Polynomials},
 url = {https://doi.org/10.1007/978-3-031-41724-5_20},
 volume = {14139},
 year = {2023}
}

@inproceedings{DBLP:conf/issac/Corless23,
 author = {Robert M. Corless},
 booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Troms{\o}, Norway, July 24-27, 2023},
 doi = {10.1145/3597066.3597117},
 editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
 pages = {199--207},
 publisher = {ACM},
 title = {Blendstrings: an environment for computing with smooth functions},
 url = {https://doi.org/10.1145/3597066.3597117},
 year = {2023}
}

@inproceedings{DBLP:conf/issac/LabahnRDSV23,
 author = {George Labahn and
Cordian Riener and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
 booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Troms{\o}, Norway, July 24-27, 2023},
 doi = {10.1145/3597066.3597097},
 editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
 pages = {452--460},
 publisher = {ACM},
 title = {Faster real root decision algorithm for symmetric polynomials},
 url = {https://doi.org/10.1145/3597066.3597097},
 year = {2023}
}

@inproceedings{DBLP:conf/issac/MuslehS23,
 author = {Yossef Musleh and
{\'{E}}ric Schost},
 booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Troms{\o}, Norway, July 24-27, 2023},
 doi = {10.1145/3597066.3597080},
 editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
 pages = {461--469},
 publisher = {ACM},
 title = {Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology},
 url = {https://doi.org/10.1145/3597066.3597080},
 year = {2023}
}

@inproceedings{DBLP:conf/issac/SchostS23,
 author = {{\'{E}}ric Schost and
Catherine St-Pierre},
 booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Troms{\o}, Norway, July 24-27, 2023},
 doi = {10.1145/3597066.3597086},
 editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
 pages = {508--516},
 publisher = {ACM},
 title = {p-adic algorithm for bivariate Gr{\"{o}}bner bases},
 url = {https://doi.org/10.1145/3597066.3597086},
 year = {2023}
}

@inproceedings{DBLP:conf/issac/Watt23,
 author = {Stephen Michael Watt},
 booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Troms{\o}, Norway, July 24-27, 2023},
 doi = {10.1145/3597066.3597076},
 editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
 pages = {535--544},
 publisher = {ACM},
 title = {Efficient Generic Quotients Using Exact Arithmetic},
 url = {https://doi.org/10.1145/3597066.3597076},
 year = {2023}
}

@inproceedings{DBLP:conf/mkm/CorlessJS23,
 author = {Robert M. Corless and
David J. Jeffrey and
Azar Shakoori},
 booktitle = {Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
 doi = {10.1007/978-3-031-42753-4_8},
 editor = {Catherine Dubois and
Manfred Kerber},
 pages = {113--129},
 publisher = {Springer},
 title = {Teaching Linear Algebra in a Mechanized Mathematical Environment},
 url = {https://doi.org/10.1007/978-3-031-42753-4_8},
 volume = {14101},
 year = {2023}
}

@inproceedings{DBLP:conf/mkm/RabeW23a,
 author = {Florian Rabe and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
 doi = {10.1007/978-3-031-42753-4_24},
 editor = {Catherine Dubois and
Manfred Kerber},
 pages = {315--320},
 publisher = {Springer},
 title = {Extracting Theory Graphs from Aldor Libraries},
 url = {https://doi.org/10.1007/978-3-031-42753-4_24},
 volume = {14101},
 year = {2023}
}

@inproceedings{DBLP:conf/synasc/DengR23,
 author = {Siyuan Deng and
Gregory J. Reid},
 booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023},
 doi = {10.1109/SYNASC61333.2023.00016},
 pages = {68--75},
 publisher = {IEEE},
 title = {Symbolic and numeric computation of symmetries for a class of Schr{\"{o}}dinger Equations},
 url = {https://doi.org/10.1109/SYNASC61333.2023.00016},
 year = {2023}
}

@inproceedings{DBLP:conf/synasc/GhesquiereW23,
 author = {Mike Ghesquiere and
Stephen M. Watt},
 booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023},
 doi = {10.1109/SYNASC61333.2023.00011},
 pages = {32--39},
 publisher = {IEEE},
 title = {Hybrid Intervals and Symbolic Block Matrices},
 url = {https://doi.org/10.1109/SYNASC61333.2023.00011},
 year = {2023}
}

@inproceedings{DBLP:conf/synasc/JeffreyW23,
 author = {D. J. Jeffrey and
Stephen M. Watt},
 booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023},
 doi = {10.1109/SYNASC61333.2023.00010},
 pages = {26--31},
 publisher = {IEEE},
 title = {The Inverse of the Complex Gamma Function},
 url = {https://doi.org/10.1109/SYNASC61333.2023.00010},
 year = {2023}
}

@misc{zbMATH900576644,
 author = {Wenqiang Yang and Wenyuan Wu and Greg Reid},
 note = {Preprint, arXiv:2301.06986 [math.DS]},
 title = {Structural Analysis by Modified Signature Matrix for Integro-differential-algebraic Equations},
 url = {https://arxiv.org/abs/2301.06986},
 year = {2023}
}

@misc{zbMATH900581536,
 author = {David J. Jeffrey},
 note = {Preprint, arXiv:2302.13188 [math.CV]},
 title = {Branch cuts and Riemann surfaces},
 url = {https://arxiv.org/abs/2302.13188},
 year = {2023}
}

@misc{zbMATH902309472,
 author = {Taylor Brysiewicz and Michael Joswig},
 note = {Preprint, arXiv:2308.07459 [math.CO]},
 title = {Polyhedral Geometry in OSCAR},
 url = {https://arxiv.org/abs/2308.07459},
 year = {2023}
}

@proceedings{DBLP:conf/casc/2023,
 booktitle = {CASC},
 doi = {10.1007/978-3-031-41724-5},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Ilias S. Kotsireas and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 publisher = {Springer},
 title = {Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings},
 url = {https://doi.org/10.1007/978-3-031-41724-5},
 volume = {14139},
 year = {2023}
}

@proceedings{DBLP:conf/marble/2022,
 booktitle = {MARBLE},
 doi = {10.1007/978-3-031-18679-0},
 editor = {Panos M. Pardalos and
Ilias S. Kotsireas and
Yike Guo and
William J. Knottenbelt},
 publisher = {Springer},
 title = {3rd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2022, Vilamoura, Portugal, July 12-14, 2022},
 url = {https://doi.org/10.1007/978-3-031-18679-0},
 year = {2023}
}

@proceedings{DBLP:conf/marble/2023,
 booktitle = {MARBLE},
 doi = {10.1007/978-3-031-48731-6},
 editor = {Panos M. Pardalos and
Ilias S. Kotsireas and
William J. Knottenbelt and
Stefanos Leonardos},
 publisher = {Springer},
 title = {Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, London, United Kingdom, July 11-13, 2023},
 url = {https://doi.org/10.1007/978-3-031-48731-6},
 year = {2023}
}

@article{DBLP:journals/aam/ChenHHLW22,
 author = {Shaoshi Chen and
Qing-Hu Hou and
Hui Huang and
George Labahn and
Rong-Hua Wang},
 doi = {10.1016/j.aam.2022.102389},
 journal = {Adv. Appl. Math.},
 pages = {102389},
 title = {Constructing minimal telescopers for rational functions in three discrete variables},
 url = {https://doi.org/10.1016/j.aam.2022.102389},
 volume = {141},
 year = {2022}
}

@article{DBLP:journals/amai/KotsireasP22,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10472-022-09808-z},
 journal = {Ann. Math. Artif. Intell.},
 pages = {677},
 title = {Preface selected revised papers from the LION 14 conference},
 url = {https://doi.org/10.1007/s10472-022-09808-z},
 volume = {90},
 year = {2022}
}

@article{DBLP:journals/amc/ChanCGSS22,
 author = {Eunice Y. S. Chan and
Robert M. Corless and
Laureano Gonz{\'{a}}lez-Vega and
J. Rafael Sendra and
Juana Sendra},
 doi = {10.1016/j.amc.2022.126945},
 journal = {Appl. Math. Comput.},
 pages = {126945},
 title = {Inner Bohemian inverses},
 url = {https://doi.org/10.1016/j.amc.2022.126945},
 volume = {421},
 year = {2022}
}

@article{DBLP:journals/cacm/BrightKG22,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1145/3500921},
 journal = {Commun. ACM},
 pages = {64--72},
 title = {When satisfiability solving meets symbolic computation},
 url = {https://doi.org/10.1145/3500921},
 volume = {65},
 year = {2022}
}

@article{DBLP:journals/cca/TrochezMCP22,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Marc Moreno Maza and
Matt Calder and
Erik Postma},
 doi = {10.1145/3572867.3572877},
 journal = {ACM Commun. Comput. Algebra},
 pages = {64--67},
 title = {Algorithms for multivariate laurent series},
 url = {https://doi.org/10.1145/3572867.3572877},
 volume = {56},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2201-04268,
 author = {Taylor Brysiewicz and
Michael A. Burr},
 doi = {10.48550/arXiv.2201.04268},
 journal = {CoRR},
 title = {Sparse trace tests},
 url = {https://doi.org/10.48550/arXiv.2201.04268},
 volume = {abs/2201.04268},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2202-07769,
 author = {Robert M. Corless and
George Labahn and
Dan Piponi and
Leili Rafiee Sevyeri},
 doi = {10.48550/arXiv.2202.07769},
 journal = {CoRR},
 title = {Bohemian Matrix Geometry},
 url = {https://doi.org/10.48550/arXiv.2202.07769},
 volume = {abs/2202.07769},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2202-09329,
 author = {George Labahn and
Vincent Neiger and
Thi Xuan Vu and
Wei Zhou},
 doi = {10.48550/arXiv.2202.09329},
 journal = {CoRR},
 title = {Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix},
 url = {https://doi.org/10.48550/arXiv.2202.09329},
 volume = {abs/2202.09329},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2203-03961,
 author = {R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2203.03961},
 journal = {CoRR},
 title = {Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results},
 url = {https://doi.org/10.48550/arXiv.2203.03961},
 volume = {abs/2203.03961},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2207-04289,
 author = {Jesse Elliott and
Mark Giesbrecht and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2207.04289},
 journal = {CoRR},
 title = {Bit complexity for computing one point in each connected component of a smooth real algebraic set},
 url = {https://doi.org/10.48550/arXiv.2207.04289},
 volume = {abs/2207.04289},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2208-08530,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Alexander Semenov and
William T. Trevena and
Michael N. Vrahatis},
 doi = {10.48550/arXiv.2208.08530},
 journal = {CoRR},
 title = {Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches},
 url = {https://doi.org/10.48550/arXiv.2208.08530},
 volume = {abs/2208.08530},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2208-08532,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Alexander Semenov and
William T. Trevena and
Michael N. Vrahatis},
 doi = {10.48550/arXiv.2208.08532},
 journal = {CoRR},
 title = {Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches},
 url = {https://doi.org/10.48550/arXiv.2208.08532},
 volume = {abs/2208.08532},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2209-10685,
 author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
 doi = {10.48550/arXiv.2209.10685},
 journal = {CoRR},
 title = {A cubic algorithm for computing the Hermite normal form of a nonsingular integer matrix},
 url = {https://doi.org/10.48550/arXiv.2209.10685},
 volume = {abs/2209.10685},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2210-16707,
 author = {Wenqiang Yang and
Wenyuan Wu and
Greg Reid},
 doi = {10.48550/arXiv.2210.16707},
 journal = {CoRR},
 title = {Index Reduction for Degenerated Differential-Algebraic Equations by Embedding},
 url = {https://doi.org/10.48550/arXiv.2210.16707},
 volume = {abs/2210.16707},
 year = {2022}
}

@article{DBLP:journals/em/CorlessS22,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri},
 doi = {10.1080/10586458.2019.1593898},
 journal = {Exp. Math.},
 pages = {184--191},
 title = {Stirling's Original Asymptotic Series from a Formula Like One of Binet's and its Evaluation by Sequence Acceleration},
 url = {https://doi.org/10.1080/10586458.2019.1593898},
 volume = {31},
 year = {2022}
}

@article{DBLP:journals/jat/CorlessS22,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri},
 doi = {10.1016/j.jat.2022.105810},
 journal = {J. Approx. Theory},
 pages = {105810},
 title = {Compact cubic splines},
 url = {https://doi.org/10.1016/j.jat.2022.105810},
 volume = {283},
 year = {2022}
}

@article{DBLP:journals/jsc/GiesbrechtHLZ22,
 author = {Mark Giesbrecht and
Hui Huang and
George Labahn and
Eugene Zima},
 doi = {10.1016/j.jsc.2021.07.005},
 journal = {J. Symb. Comput.},
 pages = {57--87},
 title = {Efficient rational creative telescoping},
 url = {https://doi.org/10.1016/j.jsc.2021.07.005},
 volume = {109},
 year = {2022}
}

@article{DBLP:journals/maple/ChinC22,
 author = {Paulina Chin and
Robert M. Corless},
 doi = {10.5206/mt.v2i1.14499},
 journal = {Maple Trans.},
 title = {Proceedings of the Maple Conference 2021},
 url = {https://doi.org/10.5206/mt.v2i1.14499},
 volume = {2},
 year = {2022}
}

@article{DBLP:journals/maple/PostmaM22,
 author = {Erik Postma and
Marc Moreno Maza},
 doi = {10.5206/mt.v2i1.14469},
 journal = {Maple Trans.},
 title = {Substituting Units into Multivariate Power Series},
 url = {https://doi.org/10.5206/mt.v2i1.14469},
 volume = {2},
 year = {2022}
}

@article{DBLP:journals/maple/SandfordGM22,
 author = {Ryan Sandford and
J{\"{u}}rgen Gerhard and
Marc Moreno Maza},
 doi = {10.5206/mt.v2i1.14463},
 journal = {Maple Trans.},
 title = {Computing Intersection Multiplicities with Regular Chains},
 url = {https://doi.org/10.5206/mt.v2i1.14463},
 volume = {2},
 year = {2022}
}

@article{DBLP:journals/maple/TrochezCMP22,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Matt Calder and
Marc Moreno Maza and
Erik Postma},
 doi = {10.5206/mt.v2i1.14448},
 journal = {Maple Trans.},
 title = {A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain},
 url = {https://doi.org/10.5206/mt.v2i1.14448},
 volume = {2},
 year = {2022}
}

@article{DBLP:journals/mics/Kotsireas22,
 author = {Ilias S. Kotsireas},
 doi = {10.1007/s11786-022-00545-4},
 journal = {Math. Comput. Sci.},
 pages = {24},
 title = {Personal Recollections of Prof. Vladimir P. Gerdt},
 url = {https://doi.org/10.1007/s11786-022-00545-4},
 volume = {16},
 year = {2022}
}

@article{DBLP:journals/oms/KampelWKS22,
 author = {Ludwig Kampel and
Michael Wagner and
Ilias S. Kotsireas and
Dimitris E. Simos},
 doi = {10.1080/10556788.2021.1907384},
 journal = {Optim. Methods Softw.},
 pages = {1165--1202},
 title = {A primer on the application of neural networks to covering array generation},
 url = {https://doi.org/10.1080/10556788.2021.1907384},
 volume = {37},
 year = {2022}
}

@article{DBLP:journals/orf/Kotsireas22,
 author = {Ilias S. Kotsireas},
 doi = {10.1007/s43069-022-00149-5},
 journal = {Oper. Res. Forum},
 title = {Review of "Handbook of Heuristics"},
 url = {https://doi.org/10.1007/s43069-022-00149-5},
 volume = {3},
 year = {2022}
}

@article{DBLP:journals/tamm/CalkinCCJL22,
 author = {Neil J. Calkin and
Eunice Y. S. Chan and
Robert M. Corless and
David J. Jeffrey and
Piers W. Lawrence},
 doi = {10.1080/00029890.2022.2059311},
 journal = {Am. Math. Mon.},
 pages = {503--523},
 title = {A Fractal Eigenvector},
 url = {https://doi.org/10.1080/00029890.2022.2059311},
 volume = {129},
 year = {2022}
}

@article{zbMATH7450662,
 author = {Rezaei, F. and Hadizadeh, M. and Corless, R. and Amiraslani, A.},
 doi = {10.1007/s43037-021-00156-4},
 journal = {Banach Journal of Mathematical Analysis},
 title = {Structural analysis of matrix integration operators in polynomial bases},
 url = {https://doi.org/10.1007/s43037-021-00156-4},
 volume = {16},
 year = {2022}
}

@article{zbMATH7621091,
 doi = {10.1007/s00200-022-00587-y},
 editor = {Bertone, Cristina and Ceria, Michela and Karaoglu, Fatma and Kotsireas, Ilias and Mora, Teo and Simos, Dimitris},
 journal = {Applicable Algebra in Engineering, Communication and Computing},
 pages = {597},
 title = {Preface},
 url = {https://doi.org/10.1007/s00200-022-00587-y},
 volume = {33},
 year = {2022}
}

@inproceedings{DBLP:conf/casc/AsadiBJM22,
 author = {Mohammadali Asadi and
Alexander Brandt and
David J. Jeffrey and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
 doi = {10.1007/978-3-031-14788-3_3},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {29--50},
 publisher = {Springer},
 title = {Subresultant Chains Using B{\'{e}}zout Matrices},
 url = {https://doi.org/10.1007/978-3-031-14788-3_3},
 volume = {13366},
 year = {2022}
}

@inproceedings{DBLP:conf/casc/MazaW22,
 author = {Marc Moreno Maza and
Linxiao Wang},
 booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
 doi = {10.1007/978-3-031-14788-3_14},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {246--267},
 publisher = {Springer},
 title = {Computing the Integer Hull of Convex Polyhedral Sets},
 url = {https://doi.org/10.1007/978-3-031-14788-3_14},
 volume = {13366},
 year = {2022}
}

@inproceedings{DBLP:conf/icppw/TalaashrafiDM22,
 author = {Delaram Talaashrafi and
Johannes Doerfert and
Marc Moreno Maza},
 booktitle = {Workshop Proceedings of the 51st International Conference on Parallel Processing, ICPP Workshops 2022, Bordeaux, France, 29 August 2022 - 1 September 2022},
 doi = {10.1145/3547276.3548445},
 pages = {18:1--18:10},
 publisher = {ACM},
 title = {A Pipeline Pattern Detection Technique in Polly},
 url = {https://doi.org/10.1145/3547276.3548445},
 year = {2022}
}

@inproceedings{DBLP:conf/issac/BartzosEKT22,
 author = {Evangelos Bartzos and
Ioannis Z. Emiris and
Ilias S. Kotsireas and
Charalambos Tzamos},
 booktitle = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 doi = {10.1145/3476446.3536189},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 pages = {255--262},
 publisher = {ACM},
 title = {Bounding the Number of Roots of Multi-Homogeneous Systems},
 url = {https://doi.org/10.1145/3476446.3536189},
 year = {2022}
}

@inproceedings{DBLP:conf/issac/CorlessLPS22,
 author = {Robert M. Corless and
George Labahn and
Dan Piponi and
Leili Rafiee Sevyeri},
 booktitle = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 doi = {10.1145/3476446.3536177},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 pages = {361--370},
 publisher = {ACM},
 title = {Bohemian Matrix Geometry},
 url = {https://doi.org/10.1145/3476446.3536177},
 year = {2022}
}

@inproceedings{DBLP:conf/issac/LabahnNVZ22,
 author = {George Labahn and
Vincent Neiger and
Thi Xuan Vu and
Wei Zhou},
 booktitle = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 doi = {10.1145/3476446.3535495},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 pages = {351--360},
 publisher = {ACM},
 title = {Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix},
 url = {https://doi.org/10.1145/3476446.3535495},
 year = {2022}
}

@inproceedings{DBLP:conf/issac/LiS22,
 author = {Haomin Li and
Arne Storjohann},
 booktitle = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 doi = {10.1145/3476446.3536184},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 pages = {303--310},
 publisher = {ACM},
 title = {Computing a Basis for an Integer Lattice: A Special Case},
 url = {https://doi.org/10.1145/3476446.3536184},
 year = {2022}
}

@inproceedings{DBLP:conf/iwomp/TalaashrafiMD22,
 author = {Delaram Talaashrafi and
Marc Moreno Maza and
Johannes Doerfert},
 booktitle = {OpenMP in a Modern World: From Multi-device Support to Meta Programming - 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings},
 doi = {10.1007/978-3-031-15922-0_5},
 editor = {Michael Klemm and
Bronis R. de Supinski and
Jannis Klinkenberg and
Brandon Neth},
 pages = {67--80},
 publisher = {Springer},
 title = {Towards Automatic OpenMP-Aware Utilization of Fast GPU Memory},
 url = {https://doi.org/10.1007/978-3-031-15922-0_5},
 volume = {13527},
 year = {2022}
}

@inproceedings{DBLP:conf/mkm/JeffreyW22,
 author = {David J. Jeffrey and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
 doi = {10.1007/978-3-031-16681-5_16},
 editor = {Kevin Buzzard and
Temur Kutsia},
 pages = {222--237},
 publisher = {Springer},
 title = {Working with Families of Inverse Functions},
 url = {https://doi.org/10.1007/978-3-031-16681-5_16},
 volume = {13467},
 year = {2022}
}

@inproceedings{DBLP:conf/synasc/DengMR22,
 author = {Siyuan Deng and
Zahra Mohammadi and
Gregory J. Reid},
 booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022},
 doi = {10.1109/SYNASC57785.2022.00020},
 editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {63--70},
 publisher = {IEEE},
 title = {Algorithm for intersecting symbolic and approximate linear differential varieties},
 url = {https://doi.org/10.1109/SYNASC57785.2022.00020},
 year = {2022}
}

@inproceedings{DBLP:conf/synasc/MazaY22,
 author = {Marc Moreno Maza and
Haoze Yuan},
 booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022},
 doi = {10.1109/SYNASC57785.2022.00015},
 editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {35--42},
 publisher = {IEEE},
 title = {Balanced Dense Multivariate Multiplication: The General Case},
 url = {https://doi.org/10.1109/SYNASC57785.2022.00015},
 year = {2022}
}

@inproceedings{DBLP:conf/synasc/Watt22,
 author = {Stephen M. Watt},
 booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022},
 doi = {10.1109/SYNASC57785.2022.00016},
 editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {43--50},
 publisher = {IEEE},
 title = {Detecting Implicit Indeterminates in Symbolic Computation},
 url = {https://doi.org/10.1109/SYNASC57785.2022.00016},
 year = {2022}
}

@proceedings{DBLP:conf/issac/2022,
 booktitle = {ISSAC},
 doi = {10.1145/3476446},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 publisher = {ACM},
 title = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 url = {https://doi.org/10.1145/3476446},
 year = {2022}
}

@proceedings{DBLP:conf/lion/2022,
 booktitle = {LION},
 doi = {10.1007/978-3-031-24866-5},
 editor = {Dimitris E. Simos and
Varvara Rasskazova and
Francesco Archetti and
Ilias S. Kotsireas and
Panos M. Pardalos},
 publisher = {Springer},
 title = {Learning and Intelligent Optimization - 16th International Conference, LION 2022, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-031-24866-5},
 volume = {13621},
 year = {2022}
}

@article{DBLP:journals/cc/GiesbrechtJS21,
 author = {Mark Giesbrecht and
Armin Jamshidpey and
{\'{E}}ric Schost},
 doi = {10.1007/s00037-020-00204-9},
 journal = {Comput. Complex.},
 pages = {5},
 title = {Subquadratic-Time Algorithms for Normal Bases},
 url = {https://doi.org/10.1007/s00037-020-00204-9},
 volume = {30},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2101-06576,
 author = {Shaoshi Chen and
Ruyong Feng and
Ziming Li and
Michael F. Singer and
Stephen M. Watt},
 doi = {10.48550/arXiv.2101.06576},
 journal = {CoRR},
 title = {Telescopers for differential forms with one parameter},
 url = {https://doi.org/10.48550/arXiv.2101.06576},
 volume = {abs/2101.06576},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2102-03583,
 author = {Seung Gyu Hyun and
Vincent Neiger and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2102.03583},
 journal = {CoRR},
 title = {Algorithms for Linearly Recurrent Sequences of Truncated Polynomials},
 url = {https://doi.org/10.48550/arXiv.2102.03583},
 volume = {abs/2102.03583},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2102-09726,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri and
B. David Saunders},
 doi = {10.48550/arXiv.2102.09726},
 journal = {CoRR},
 title = {Equivalences for Linearizations of Matrix Polynomials},
 url = {https://doi.org/10.48550/arXiv.2102.09726},
 volume = {abs/2102.09726},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2103-13949,
 author = {Leili Rafiee Sevyeri and
Robert M. Corless},
 doi = {10.48550/arXiv.2103.13949},
 journal = {CoRR},
 title = {Approximate GCD in Lagrange bases},
 url = {https://doi.org/10.48550/arXiv.2103.13949},
 volume = {abs/2103.13949},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2105-10798,
 author = {Alexander Brandt and
Marc Moreno Maza},
 doi = {10.48550/arXiv.2105.10798},
 journal = {CoRR},
 title = {On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation},
 url = {https://doi.org/10.48550/arXiv.2105.10798},
 volume = {abs/2105.10798},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2106-15519,
 author = {Mohammadali Asadi and
Alexander Brandt and
Mahsa Kazemi and
Marc Moreno Maza and
Erik Postma},
 doi = {10.48550/arXiv.2106.15519},
 journal = {CoRR},
 title = {Multivariate Power Series in Maple},
 url = {https://doi.org/10.48550/arXiv.2106.15519},
 volume = {abs/2106.15519},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2110-08354,
 author = {Vincent Neiger and
Bruno Salvy and
{\'{E}}ric Schost and
Gilles Villard},
 doi = {10.48550/arXiv.2110.08354},
 journal = {CoRR},
 title = {Faster Modular Composition},
 url = {https://doi.org/10.48550/arXiv.2110.08354},
 volume = {abs/2110.08354},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2111-08160,
 author = {Wenqiang Yang and
Wenyuan Wu and
Greg Reid},
 doi = {10.48550/arXiv.2111.08160},
 journal = {CoRR},
 title = {Implicit Method for Degenerated Differential-Algebraic Equations and Applications},
 url = {https://doi.org/10.48550/arXiv.2111.08160},
 volume = {abs/2111.08160},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2111-09949,
 author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
 doi = {10.48550/arXiv.2111.09949},
 journal = {CoRR},
 title = {A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix},
 url = {https://doi.org/10.48550/arXiv.2111.09949},
 volume = {abs/2111.09949},
 year = {2021}
}

@article{DBLP:journals/dcc/TurnerKBG21,
 author = {Jonathan S. Turner and
Ilias S. Kotsireas and
Dursun A. Bulutoglu and
Andrew J. Geyer},
 doi = {10.1007/s10623-021-00862-y},
 journal = {Des. Codes Cryptogr.},
 pages = {1321--1333},
 title = {A Legendre pair of length 77 using complementary binary matrices with fixed marginals},
 url = {https://doi.org/10.1007/s10623-021-00862-y},
 volume = {89},
 year = {2021}
}

@article{DBLP:journals/jc/LabahnDSV21,
 author = {George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
 doi = {10.1016/j.jco.2021.101557},
 journal = {J. Complex.},
 pages = {101557},
 title = {Homotopy techniques for solving sparse column support determinantal polynomial systems},
 url = {https://doi.org/10.1016/j.jco.2021.101557},
 volume = {66},
 year = {2021}
}

@article{DBLP:journals/jsc/BrightKHG21,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Albert Heinle and
Vijay Ganesh},
 doi = {10.1016/j.jsc.2019.10.013},
 journal = {J. Symb. Comput.},
 pages = {153--172},
 title = {Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT},
 url = {https://doi.org/10.1016/j.jsc.2019.10.013},
 volume = {102},
 year = {2021}
}

@article{DBLP:journals/jsc/Brysiewicz21,
 author = {Taylor Brysiewicz},
 doi = {10.1016/j.jsc.2019.11.002},
 journal = {J. Symb. Comput.},
 pages = {95--107},
 title = {Necklaces count polynomial parametric osculants},
 url = {https://doi.org/10.1016/j.jsc.2019.11.002},
 volume = {103},
 year = {2021}
}

@article{DBLP:journals/jsc/DoliskaniNS21,
 author = {Javad Doliskani and
Anand Kumar Narayanan and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2020.06.007},
 journal = {J. Symb. Comput.},
 pages = {199--213},
 title = {Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields},
 url = {https://doi.org/10.1016/j.jsc.2020.06.007},
 volume = {105},
 year = {2021}
}

@article{DBLP:journals/jsc/GathenGZ21,
 author = {Joachim von zur Gathen and
Mark Giesbrecht and
Konstantin Ziegler},
 doi = {10.1016/j.jsc.2020.06.008},
 journal = {J. Symb. Comput.},
 pages = {214--233},
 title = {Counting invariant subspaces and decompositions of additive polynomials},
 url = {https://doi.org/10.1016/j.jsc.2020.06.008},
 volume = {105},
 year = {2021}
}

@article{DBLP:journals/jsc/GiesbrechtHL21,
 author = {Mark Giesbrecht and
Joseph Haraldson and
George Labahn},
 doi = {10.1016/j.jsc.2019.10.019},
 journal = {J. Symb. Comput.},
 pages = {304--327},
 title = {Computing nearby non-trivial Smith forms},
 url = {https://doi.org/10.1016/j.jsc.2019.10.019},
 volume = {102},
 year = {2021}
}

@article{DBLP:journals/jsc/GiesbrechtHLZ21,
 author = {Mark Giesbrecht and
Hui Huang and
George Labahn and
Eugene V. Zima},
 doi = {10.1016/j.jsc.2021.02.001},
 journal = {J. Symb. Comput.},
 pages = {122--144},
 title = {Efficient q-integer linear decomposition of multivariate polynomials},
 url = {https://doi.org/10.1016/j.jsc.2021.02.001},
 volume = {107},
 year = {2021}
}

@article{DBLP:journals/jsc/HauensteinDSV21,
 author = {Jonathan D. Hauenstein and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
 doi = {10.1016/j.jsc.2020.09.008},
 journal = {J. Symb. Comput.},
 pages = {754--804},
 title = {Solving determinantal systems using homotopy techniques},
 url = {https://doi.org/10.1016/j.jsc.2020.09.008},
 volume = {104},
 year = {2021}
}

@article{DBLP:journals/jsc/KauersOS21,
 author = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2019.09.002},
 journal = {J. Symb. Comput.},
 pages = {1--2},
 title = {Foreword},
 url = {https://doi.org/10.1016/j.jsc.2019.09.002},
 volume = {102},
 year = {2021}
}

@article{DBLP:journals/jsc/MoirCJ21,
 author = {Robert H. C. Moir and
Robert M. Corless and
David J. Jeffrey},
 doi = {10.1016/j.jsc.2020.06.003},
 journal = {J. Symb. Comput.},
 pages = {97--117},
 title = {An unwinding number pair for continuous expressions of integrals},
 url = {https://doi.org/10.1016/j.jsc.2020.06.003},
 volume = {105},
 year = {2021}
}

@article{DBLP:journals/jsc/RosenkildeS21,
 author = {Johan Rosenkilde and
Arne Storjohann},
 doi = {10.1016/j.jsc.2019.07.026},
 journal = {J. Symb. Comput.},
 pages = {279--303},
 title = {Algorithms for simultaneous Hermite-Pad{\'{e}} approximations},
 url = {https://doi.org/10.1016/j.jsc.2019.07.026},
 volume = {102},
 year = {2021}
}

@article{DBLP:journals/maple/BrinkmanCJ21,
 author = {Ewan Brinkman and
Robert M. Corless and
Veselin Jungic},
 doi = {10.5206/mt.v1i2.14500},
 journal = {Maple Trans.},
 title = {The Theodorus Variation},
 url = {https://doi.org/10.5206/mt.v1i2.14500},
 volume = {1},
 year = {2021}
}

@article{DBLP:journals/maple/CalkinCC21,
 author = {Neil J. Calkin and
Eunice Y. S. Chan and
Robert M. Corless},
 journal = {Maple Trans.},
 pages = {https://doi.org/10.5206/mt.v1i1.14037},
 title = {Some Facts and Conjectures about Mandelbrot Polynomials},
 volume = {1},
 year = {2021}
}

@article{DBLP:journals/maple/Corless21a,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v1i2.14508},
 journal = {Maple Trans.},
 title = {Maple Transactions-The Early Years},
 url = {https://doi.org/10.5206/mt.v1i2.14508},
 volume = {1},
 year = {2021}
}

@article{DBLP:journals/maple/Corless21b,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v1i2.14360},
 journal = {Maple Trans.},
 title = {Skew-symmetric tridiagonal Bohemian matrices},
 url = {https://doi.org/10.5206/mt.v1i2.14360},
 volume = {1},
 year = {2021}
}

@article{DBLP:journals/maple/Corless21,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v1i1.14039},
 journal = {Maple Trans.},
 title = {What we can learn from Bohemian Matrices?: An adventure in symbolic-numeric computation},
 url = {https://doi.org/10.5206/mt.v1i1.14039},
 volume = {1},
 year = {2021}
}

@article{DBLP:journals/maple/Jeffrey21,
 author = {David J. Jeffrey},
 doi = {10.5206/mt.v1i2.14351},
 journal = {Maple Trans.},
 title = {Problems, Puzzles, and Challenges},
 url = {https://doi.org/10.5206/mt.v1i2.14351},
 volume = {1},
 year = {2021}
}

@article{DBLP:journals/mics/BoulierLMP21,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Adrien Poteaux},
 doi = {10.1007/s11786-020-00477-x},
 journal = {Math. Comput. Sci.},
 pages = {177--188},
 title = {A Short Contribution to the Theory of Regular Chains},
 url = {https://doi.org/10.1007/s11786-020-00477-x},
 volume = {15},
 year = {2021}
}

@article{DBLP:journals/mics/MiddekeJK21,
 author = {Johannes Middeke and
David J. Jeffrey and
Christoph Koutschan},
 doi = {10.1007/s11786-020-00495-9},
 journal = {Math. Comput. Sci.},
 pages = {589--608},
 title = {Common Factors in Fraction-Free Matrix Decompositions},
 url = {https://doi.org/10.1007/s11786-020-00495-9},
 volume = {15},
 year = {2021}
}

@article{DBLP:journals/mics/MohammadiRH21,
 author = {Zahra Mohammadi and
Gregory J. Reid and
Tracy Shih-lung Huang},
 doi = {10.1007/s11786-020-00483-z},
 journal = {Math. Comput. Sci.},
 pages = {293--316},
 title = {Symmetry-Based Algorithms for Invertible Mappings of Polynomially Nonlinear PDE to Linear PDE},
 url = {https://doi.org/10.1007/s11786-020-00483-z},
 volume = {15},
 year = {2021}
}

@article{DBLP:journals/na/BrysiewiczRSY21,
 author = {Taylor Brysiewicz and
Jose Israel Rodriguez and
Frank Sottile and
Thomas Yahl},
 doi = {10.1007/s11075-020-01045-x},
 journal = {Numer. Algorithms},
 pages = {453--474},
 title = {Solving decomposable sparse systems},
 url = {https://doi.org/10.1007/s11075-020-01045-x},
 volume = {88},
 year = {2021}
}

@article{DBLP:journals/siamrev/BrimacombeCZ21,
 author = {Chris Brimacombe and
Robert M. Corless and
Mair Zamir},
 doi = {10.1137/20M135786X},
 journal = {SIAM Rev.},
 pages = {653--720},
 title = {Computation and Applications of Mathieu Functions: A Historical Perspective},
 url = {https://doi.org/10.1137/20M135786X},
 volume = {63},
 year = {2021}
}

@article{MR4285764,
 author = {Brysiewicz, Taylor and Rodriguez, Jose Israel and Sottile,
Frank and Yahl, Thomas},
 doi = {10.2140/jsag.2021.11.53},
 journal = {J. Softw. Algebra Geom.},
 pages = {53--59},
 title = {Decomposable sparse polynomial systems},
 url = {https://doi.org/10.2140/jsag.2021.11.53},
 volume = {11},
 year = {2021}
}

@article{MR4334892,
 author = {Brysiewicz, T. and Fevola, C. and Sturmfels, B.},
 doi = {10.4418/2021.76.2.4},
 journal = {Matematiche (Catania)},
 pages = {355--367},
 title = {Tangent quadrics in real 3-space},
 url = {https://doi.org/10.4418/2021.76.2.4},
 volume = {76},
 year = {2021}
}

@article{MR4334896,
 author = {Brysiewicz, T. and Kozhasov, K. and Kummer, M.},
 doi = {10.4418/2021.76.2.8},
 journal = {Matematiche (Catania)},
 pages = {415--430},
 title = {Nodes on quintic spectrahedra},
 url = {https://doi.org/10.4418/2021.76.2.8},
 volume = {76},
 year = {2021}
}

@article{MR4409686,
 author = {Brysiewicz, Taylor and Gesmundo, Fulvio},
 doi = {10.54550/eca2021v1s3r20},
 journal = {Enumer. Comb. Appl.},
 pages = {Paper No. S2R20, 18},
 title = {The degree of {S}tiefel manifolds},
 url = {https://doi.org/10.54550/eca2021v1s3r20},
 volume = {1},
 year = {2021}
}

@article{zbMATH7471822,
 author = {Chan, Eunice Y. S. and Corless, Robert M. and Sevyeri, Leili Rafiee},
 journal = {ELA. The Electronic Journal of Linear Algebra},
 pages = {640--658},
 title = {Generalized standard triples for algebraic linearizations of matrix polynomials},
 url = {https://arxiv.org/abs/1805.04488},
 volume = {37},
 year = {2021}
}

@article{zbMATH7583430,
 author = {Corless, Robert M.},
 journal = {La Gaceta de la Real Sociedad Matem{\'{a}}tica Espa{\~{n}}ola},
 pages = {147--159},
 title = {On cubic inverse iteration},
 volume = {24},
 year = {2021}
}

@article{zbMATH7840154,
 author = {Kotsireas, Ilias and Koutschan, Christoph},
 doi = {10.1002/jcd.21806},
 journal = {Journal of Combinatorial Designs},
 pages = {870--887},
 title = {Legendre pairs of lengths \(\ell \equiv 0 \pmod{3}\)},
 url = {https://doi.org/10.1002/jcd.21806},
 volume = {29},
 year = {2021}
}

@book{zbMATH7312877,
 author = {Souravlias, Dimitris and Parsopoulos, Konstantinos E. and Kotsireas, Ilias S. and Pardalos, Panos M.},
 doi = {10.1007/978-3-030-68514-0},
 publisher = {Cham: Springer},
 title = {Algorithm portfolios. Advances, applications, and challenges},
 url = {https://doi.org/10.1007/978-3-030-68514-0},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/AsadiBM21,
 author = {Mohammadali Asadi and
Alexander Brandt and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_3},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {21--41},
 publisher = {Springer},
 title = {Computational Schemes for Subresultant Chains},
 url = {https://doi.org/10.1007/978-3-030-85165-1_3},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/BrandtM21,
 author = {Alexander Brandt and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_6},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {78--99},
 publisher = {Springer},
 title = {On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation},
 url = {https://doi.org/10.1007/978-3-030-85165-1_6},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/MazaS21,
 author = {Marc Moreno Maza and
Ryan Sandford},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_14},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {232--251},
 publisher = {Springer},
 title = {Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case},
 url = {https://doi.org/10.1007/978-3-030-85165-1_14},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/MazaW21,
 author = {Marc Moreno Maza and
Linxiao Wang},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_15},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {252--271},
 publisher = {Springer},
 title = {On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons},
 url = {https://doi.org/10.1007/978-3-030-85165-1_15},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/issac/CorlessSS21,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri and
B. David Saunders},
 booktitle = {ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021},
 doi = {10.1145/3452143.3465547},
 editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
 pages = {107--114},
 publisher = {ACM},
 title = {Equivalences for Linearizations of Matrix Polynomials},
 url = {https://doi.org/10.1145/3452143.3465547},
 year = {2021}
}

@inproceedings{DBLP:conf/issac/GiesbrechtHS21,
 author = {Mark Giesbrecht and
Qiao-Long Huang and
{\'{E}}ric Schost},
 booktitle = {ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021},
 doi = {10.1145/3452143.3465527},
 editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
 pages = {155--162},
 publisher = {ACM},
 title = {Sparse Multiplication of Multivariate Linear Differential Operators},
 url = {https://doi.org/10.1145/3452143.3465527},
 year = {2021}
}

@inproceedings{DBLP:conf/issac/HyunNS21,
 author = {Seung Gyu Hyun and
Vincent Neiger and
{\'{E}}ric Schost},
 booktitle = {ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021},
 doi = {10.1145/3452143.3465533},
 editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
 pages = {201--208},
 publisher = {ACM},
 title = {Algorithms for Linearly Recurrent Sequences of Truncated Polynomials},
 url = {https://doi.org/10.1145/3452143.3465533},
 year = {2021}
}

@inproceedings{DBLP:conf/issac/Maza21,
 author = {Marc Moreno Maza},
 booktitle = {ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021},
 doi = {10.1145/3452143.3465511},
 editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
 pages = {15--20},
 publisher = {ACM},
 title = {Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra},
 url = {https://doi.org/10.1145/3452143.3465511},
 year = {2021}
}

@inproceedings{DBLP:conf/synasc/DengRJ21,
 author = {Siyuan Deng and
Greg Reid and
D. J. Jeffrey},
 booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021},
 doi = {10.1109/SYNASC54541.2021.00017},
 editor = {Carsten Schneider and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {33--36},
 publisher = {IEEE},
 title = {Parametric Linear Algebra in Maple: Reduced Row Echelon Form},
 url = {https://doi.org/10.1109/SYNASC54541.2021.00017},
 year = {2021}
}

@inproceedings{DBLP:conf/synasc/Jeffrey21,
 author = {D. J. Jeffrey},
 booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021},
 doi = {10.1109/SYNASC54541.2021.00015},
 editor = {Carsten Schneider and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {19--24},
 publisher = {IEEE},
 title = {Tree \$T\$ and Lambert \$W\$},
 url = {https://doi.org/10.1109/SYNASC54541.2021.00015},
 year = {2021}
}

@misc{zbMATH900474418,
 author = {Robert H. C. Moir and Robert M. Corless},
 note = {Preprint, arXiv:2103.02730 [math.AP]},
 title = {Memoir on the vibratory movement of an elliptical membrane},
 url = {https://arxiv.org/abs/2103.02730},
 year = {2021}
}

@proceedings{DBLP:conf/issac/2021,
 booktitle = {ISSAC},
 doi = {10.1145/3452143},
 editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
 publisher = {ACM},
 title = {ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021},
 url = {https://doi.org/10.1145/3452143},
 year = {2021}
}

@proceedings{DBLP:conf/lion/2021,
 booktitle = {LION},
 doi = {10.1007/978-3-030-92121-7},
 editor = {Dimitris E. Simos and
Panos M. Pardalos and
Ilias S. Kotsireas},
 publisher = {Springer},
 title = {Learning and Intelligent Optimization - 15th International Conference, LION 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-92121-7},
 volume = {12931},
 year = {2021}
}

@proceedings{DBLP:conf/mc2/2020,
 booktitle = {MC},
 doi = {10.1007/978-3-030-81698-8},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 publisher = {Springer},
 title = {Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-81698-8},
 volume = {1414},
 year = {2021}
}

@proceedings{zbMATH7301636,
 doi = {10.1007/978-3-030-64973-9},
 editor = {Kotsireas, Ilias S. and Nagurney, Anna and Pardalos, Panos M. and Tsokas, Arsenios},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters. Impact, risk, resilience, and solutions. Based on the 4th international conference on dynamics of disasters, Kalamata, Greece, July 1--5, 2019},
 url = {https://doi.org/10.1007/978-3-030-64973-9},
 year = {2021}
}

@article{DBLP:journals/aaecc/BrightCSRKG20,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Dominique Roy and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1007/s00200-020-00426-y},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {195--213},
 title = {A nonexistence certificate for projective planes of order ten with weight 15 codewords},
 url = {https://doi.org/10.1007/s00200-020-00426-y},
 volume = {31},
 year = {2020}
}

@article{DBLP:journals/aaecc/GuendaHKMW20,
 author = {Kenza Guenda and
Iiro S. Honkala and
Ilias S. Kotsireas and
Teo Mora and
Qiang Wang},
 doi = {10.1007/s00200-020-00436-w},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {171--172},
 title = {Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019},
 url = {https://doi.org/10.1007/s00200-020-00436-w},
 volume = {31},
 year = {2020}
}

@article{DBLP:journals/amai/KotsireasKS20,
 author = {Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 doi = {10.1007/s10472-018-9607-9},
 journal = {Ann. Math. Artif. Intell.},
 pages = {213--236},
 title = {Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques},
 url = {https://doi.org/10.1007/s10472-018-9607-9},
 volume = {88},
 year = {2020}
}

@article{DBLP:journals/amai/KotsireasP20,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10472-019-09677-z},
 journal = {Ann. Math. Artif. Intell.},
 pages = {1--2},
 title = {Guest editorial: revised selected papers from the LION 12 conference},
 url = {https://doi.org/10.1007/s10472-019-09677-z},
 volume = {88},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2001-04228,
 author = {Taylor Brysiewicz and
Jose Israel Rodriguez and
Frank Sottile and
Thomas Yahl},
 doi = {10.48550/arXiv.2001.04228},
 journal = {CoRR},
 title = {Solving Decomposable Sparse Systems},
 url = {https://doi.org/10.48550/arXiv.2001.04228},
 volume = {abs/2001.04228},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2001-11973,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.2001.11973},
 journal = {CoRR},
 title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem},
 url = {https://doi.org/10.48550/arXiv.2001.11973},
 volume = {abs/2001.11973},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2001-11974,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.2001.11974},
 journal = {CoRR},
 title = {Nonexistence Certificates for Ovals in a Projective Plane of Order Ten},
 url = {https://doi.org/10.48550/arXiv.2001.11974},
 volume = {abs/2001.11974},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2002-00124,
 author = {Mark Giesbrecht and
Hui Huang and
George Labahn and
Eugene V. Zima},
 doi = {10.48550/arXiv.2002.00124},
 journal = {CoRR},
 title = {Efficient q-Integer Linear Decomposition of Multivariate Polynomials},
 url = {https://doi.org/10.48550/arXiv.2002.00124},
 volume = {abs/2002.00124},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2005-03497,
 author = {Mark Giesbrecht and
Armin Jamshidpey and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2005.03497},
 journal = {CoRR},
 title = {Subquadratic-Time Algorithms for Normal Bases},
 url = {https://doi.org/10.48550/arXiv.2005.03497},
 volume = {abs/2005.03497},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2006-03154,
 author = {Taylor Brysiewicz and
Jose Israel Rodriguez and
Frank Sottile and
Thomas Yahl},
 doi = {10.48550/arXiv.2006.03154},
 journal = {CoRR},
 title = {Decomposable sparse polynomial systems},
 url = {https://doi.org/10.48550/arXiv.2006.03154},
 volume = {abs/2006.03154},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2007-05041,
 author = {Robert M. Corless and
Erik Postma},
 doi = {10.48550/arXiv.2007.05041},
 journal = {CoRR},
 title = {Blends in Maple},
 url = {https://doi.org/10.48550/arXiv.2007.05041},
 volume = {abs/2007.05041},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2007-06571,
 author = {Robert M. Corless},
 doi = {10.48550/arXiv.2007.06571},
 journal = {CoRR},
 title = {Inverse Cubic Iteration},
 url = {https://doi.org/10.48550/arXiv.2007.06571},
 volume = {abs/2007.06571},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2009-00844,
 author = {George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
 doi = {10.48550/arXiv.2009.00844},
 journal = {CoRR},
 title = {Homotopy techniques for solving sparse column support determinantal polynomial systems},
 url = {https://doi.org/10.48550/arXiv.2009.00844},
 volume = {abs/2009.00844},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2009-00847,
 author = {Jean-Charles Faug{\`{e}}re and
George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
 doi = {10.48550/arXiv.2009.00847},
 journal = {CoRR},
 title = {Computing critical points for invariant algebraic systems},
 url = {https://doi.org/10.48550/arXiv.2009.00847},
 volume = {abs/2009.00847},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2010-10879,
 author = {Taylor Brysiewicz and
Claudia Fevola and
Bernd Sturmfels},
 doi = {10.48550/arXiv.2010.10879},
 journal = {CoRR},
 title = {Tangent Quadrics in Real 3-Space},
 url = {https://doi.org/10.48550/arXiv.2010.10879},
 volume = {abs/2010.10879},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2011-02162,
 author = {Hoon Hong and
James Rohal and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.48550/arXiv.2011.02162},
 journal = {CoRR},
 title = {Connectivity in Semi-Algebraic Sets I},
 url = {https://doi.org/10.48550/arXiv.2011.02162},
 volume = {abs/2011.02162},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2011-13860,
 author = {Taylor Brysiewicz and
Khazhgali Kozhasov and
Mario Kummer},
 doi = {10.48550/arXiv.2011.13860},
 journal = {CoRR},
 title = {Nodes on quintic spectrahedra},
 url = {https://doi.org/10.48550/arXiv.2011.13860},
 volume = {abs/2011.13860},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2012-04715,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.2012.04715},
 journal = {CoRR},
 title = {A SAT-based Resolution of Lam's Problem},
 url = {https://doi.org/10.48550/arXiv.2012.04715},
 volume = {abs/2012.04715},
 year = {2020}
}

@article{DBLP:journals/focm/GiesbrechtHK20,
 author = {Mark Giesbrecht and
Joseph Haraldson and
Erich L. Kaltofen},
 doi = {10.1007/s10208-019-09422-2},
 journal = {Found. Comput. Math.},
 pages = {331--366},
 title = {Computing Approximate Greatest Common Right Divisors of Differential Polynomials},
 url = {https://doi.org/10.1007/s10208-019-09422-2},
 volume = {20},
 year = {2020}
}

@article{DBLP:journals/jc/NeigerS20,
 author = {Vincent Neiger and
{\'{E}}ric Schost},
 doi = {10.1016/j.jco.2020.101502},
 journal = {J. Complex.},
 pages = {101502},
 title = {Computing syzygies in finite dimension using fast linear algebra},
 url = {https://doi.org/10.1016/j.jco.2020.101502},
 volume = {60},
 year = {2020}
}

@article{DBLP:journals/jsc/AlvandiAKM20,
 author = {Parisa Alvandi and
Masoud Ataei and
Mahsa Kazemi and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2019.07.009},
 journal = {J. Symb. Comput.},
 pages = {120--162},
 title = {On the Extended Hensel Construction and its application to the computation of real limit points},
 url = {https://doi.org/10.1016/j.jsc.2019.07.009},
 volume = {98},
 year = {2020}
}

@article{DBLP:journals/jsc/BrightKG20,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1016/j.jsc.2019.07.024},
 journal = {J. Symb. Comput.},
 pages = {187--209},
 title = {Applying computer algebra systems with SAT solvers to the Williamson conjecture},
 url = {https://doi.org/10.1016/j.jsc.2019.07.024},
 volume = {100},
 year = {2020}
}

@article{DBLP:journals/jsc/GiesbrechtHL20,
 author = {Mark Giesbrecht and
Joseph Haraldson and
George Labahn},
 doi = {10.1016/j.jsc.2019.07.012},
 journal = {J. Symb. Comput.},
 pages = {225--245},
 title = {Computing lower rank approximations of matrix polynomials},
 url = {https://doi.org/10.1016/j.jsc.2019.07.012},
 volume = {98},
 year = {2020}
}

@article{DBLP:journals/jsc/HyunNRS20,
 author = {Seung Gyu Hyun and
Vincent Neiger and
Hamid Rahkooy and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2019.07.010},
 journal = {J. Symb. Comput.},
 pages = {163--191},
 title = {Block-Krylov techniques in the context of sparse-FGLM algorithms},
 url = {https://doi.org/10.1016/j.jsc.2019.07.010},
 volume = {98},
 year = {2020}
}

@article{DBLP:journals/mics/BigattiBDGKLL20,
 author = {Anna Maria Bigatti and
Francisco Botana and
Thierry N. Dana-Picard and
Felipe Gago and
Ilias S. Kotsireas and
Manuel Ladra and
Wei Li},
 doi = {10.1007/s11786-019-00445-0},
 journal = {Math. Comput. Sci.},
 pages = {191--192},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-019-00445-0},
 volume = {14},
 year = {2020}
}

@article{DBLP:journals/mics/Brysiewicz20,
 author = {Taylor Brysiewicz},
 doi = {10.1007/s11786-020-00454-4},
 journal = {Math. Comput. Sci.},
 pages = {577--589},
 title = {Numerical Software to Compute Newton polytopes and Tropical Membership},
 url = {https://doi.org/10.1007/s11786-020-00454-4},
 volume = {14},
 year = {2020}
}

@article{DBLP:journals/mics/LabahnDU20,
 author = {George Labahn and
James H. Davenport and
Josef Urban},
 doi = {10.1007/s11786-020-00475-z},
 journal = {Math. Comput. Sci.},
 pages = {531--532},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-020-00475-z},
 volume = {14},
 year = {2020}
}

@article{DBLP:journals/na/AmiraslaniCG20,
 author = {Amirhossein Amiraslani and
Robert M. Corless and
Madhusoodan Gunasingam},
 doi = {10.1007/s11075-019-00668-z},
 journal = {Numer. Algorithms},
 pages = {1--31},
 title = {Differentiation matrices for univariate polynomials},
 url = {https://doi.org/10.1007/s11075-019-00668-z},
 volume = {83},
 year = {2020}
}

@article{DBLP:journals/na/MoirCMX20,
 author = {Robert H. C. Moir and
Robert M. Corless and
Marc Moreno Maza and
Ning Xie},
 doi = {10.1007/s11075-019-00726-6},
 journal = {Numer. Algorithms},
 pages = {1295--1320},
 title = {Symbolic-numeric integration of rational functions},
 url = {https://doi.org/10.1007/s11075-019-00726-6},
 volume = {83},
 year = {2020}
}

@article{DBLP:journals/siamrev/CorlessS20,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri},
 doi = {10.1137/18M1181985},
 journal = {SIAM Rev.},
 pages = {231--243},
 title = {The Runge Example for Interpolation and Wilkinson's Examples for Rootfinding},
 url = {https://doi.org/10.1137/18M1181985},
 volume = {62},
 year = {2020}
}

@article{DBLP:journals/tit/BrightKG20,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1109/TIT.2020.3016510},
 journal = {IEEE Trans. Inf. Theory},
 pages = {7739--7751},
 title = {New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences},
 url = {https://doi.org/10.1109/TIT.2020.3016510},
 volume = {66},
 year = {2020}
}

@article{zbMATH7207295,
 author = {Chan, Eunice Y. S. and Corless, Robert M. and Gonzalez-Vega, Laureano and Sendra, J. Rafael and Sendra, Juana and Thornton, Steven E.},
 doi = {10.1016/j.laa.2020.03.037},
 journal = {Linear Algebra and its Applications},
 pages = {72--100},
 title = {Upper Hessenberg and Toeplitz Bohemians},
 url = {https://doi.org/10.1016/j.laa.2020.03.037},
 volume = {601},
 year = {2020}
}

@article{zbMATH7247054,
 author = {Goldberger, Assaf and Kotsireas, Ilias},
 journal = {S{\'{e}}minaire Lotharingien de Combinatoire},
 title = {Formal orthogonal pairs via monomial representations and cohomology},
 url = {https://arxiv.org/abs/2006.01197},
 volume = {84B},
 year = {2020}
}

@article{zbMATH7272751,
 author = {Jamshidpey, Armin and Lemire, Nicole and Schost, {\'{E}}ric},
 doi = {10.1142/S0219498820502060},
 journal = {Journal of Algebra and its Applications},
 title = {Algebraic construction of quasi-split algebraic tori},
 url = {https://doi.org/10.1142/S0219498820502060},
 volume = {19},
 year = {2020}
}

@book{MR4464369,
 author = {Brysiewicz, Taylor Christian},
 note = {Thesis (Ph.D.)--Texas A\&M University},
 pages = {206},
 publisher = {ProQuest LLC, Ann Arbor, MI},
 title = {Newton {P}olytopes and {N}umerical {A}lgebraic {G}eometry},
 url = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:29270257},
 year = {2020}
}

@inproceedings{DBLP:conf/casc/BrandtKM20,
 author = {Alexander Brandt and
Mahsa Kazemi and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings},
 doi = {10.1007/978-3-030-60026-6_7},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {108--128},
 publisher = {Springer},
 title = {Power Series Arithmetic with the BPAS Library},
 url = {https://doi.org/10.1007/978-3-030-60026-6_7},
 volume = {12291},
 year = {2020}
}

@inproceedings{DBLP:conf/casc/CorlessGSS20,
 author = {Robert M. Corless and
Mark Giesbrecht and
Leili Rafiee Sevyeri and
B. David Saunders},
 booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings},
 doi = {10.1007/978-3-030-60026-6_11},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {188--205},
 publisher = {Springer},
 title = {On Parametric Linear System Solving},
 url = {https://doi.org/10.1007/978-3-030-60026-6_11},
 volume = {12291},
 year = {2020}
}

@inproceedings{DBLP:conf/casc/JingMT20,
 author = {Rui-Juan Jing and
Marc Moreno Maza and
Delaram Talaashrafi},
 booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings},
 doi = {10.1007/978-3-030-60026-6_16},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {282--306},
 publisher = {Springer},
 title = {Complexity Estimates for Fourier-Motzkin Elimination},
 url = {https://doi.org/10.1007/978-3-030-60026-6_16},
 volume = {12291},
 year = {2020}
}

@inproceedings{DBLP:conf/clef/NgFKLMTW20,
 author = {Yin Ki Ng and
Dallas J. Fraser and
Besat Kassaie and
George Labahn and
Mirette S. Marzouk and
Frank Wm. Tompa and
Kevin Wang},
 booktitle = {Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020.},
 editor = {Linda Cappellato and
Carsten Eickhoff and
Nicola Ferro and
Aur{\'{e}}lie N{\'{e}}v{\'{e}}ol},
 publisher = {CEUR-WS.org},
 title = {Dowsing for Math Answers with Tangent-L},
 url = {https://ceur-ws.org/Vol-2696/paper_167.pdf},
 volume = {2696},
 year = {2020}
}

@inproceedings{DBLP:conf/icms/BrandtMM20,
 author = {Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza},
 booktitle = {Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings},
 doi = {10.1007/978-3-030-52200-1_34},
 editor = {Anna Maria Bigatti and
Jacques Carette and
James H. Davenport and
Michael Joswig and
Timo de Wolff},
 pages = {342--352},
 publisher = {Springer},
 title = {Employing C++ Templates in the Design of a Computer Algebra Library},
 url = {https://doi.org/10.1007/978-3-030-52200-1_34},
 volume = {12097},
 year = {2020}
}

@inproceedings{DBLP:conf/ijcai/BrightCSKG20,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020},
 doi = {10.24963/ijcai.2020/203},
 editor = {Christian Bessiere},
 pages = {1460--1466},
 publisher = {ijcai.org},
 title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem},
 url = {https://doi.org/10.24963/ijcai.2020/203},
 year = {2020}
}

@inproceedings{DBLP:conf/issac/AsadiBMMX20,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020},
 doi = {10.1145/3373207.3404065},
 editor = {Ioannis Z. Emiris and
Lihong Zhi},
 pages = {22--29},
 publisher = {ACM},
 title = {On the parallelization of triangular decompositions},
 url = {https://doi.org/10.1145/3373207.3404065},
 year = {2020}
}

@inproceedings{DBLP:conf/issac/BirmpilisLS20,
 author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
 booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020},
 doi = {10.1145/3373207.3404022},
 editor = {Ioannis Z. Emiris and
Lihong Zhi},
 pages = {38--45},
 publisher = {ACM},
 title = {A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix},
 url = {https://doi.org/10.1145/3373207.3404022},
 year = {2020}
}

@inproceedings{DBLP:conf/issac/ElliottGS20,
 author = {Jesse Elliott and
Mark Giesbrecht and
{\'{E}}ric Schost},
 booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020},
 doi = {10.1145/3373207.3404058},
 editor = {Ioannis Z. Emiris and
Lihong Zhi},
 pages = {170--177},
 publisher = {ACM},
 title = {On the bit complexity of finding points in connected components of a smooth real hypersurface},
 url = {https://doi.org/10.1145/3373207.3404058},
 year = {2020}
}

@inproceedings{DBLP:conf/issac/GiesbrechtHS20,
 author = {Mark Giesbrecht and
Qiao-Long Huang and
{\'{E}}ric Schost},
 booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020},
 doi = {10.1145/3373207.3404023},
 editor = {Ioannis Z. Emiris and
Lihong Zhi},
 pages = {194--201},
 publisher = {ACM},
 title = {Sparse multiplication for skew polynomials},
 url = {https://doi.org/10.1145/3373207.3404023},
 year = {2020}
}

@inproceedings{DBLP:conf/iwoca/BrightCSKG20,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 booktitle = {Combinatorial Algorithms - 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings},
 doi = {10.1007/978-3-030-48966-3_8},
 editor = {Leszek Gasieniec and
Ralf Klasing and
Tomasz Radzik},
 pages = {97--111},
 publisher = {Springer},
 title = {Nonexistence Certificates for Ovals in a Projective Plane of Order Ten},
 url = {https://doi.org/10.1007/978-3-030-48966-3_8},
 volume = {12126},
 year = {2020}
}

@inproceedings{DBLP:conf/mc2/AsadiBKMP20,
 author = {Mohammadali Asadi and
Alexander Brandt and
Mahsa Kazemi and
Marc Moreno Maza and
Erik J. Postma},
 booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers},
 doi = {10.1007/978-3-030-81698-8_4},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {48--66},
 publisher = {Springer},
 title = {Multivariate Power Series in Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_4},
 volume = {1414},
 year = {2020}
}

@inproceedings{DBLP:conf/mc2/AyoubBJ20,
 author = {Toufic J. Ayoub and
Kishore Basu and
David J. Jeffrey},
 booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers},
 doi = {10.1007/978-3-030-81698-8_5},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {67--76},
 publisher = {Springer},
 title = {Bernoulli's Problem xy=yx and Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_5},
 volume = {1414},
 year = {2020}
}

@inproceedings{DBLP:conf/mc2/CorlessP20,
 author = {Robert M. Corless and
Erik J. Postma},
 booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers},
 doi = {10.1007/978-3-030-81698-8_12},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {167--184},
 publisher = {Springer},
 title = {Blends in Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_12},
 volume = {1414},
 year = {2020}
}

@inproceedings{DBLP:conf/synasc/AyoubBJ20,
 author = {Toufic J. Ayoub and
Kishore Basu and
D. J. Jeffrey},
 booktitle = {22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020},
 doi = {10.1109/SYNASC51798.2020.00059},
 pages = {36--39},
 publisher = {IEEE},
 title = {Recent results on the Lambert W function},
 url = {https://doi.org/10.1109/SYNASC51798.2020.00059},
 year = {2020}
}

@inproceedings{DBLP:conf/synasc/SevyeriC20,
 author = {Leili Rafiee Sevyeri and
Robert M. Corless},
 booktitle = {22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020},
 doi = {10.1109/SYNASC51798.2020.00018},
 pages = {40--47},
 publisher = {IEEE},
 title = {Approximate GCD in Lagrange bases},
 url = {https://doi.org/10.1109/SYNASC51798.2020.00018},
 year = {2020}
}

@inproceedings{zbMATH7223438,
 author = {Chan, Eunice Y. S. and Corless, Robert M.},
 booktitle = {Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25--29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 203-226},
 doi = {10.1007/978-3-030-36568-4_14},
 pages = {203--226},
 title = {A random walk through experimental mathematics},
 url = {https://doi.org/10.1007/978-3-030-36568-4_14},
 year = {2020}
}

@misc{zbMATH900560934,
 author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias Kotsireas and Vijay Ganesh},
 doi = {10.1609/aaai.v35i5.16483},
 note = {Preprint, arXiv:2012.04715 [cs.DM]},
 title = {A SAT-based Resolution of Lam's Problem},
 url = {https://doi.org/10.1609/aaai.v35i5.16483},
 year = {2020}
}

@proceedings{DBLP:conf/cade/2020paar,
 booktitle = {PAAR+SC²@IJCAR},
 editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
 publisher = {CEUR-WS.org},
 title = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual)},
 url = {https://ceur-ws.org/Vol-2752},
 volume = {2752},
 year = {2020}
}

@proceedings{DBLP:conf/lion/2020,
 booktitle = {LION},
 doi = {10.1007/978-3-030-53552-0},
 editor = {Ilias S. Kotsireas and
Panos M. Pardalos},
 publisher = {Springer},
 title = {Learning and Intelligent Optimization - 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-53552-0},
 volume = {12096},
 year = {2020}
}