@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-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}
}

@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/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}
}

@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-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-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}
}

@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/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/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}
}

@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{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}
}

@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/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/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}
}

@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}
}

@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-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-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}
}

@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/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/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/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}
}

@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/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}
}

@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}
}

@inproceedings{DBLP:conf/mc2/AlvandiW19,
 author = {Parisa Alvandi and
Stephen M. Watt},
 booktitle = {Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
 doi = {10.1007/978-3-030-41258-6_2},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {13--29},
 publisher = {Springer},
 title = {The LegendreSobolev Package and Its Applications in Handwriting Recognition},
 url = {https://doi.org/10.1007/978-3-030-41258-6_2},
 volume = {1125},
 year = {2019}
}

@inproceedings{DBLP:conf/synasc/AlvandiW19,
 author = {Parisa Alvandi and
Stephen M. Watt},
 booktitle = {21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019},
 doi = {10.1109/SYNASC49474.2019.00036},
 pages = {206--213},
 publisher = {IEEE},
 title = {Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation},
 url = {https://doi.org/10.1109/SYNASC49474.2019.00036},
 year = {2019}
}

@inproceedings{DBLP:conf/synasc/Watt19,
 author = {Stephen M. Watt},
 booktitle = {21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019},
 doi = {10.1109/SYNASC49474.2019.00013},
 pages = {22},
 publisher = {IEEE},
 title = {A Review of Algorithms for Symbolic Domains},
 url = {https://doi.org/10.1109/SYNASC49474.2019.00013},
 year = {2019}
}

@inproceedings{DBLP:conf/synasc/AlvandiW18,
 author = {Parisa Alvandi and
Stephen M. Watt},
 booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018},
 doi = {10.1109/SYNASC.2018.00023},
 pages = {67--74},
 publisher = {IEEE},
 title = {Real-Time Computation of Legendre-Sobolev Approximations},
 url = {https://doi.org/10.1109/SYNASC.2018.00023},
 year = {2018}
}

@inproceedings{zbMATH7250464,
 author = {Ion, Patrick D. F. and Bouche, Thierry and Misra, Gadadhar and Onshuus, Alf A. and Watt, Stephen M. and Zheng, Liu},
 booktitle = {Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matem{\'{a}}tica (SBM). 1157-1175},
 doi = {10.1142/9789813272880_0041},
 pages = {1157--1175},
 title = {International Mathematical Knowledge Trust IMKT: an update on the global digital mathematics library},
 url = {https://doi.org/10.1142/9789813272880_0041},
 year = {2018}
}

@article{DBLP:journals/tcs/VerscheldeWZ17,
 author = {Jan Verschelde and
Stephen M. Watt and
Lihong Zhi},
 doi = {10.1016/j.tcs.2017.03.023},
 journal = {Theor. Comput. Sci.},
 pages = {1--2},
 title = {TCS SNC Preface},
 url = {https://doi.org/10.1016/j.tcs.2017.03.023},
 volume = {681},
 year = {2017}
}

@inproceedings{DBLP:conf/mkm/IonW17,
 author = {Patrick D. F. Ion and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
 doi = {10.1007/978-3-319-62075-6_5},
 editor = {Herman Geuvers and
Matthew England and
Osman Hasan and
Florian Rabe and
Olaf Teschke},
 pages = {56--69},
 publisher = {Springer},
 title = {The Global Digital Mathematics Library and the International Mathematical Knowledge Trust},
 url = {https://doi.org/10.1007/978-3-319-62075-6_5},
 volume = {10383},
 year = {2017}
}

@inproceedings{DBLP:conf/sycss/IdaW17,
 author = {Tetsuo Ida and
Stephen M. Watt},
 booktitle = {SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
 doi = {10.29007/n76q},
 editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
 pages = {83--95},
 publisher = {EasyChair},
 title = {Origami folds in higher-dimension},
 url = {https://doi.org/10.29007/n76q},
 volume = {45},
 year = {2017}
}

@proceedings{DBLP:conf/synasc/2017,
 booktitle = {SYNASC},
 editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
 publisher = {IEEE Computer Society},
 title = {19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017},
 url = {https://ieeexplore.ieee.org/xpl/conhome/8528958/proceeding},
 year = {2017}
}

@article{DBLP:journals/cca/LabahnW16,
 author = {George Labahn and
Stephen M. Watt},
 doi = {10.1145/2930964.2930967},
 journal = {ACM Commun. Comput. Algebra},
 pages = {25--26},
 title = {Thematic program in computer algebra: July 1 - Dec 31, 2015},
 url = {https://doi.org/10.1145/2930964.2930967},
 volume = {50},
 year = {2016}
}

@inproceedings{DBLP:conf/synasc/ChenW16,
 author = {Shaoshi Chen and
Stephen M. Watt},
 booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016},
 doi = {10.1109/SYNASC.2016.022},
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {60--64},
 publisher = {IEEE},
 title = {Combinatorics of Hybrid Sets},
 url = {https://doi.org/10.1109/SYNASC.2016.022},
 year = {2016}
}

@inproceedings{DBLP:conf/synasc/Watt16,
 author = {Stephen M. Watt},
 booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016},
 doi = {10.1109/SYNASC.2016.019},
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {37--40},
 publisher = {IEEE},
 title = {How to Build a Global Digital Mathematics Library},
 url = {https://doi.org/10.1109/SYNASC.2016.019},
 year = {2016}
}

@proceedings{DBLP:conf/synasc/2016,
 booktitle = {SYNASC},
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {IEEE},
 title = {18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016},
 url = {https://ieeexplore.ieee.org/xpl/conhome/7827704/proceeding},
 year = {2016}
}

@proceedings{DBLP:conf/synasc/2015,
 booktitle = {SYNASC},
 editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {IEEE Computer Society},
 title = {17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015},
 url = {https://ieeexplore.ieee.org/xpl/conhome/7425657/proceeding},
 year = {2015}
}

@inproceedings{DBLP:conf/iccS/FelkerMW14,
 author = {Travis Felker and
Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Proceedings of the International Conference on Computational Science, ICCS 2014, Cairns, Queensland, Australia, 10-12 June, 2014},
 doi = {10.1016/j.procs.2014.05.189},
 editor = {David Abramson and
Michael Lees and
Valeria V. Krzhizhanovskaya and
Jack J. Dongarra and
Peter M. A. Sloot},
 pages = {2055--2064},
 publisher = {Elsevier},
 title = {Distance-based High-frequency Trading},
 url = {https://doi.org/10.1016/j.procs.2014.05.189},
 volume = {29},
 year = {2014}
}

@proceedings{DBLP:conf/mkm/2014,
 booktitle = {CICM},
 doi = {10.1007/978-3-319-08434-3},
 editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
 publisher = {Springer},
 title = {Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
 url = {https://doi.org/10.1007/978-3-319-08434-3},
 volume = {8543},
 year = {2014}
}

@proceedings{DBLP:conf/mkm/2014ws,
 booktitle = {CICM Workshops},
 editor = {Matthew England and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Walther Neuper and
Pedro Quaresma and
Alan P. Sexton and
Petr Sojka and
Josef Urban and
Stephen M. Watt},
 publisher = {CEUR-WS.org},
 title = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014},
 url = {https://ceur-ws.org/Vol-1186},
 volume = {1186},
 year = {2014}
}

@proceedings{DBLP:conf/snc/2014,
 booktitle = {SNC},
 editor = {Lihong Zhi and
Stephen M. Watt},
 publisher = {ACM},
 title = {Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014},
 url = {http://dl.acm.org/citation.cfm?id=2631948},
 year = {2014}
}

@proceedings{DBLP:conf/synasc/2014,
 booktitle = {SYNASC},
 editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {IEEE Computer Society},
 title = {16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014},
 url = {https://ieeexplore.ieee.org/xpl/conhome/7031476/proceeding},
 year = {2014}
}

@proceedings{zbMATH6545110,
 doi = {10.1145/2631948},
 editor = {Watt, Stephen M. and Verschelde, Jan and Zhi, Lihong},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28--31, 2014},
 url = {https://doi.org/10.1145/2631948},
 year = {2014}
}

@article{DBLP:journals/corr/HuW13,
 author = {Rui Hu and
Stephen M. Watt},
 doi = {10.48550/arXiv.1306.4966},
 journal = {CoRR},
 title = {Determining Points on Handwritten Mathematical Symbols},
 url = {https://doi.org/10.48550/arXiv.1306.4966},
 volume = {abs/1306.4966},
 year = {2013}
}

@article{DBLP:journals/jsc/KoepfW13,
 author = {Wolfram Koepf and
Stephen M. Watt},
 doi = {10.1016/j.jsc.2011.12.013},
 journal = {J. Symb. Comput.},
 pages = {1--2},
 title = {Guest Editors' foreword},
 url = {https://doi.org/10.1016/j.jsc.2011.12.013},
 volume = {49},
 year = {2013}
}

@inproceedings{DBLP:conf/mkm/Hu13,
 author = {Rui Hu and
Stephen M. Watt},
 booktitle = {Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK},
 editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Pedro Quaresma and
Florian Rabe and
Petr Sojka and
Iain Whiteside and
Wolfgang Windsteiger},
 publisher = {CEUR-WS.org},
 title = {InkChat: a collaboration tool for mathematics},
 url = {https://ceur-ws.org/Vol-1010/paper-14.pdf},
 volume = {1010},
 year = {2013}
}

@inproceedings{DBLP:conf/mkm/HuW13,
 author = {Rui Hu and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings},
 doi = {10.1007/978-3-642-39320-4_11},
 editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
 pages = {168--183},
 publisher = {Springer},
 title = {Determining Points on Handwritten Mathematical Symbols},
 url = {https://doi.org/10.1007/978-3-642-39320-4_11},
 volume = {7961},
 year = {2013}
}

@inproceedings{DBLP:conf/mkm/Mazalov13,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK},
 editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Pedro Quaresma and
Florian Rabe and
Petr Sojka and
Iain Whiteside and
Wolfgang Windsteiger},
 publisher = {CEUR-WS.org},
 title = {Recommendation systems in mathematical character recognition},
 url = {https://ceur-ws.org/Vol-1010/paper-19.pdf},
 volume = {1010},
 year = {2013}
}

@inproceedings{DBLP:conf/synasc/HuW13,
 author = {Rui Hu and
Stephen M. Watt},
 booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013},
 doi = {10.1109/SYNASC.2013.15},
 editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {61--67},
 publisher = {IEEE Computer Society},
 title = {Identifying Features via Homotopy on Handwritten Mathematical Symbols},
 url = {https://doi.org/10.1109/SYNASC.2013.15},
 year = {2013}
}

@proceedings{DBLP:conf/synasc/2013,
 booktitle = {SYNASC},
 editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {IEEE Computer Society},
 title = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013},
 url = {https://ieeexplore.ieee.org/xpl/conhome/6820820/proceeding},
 year = {2013}
}

@proceedings{zbMATH6116589,
 editor = {Koepf, Wolfram and Watt, Stephen M.},
 title = {Special issue: Selected papers based on the presentations at the 35th international symposium on symbolic and algebraic computation, ISSAC, M{\"{u}}nchen, Germany, July 25--28, 2010},
 year = {2013}
}

@inproceedings{DBLP:conf/aisc/HuMW12,
 author = {Rui Hu and
Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings},
 doi = {10.1007/978-3-642-31374-5_6},
 editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
 pages = {81--95},
 publisher = {Springer},
 title = {A Streaming Digital Ink Framework for Multi-party Collaboration},
 url = {https://doi.org/10.1007/978-3-642-31374-5_6},
 volume = {7362},
 year = {2012}
}

@inproceedings{DBLP:conf/aisc/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings},
 doi = {10.1007/978-3-642-31374-5_27},
 editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
 pages = {402--416},
 publisher = {Springer},
 title = {Writing on Clouds},
 url = {https://doi.org/10.1007/978-3-642-31374-5_27},
 volume = {7362},
 year = {2012}
}

@inproceedings{DBLP:conf/casc/BourdykineW12,
 author = {Pavel Bourdykine and
Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings},
 doi = {10.1007/978-3-642-32973-9_5},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {47--59},
 publisher = {Springer},
 title = {Lightweight Abstraction for Mathematical Computation in Java},
 url = {https://doi.org/10.1007/978-3-642-32973-9_5},
 volume = {7442},
 year = {2012}
}

@inproceedings{DBLP:conf/das/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {10th IAPR International Workshop on Document Analysis Systems, DAS 2012, Gold Coast, Queenslands, Australia, March 27-29, 2012},
 doi = {10.1109/DAS.2012.51},
 editor = {Michael Blumenstein and
Umapada Pal and
Seiichi Uchida},
 pages = {429--434},
 publisher = {IEEE Computer Society},
 title = {Linear Compression of Digital Ink via Point Selection},
 url = {https://doi.org/10.1109/DAS.2012.51},
 year = {2012}
}

@inproceedings{DBLP:conf/drr/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Document Recognition and Retrieval XIX, part of the IS\&T-SPIE Electronic Imaging Symposium, Burlingame, California, USA, January 25-26, 2012, Proceedings},
 doi = {10.1117/12.912112},
 editor = {Christian Viard-Gaudin and
Richard Zanibbi},
 pages = {82970B},
 publisher = {SPIE},
 title = {Improving isolated and in-context classication of handwritten characters},
 url = {https://doi.org/10.1117/12.912112},
 volume = {8297},
 year = {2012}
}

@inproceedings{DBLP:conf/icfhr/HuW12,
 author = {Rui Hu and
Stephen M. Watt},
 booktitle = {2012 International Conference on Frontiers in Handwriting Recognition, ICFHR 2012, Bari, Italy, September 18-20, 2012},
 doi = {10.1109/ICFHR.2012.252},
 pages = {527--532},
 publisher = {IEEE Computer Society},
 title = {Optimization of Point Selection on Digital Ink Curves},
 url = {https://doi.org/10.1109/ICFHR.2012.252},
 year = {2012}
}

@inproceedings{DBLP:conf/icfhr/MazalovW12a,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {2012 International Conference on Frontiers in Handwriting Recognition, ICFHR 2012, Bari, Italy, September 18-20, 2012},
 doi = {10.1109/ICFHR.2012.169},
 pages = {692--697},
 publisher = {IEEE Computer Society},
 title = {A Structure for Adaptive Handwriting Recognition},
 url = {https://doi.org/10.1109/ICFHR.2012.169},
 year = {2012}
}

@inproceedings{DBLP:conf/icfhr/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {2012 International Conference on Frontiers in Handwriting Recognition, ICFHR 2012, Bari, Italy, September 18-20, 2012},
 doi = {10.1109/ICFHR.2012.257},
 pages = {319--324},
 publisher = {IEEE Computer Society},
 title = {Recognition of Relatively Small Handwritten Characters or "Size Matters"},
 url = {https://doi.org/10.1109/ICFHR.2012.257},
 year = {2012}
}

@inproceedings{DBLP:conf/synasc/MarcusW12,
 author = {Solomon Marcus and
Stephen M. Watt},
 booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012},
 doi = {10.1109/SYNASC.2012.79},
 editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {23--29},
 publisher = {IEEE Computer Society},
 title = {What is an Equation?},
 url = {https://doi.org/10.1109/SYNASC.2012.79},
 year = {2012}
}

@proceedings{DBLP:conf/synasc/2012,
 booktitle = {SYNASC},
 editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {IEEE Computer Society},
 title = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012},
 url = {https://ieeexplore.ieee.org/xpl/conhome/6480928/proceeding},
 year = {2012}
}

@article{DBLP:journals/jsc/GiesbrechtW11,
 author = {Mark Giesbrecht and
Stephen M. Watt},
 doi = {10.1016/j.jsc.2010.08.009},
 journal = {J. Symb. Comput.},
 pages = {735--740},
 title = {In honour of Keith Geddes on his 60th birthday},
 url = {https://doi.org/10.1016/j.jsc.2010.08.009},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/scp/OanceaW11,
 author = {Cosmin E. Oancea and
Stephen M. Watt},
 doi = {10.1016/j.scico.2009.09.008},
 journal = {Sci. Comput. Program.},
 pages = {258--277},
 title = {An architecture for generic extensions},
 url = {https://doi.org/10.1016/j.scico.2009.09.008},
 volume = {76},
 year = {2011}
}

@inproceedings{DBLP:conf/snc/Watt11,
 author = {Stephen M. Watt},
 booktitle = {SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011},
 doi = {10.1145/2331684.2331687},
 editor = {Marc Moreno Maza},
 pages = {3--7},
 publisher = {ACM},
 title = {Polynomial approximation in handwriting recognition},
 url = {https://doi.org/10.1145/2331684.2331687},
 year = {2011}
}

@inproceedings{DBLP:conf/synasc/Watt11,
 author = {Stephen M. Watt},
 booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011},
 doi = {10.1109/SYNASC.2011.64},
 editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {16--18},
 publisher = {IEEE Computer Society},
 title = {Computational Tools for Mathematical Collaboration},
 url = {https://doi.org/10.1109/SYNASC.2011.64},
 year = {2011}
}

@proceedings{DBLP:conf/synasc/2011,
 booktitle = {SYNASC},
 editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {IEEE Computer Society},
 title = {13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011},
 url = {https://ieeexplore.ieee.org/xpl/conhome/6168887/proceeding},
 year = {2011}
}

@article{DBLP:journals/corr/CaretteSSW10,
 author = {Jacques Carette and
Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
 doi = {10.48550/arXiv.1004.5549},
 journal = {CoRR},
 title = {Symbolic Domain Decomposition},
 url = {https://doi.org/10.48550/arXiv.1004.5549},
 volume = {abs/1004.5549},
 year = {2010}
}

@article{DBLP:journals/ijdar/GolubitskyW10,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 doi = {10.1007/s10032-009-0107-7},
 journal = {Int. J. Document Anal. Recognit.},
 pages = {133--146},
 title = {Distance-based classification of handwritten symbols},
 url = {https://doi.org/10.1007/s10032-009-0107-7},
 volume = {13},
 year = {2010}
}

@inproceedings{DBLP:conf/aisc/CaretteSSW10,
 author = {Jacques Carette and
Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings},
 doi = {10.1007/978-3-642-14128-7_16},
 editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
 pages = {172--188},
 publisher = {Springer},
 title = {Symbolic Domain Decomposition},
 url = {https://doi.org/10.1007/978-3-642-14128-7_16},
 volume = {6167},
 year = {2010}
}

@inproceedings{DBLP:conf/casc/DraganW10,
 author = {Laurentiu Dragan and
Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings},
 doi = {10.1007/978-3-642-15274-0_7},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {73--84},
 publisher = {Springer},
 title = {Type Specialization in Aldor},
 url = {https://doi.org/10.1007/978-3-642-15274-0_7},
 volume = {6244},
 year = {2010}
}

@inproceedings{DBLP:conf/das/GolubitskyMW10,
 author = {Oleg Golubitsky and
Vadim Mazalov and
Stephen M. Watt},
 booktitle = {The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA},
 doi = {10.1145/1815330.1815335},
 editor = {David S. Doermann and
Venu Govindaraju and
Daniel P. Lopresti and
Premkumar Natarajan},
 pages = {35--42},
 publisher = {ACM},
 title = {Toward affine recognition of handwritten mathematical characters},
 url = {https://doi.org/10.1145/1815330.1815335},
 year = {2010}
}

@inproceedings{DBLP:conf/das/GolubitskyW10,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 booktitle = {The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA},
 doi = {10.1145/1815330.1815338},
 editor = {David S. Doermann and
Venu Govindaraju and
Daniel P. Lopresti and
Premkumar Natarajan},
 pages = {59--64},
 publisher = {ACM},
 title = {Improved classification through runoff elections},
 url = {https://doi.org/10.1145/1815330.1815338},
 year = {2010}
}

@inproceedings{DBLP:conf/icfhr/MazalovW10,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {International Conference on Frontiers in Handwriting Recognition, ICFHR 2010, Kolkata, India, 16-18 November 2010},
 doi = {10.1109/ICFHR.2010.112},
 pages = {688--694},
 publisher = {IEEE Computer Society},
 title = {Digital Ink Compression via Functional Approximation},
 url = {https://doi.org/10.1109/ICFHR.2010.112},
 year = {2010}
}

@inproceedings{DBLP:conf/synasc/Watt10,
 author = {Stephen M. Watt},
 booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010},
 doi = {10.1109/SYNASC.2010.93},
 editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {17},
 publisher = {IEEE Computer Society},
 title = {On the Mathematics of Mathematical Handwriting Recognition},
 url = {https://doi.org/10.1109/SYNASC.2010.93},
 year = {2010}
}

@proceedings{DBLP:conf/synasc/2010,
 booktitle = {SYNASC},
 editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {IEEE Computer Society},
 title = {12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010},
 url = {https://ieeexplore.ieee.org/xpl/conhome/5714592/proceeding},
 year = {2010}
}

@proceedings{zbMATH6198938,
 doi = {10.1145/1837934},
 editor = {Watt, Stephen M.},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25--28, 2010},
 url = {https://doi.org/10.1145/1837934},
 year = {2010}
}

@inproceedings{DBLP:conf/drr/GolubitskyW09,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 booktitle = {Document Recognition and Retrieval XVI, part of the IS\&T-SPIE Electronic Imaging Symposium, San Jose, CA, USA, January 20-22, 2009. Proceedings},
 doi = {10.1117/12.806163},
 editor = {Kathrin Berkner and
Laurence Likforman-Sulem},
 pages = {72470C},
 publisher = {SPIE},
 title = {Online computation of similarity between handwritten characters},
 url = {https://doi.org/10.1117/12.806163},
 volume = {7247},
 year = {2009}
}

@inproceedings{DBLP:conf/icdar/GolubitskyW09,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 booktitle = {10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009},
 doi = {10.1109/ICDAR.2009.229},
 pages = {1265--1269},
 publisher = {IEEE Computer Society},
 title = {Online Recognition of Multi-Stroke Symbols with Orthogonal Series},
 url = {https://doi.org/10.1109/ICDAR.2009.229},
 year = {2009}
}

@inproceedings{DBLP:conf/icdar/RegmiW09,
 author = {Amit Regmi and
Stephen M. Watt},
 booktitle = {10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009},
 doi = {10.1109/ICDAR.2009.205},
 pages = {901--905},
 publisher = {IEEE Computer Society},
 title = {A Collaborative Interface for Multimodal Ink and Audio Documents},
 url = {https://doi.org/10.1109/ICDAR.2009.205},
 year = {2009}
}

@inproceedings{DBLP:conf/issac/SextonSW09,
 author = {Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
 doi = {10.1145/1576702.1576747},
 editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
 pages = {325--332},
 publisher = {ACM},
 title = {Computing with abstract matrix structures},
 url = {https://doi.org/10.1145/1576702.1576747},
 year = {2009}
}

@inproceedings{DBLP:conf/iwmm/OanceaMW09,
 author = {Cosmin E. Oancea and
Alan Mycroft and
Stephen M. Watt},
 booktitle = {Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009},
 doi = {10.1145/1542431.1542434},
 editor = {Hillel Kolodner and
Guy L. Steele Jr.},
 pages = {10--19},
 publisher = {ACM},
 title = {A new approach to parallelising tracing algorithms},
 url = {https://doi.org/10.1145/1542431.1542434},
 year = {2009}
}

@inproceedings{DBLP:conf/mkm/GolubitskyW09,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings},
 doi = {10.1007/978-3-642-02614-0_36},
 editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
 pages = {460--466},
 publisher = {Springer},
 title = {Confidence Measures in Recognizing Handwritten Mathematical Symbols},
 url = {https://doi.org/10.1007/978-3-642-02614-0_36},
 volume = {5625},
 year = {2009}
}

@inproceedings{DBLP:conf/mkm/SextonSW09,
 author = {Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings},
 doi = {10.1007/978-3-642-02614-0_15},
 editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
 pages = {138--153},
 publisher = {Springer},
 title = {Reasoning with Generic Cases in the Arithmetic of Abstract Matrices},
 url = {https://doi.org/10.1007/978-3-642-02614-0_15},
 volume = {5625},
 year = {2009}
}

@inproceedings{DBLP:conf/mkm/Watt09,
 author = {Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings},
 doi = {10.1007/978-3-642-02614-0_18},
 editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
 pages = {186--200},
 publisher = {Springer},
 title = {Algorithms for the Functional Decomposition of Laurent Polynomials},
 url = {https://doi.org/10.1007/978-3-642-02614-0_18},
 volume = {5625},
 year = {2009}
}

@inproceedings{zbMATH5679806,
 author = {Golubitsky, Oleg and Mazalov, Vadim and Watt, Stephen M.},
 booktitle = {Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14--17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 252-261},
 pages = {252--261},
 title = {Orientation-independent recognition of handwritten characters with integral invariants},
 year = {2009}
}

@proceedings{DBLP:conf/mkm/2009,
 booktitle = {Calculemus/MKM},
 doi = {10.1007/978-3-642-02614-0},
 editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
 publisher = {Springer},
 title = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings},
 url = {https://doi.org/10.1007/978-3-642-02614-0},
 volume = {5625},
 year = {2009}
}

@proceedings{DBLP:conf/synasc/2009,
 booktitle = {SYNASC},
 editor = {Stephen M. Watt and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
 publisher = {IEEE Computer Society},
 title = {11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009},
 url = {https://ieeexplore.ieee.org/xpl/conhome/5459479/proceeding},
 year = {2009}
}

@article{DBLP:journals/cca/Watt08,
 author = {Stephen M. Watt},
 doi = {10.1145/1394042.1394099},
 journal = {ACM Commun. Comput. Algebra},
 pages = {89--90},
 title = {On the functional decomposition of multivariate laurent polynomials (abstract only)},
 url = {https://doi.org/10.1145/1394042.1394099},
 volume = {42},
 year = {2008}
}

@inproceedings{DBLP:conf/cascon/GolubitskyW08,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 booktitle = {Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada},
 doi = {10.1145/1463788.1463796},
 editor = {Marsha Chechik and
Mark R. Vigder and
Darlene A. Stewart},
 pages = {6},
 publisher = {IBM},
 title = {Online stroke modeling for handwriting recognition},
 url = {https://doi.org/10.1145/1463788.1463796},
 year = {2008}
}

@inproceedings{DBLP:conf/das/Watt08,
 author = {Stephen M. Watt},
 booktitle = {The Eighth IAPR International Workshop on Document Analysis Systems, DAS 2008, September 16-19, 2008, Nara, Japan},
 doi = {10.1109/DAS.2008.82},
 editor = {Koichi Kise and
Hiroshi Sako},
 pages = {557--564},
 publisher = {IEEE Computer Society},
 title = {An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts},
 url = {https://doi.org/10.1109/DAS.2008.82},
 year = {2008}
}

@inproceedings{DBLP:conf/iccsa/Watt08,
 author = {Stephen M. Watt},
 booktitle = {Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, ICCSA '08, Perugia, Italy, June 30 - July 3, 2008},
 doi = {10.1109/ICCSA.2008.71},
 editor = {Marina L. Gavrilova and
Osvaldo Gervasi and
Antonio Lagan{\`{a}} and
Youngsong Mun and
Andr{\'{e}}s Iglesias},
 pages = {353--362},
 publisher = {IEEE Computer Society},
 title = {Functional Decomposition of Symbolic Polynomials},
 url = {https://doi.org/10.1109/ICCSA.2008.71},
 year = {2008}
}

@inproceedings{DBLP:conf/synasc/SextonSW08,
 author = {Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
 booktitle = {SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008},
 doi = {10.1109/SYNASC.2008.85},
 editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
 pages = {61--68},
 publisher = {IEEE Computer Society},
 title = {Abstract Matrix Arithmetic},
 url = {https://doi.org/10.1109/SYNASC.2008.85},
 year = {2008}
}

@inproceedings{DBLP:conf/synasc/SmirnovaW08,
 author = {Elena S. Smirnova and
Stephen M. Watt},
 booktitle = {SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008},
 doi = {10.1109/SYNASC.2008.94},
 editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
 pages = {9--18},
 publisher = {IEEE Computer Society},
 title = {Communicating Mathematics via Pen-Based Interfaces},
 url = {https://doi.org/10.1109/SYNASC.2008.94},
 year = {2008}
}

@inproceedings{zbMATH5607873,
 author = {Watt, Stephen M.},
 booktitle = {Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 29-40},
 pages = {29--40},
 title = {Mathematical document classification via symbol frequency analysis},
 year = {2008}
}

@inproceedings{DBLP:conf/icdar/CharW07,
 author = {Bruce W. Char and
Stephen M. Watt},
 booktitle = {9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paran{\'{a}}, Brazil},
 doi = {10.1109/ICDAR.2007.4377105},
 pages = {1198--1202},
 publisher = {IEEE Computer Society},
 title = {Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation},
 url = {https://doi.org/10.1109/ICDAR.2007.4377105},
 year = {2007}
}

@inproceedings{DBLP:conf/icdar/KeshariW07a,
 author = {Birendra Keshari and
Stephen M. Watt},
 booktitle = {9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paran{\'{a}}, Brazil},
 doi = {10.1109/ICDAR.2007.4377116},
 pages = {1253--1257},
 publisher = {IEEE Computer Society},
 title = {Streaming-Archival InkML Conversion},
 url = {https://doi.org/10.1109/ICDAR.2007.4377116},
 year = {2007}
}

@inproceedings{DBLP:conf/icdar/KeshariW07,
 author = {Birendra Keshari and
Stephen M. Watt},
 booktitle = {9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paran{\'{a}}, Brazil},
 doi = {10.1109/ICDAR.2007.4377037},
 pages = {859--863},
 publisher = {IEEE Computer Society},
 title = {Hybrid Mathematical Symbol Recognition Using Support Vector Machines},
 url = {https://doi.org/10.1109/ICDAR.2007.4377037},
 year = {2007}
}

@inproceedings{DBLP:conf/icdar/SmirnovaW07,
 author = {Elena S. Smirnova and
Stephen M. Watt},
 booktitle = {9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paran{\'{a}}, Brazil},
 doi = {10.1109/ICDAR.2007.4377102},
 pages = {1183--1187},
 publisher = {IEEE Computer Society},
 title = {Aspects of Mathematical Expression Analysis in Arabic Handwriting},
 url = {https://doi.org/10.1109/ICDAR.2007.4377102},
 year = {2007}
}

@inproceedings{DBLP:conf/icdar/Watt07,
 author = {Stephen M. Watt},
 booktitle = {9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paran{\'{a}}, Brazil},
 doi = {10.1109/ICDAR.2007.4378751},
 pages = {457--460},
 publisher = {IEEE Computer Society},
 title = {New Aspects of InkML for Pen-Based Computing},
 url = {https://doi.org/10.1109/ICDAR.2007.4378751},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/AshbyKW07,
 author = {Thomas J. Ashby and
Anthony D. Kennedy and
Stephen M. Watt},
 booktitle = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278179},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {1--10},
 publisher = {ACM},
 title = {Generation and optimisation of code using coxeter lattice paths},
 url = {https://doi.org/10.1145/1278177.1278179},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/MazaSWX07,
 author = {Marc Moreno Maza and
Ben Stephenson and
Stephen M. Watt and
Yuzhen Xie},
 booktitle = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278188},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {60--68},
 publisher = {ACM},
 title = {Multiprocessed parallelism support in ALDOR on SMPs and multicores},
 url = {https://doi.org/10.1145/1278177.1278188},
 year = {2007}
}

@inproceedings{DBLP:conf/lfp/WozniakDW07,
 author = {Geoff Wozniak and
Mark Daley and
Stephen M. Watt},
 booktitle = {International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007},
 doi = {10.1145/1622123.1622152},
 editor = {Carl Shapiro and
Pascal Costanza and
Jon L. White},
 pages = {26},
 publisher = {ACM},
 title = {Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction},
 url = {https://doi.org/10.1145/1622123.1622152},
 year = {2007}
}

@proceedings{DBLP:conf/issac/2007pasco,
 booktitle = {PASCO},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 publisher = {ACM},
 title = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 year = {2007}
}

@proceedings{DBLP:conf/issac/2007snc,
 booktitle = {SNC},
 doi = {10.1145/1277500},
 editor = {Stephen M. Watt and
Jan Verschelde},
 publisher = {ACM},
 title = {Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
 url = {https://doi.org/10.1145/1277500},
 year = {2007}
}

@proceedings{zbMATH5343762,
 editor = {Verschelde, Jan and Watt, Stephen M.},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {Proceedings of the 2007 international workshop on symbolic-numeric computation, SNC '07, University of Western Ontario, London, ON, Canada, July 25--27, 2007},
 year = {2007}
}

@proceedings{zbMATH5358528,
 editor = {Moreno Maza, Marc and Watt, Stephen M.},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {PASCO'07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27--28, 2007.},
 year = {2007}
}

@inproceedings{DBLP:conf/aplas/ChichaW06,
 author = {Yannis Chicha and
Stephen M. Watt},
 booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings},
 doi = {10.1007/11924661_20},
 editor = {Naoki Kobayashi},
 pages = {323--339},
 publisher = {Springer},
 title = {A Localized Tracing Scheme Applied to Garbage Collection},
 url = {https://doi.org/10.1007/11924661_20},
 volume = {4279},
 year = {2006}
}

@inproceedings{DBLP:conf/casc/Watt06,
 author = {Stephen M. Watt},
 booktitle = {Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
 doi = {10.1007/11870814_26},
 editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {302},
 publisher = {Springer},
 title = {Algorithms for Symbolic Polynomials},
 url = {https://doi.org/10.1007/11870814_26},
 volume = {4194},
 year = {2006}
}

@inproceedings{DBLP:conf/dagstuhl/AshbyKW06,
 author = {Thomas J. Ashby and
Anthony D. Kennedy and
Stephen M. Watt},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 title = {Coxeter Lattice Paths},
 url = {http://drops.dagstuhl.de/opus/volltexte/2006/769},
 volume = {06271},
 year = {2006}
}

@inproceedings{DBLP:conf/dagstuhl/DeckerDKW06a,
 author = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 title = {06271 Abstracts Collection -- Challenges in Symbolic Computation Software},
 url = {http://drops.dagstuhl.de/opus/volltexte/2006/781},
 volume = {06271},
 year = {2006}
}

@inproceedings{DBLP:conf/dagstuhl/DeckerDKW06,
 author = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 title = {06271 Executive Summary - Challenges in Symbolic Computation Software},
 url = {http://drops.dagstuhl.de/opus/volltexte/2006/777},
 volume = {06271},
 year = {2006}
}

@inproceedings{DBLP:conf/dagstuhl/Watt06a,
 author = {Stephen M. Watt},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 title = {Two Families of Algorithms for Symbolic Polynomials},
 url = {http://drops.dagstuhl.de/opus/volltexte/2006/793},
 volume = {06271},
 year = {2006}
}

@inproceedings{DBLP:conf/dagstuhl/Watt06,
 author = {Stephen M. Watt},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 title = {Pivot-Free Block Matrix Inversion},
 url = {http://drops.dagstuhl.de/opus/volltexte/2006/780},
 volume = {06271},
 year = {2006}
}

@inproceedings{DBLP:conf/icfp/Watt06,
 author = {Stephen M. Watt},
 booktitle = {Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006},
 doi = {10.1145/1159861.1159872},
 editor = {Ralf Hinze},
 pages = {76--86},
 publisher = {ACM},
 title = {A technique for generic iteration and its optimization},
 url = {https://doi.org/10.1145/1159861.1159872},
 year = {2006}
}

@inproceedings{DBLP:conf/synasc/Watt06a,
 author = {Stephen M. Watt},
 booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania},
 doi = {10.1109/SYNASC.2006.61},
 editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
 pages = {151--155},
 publisher = {IEEE Computer Society},
 title = {Pivot-Free Block Matrix Inversion},
 url = {https://doi.org/10.1109/SYNASC.2006.61},
 year = {2006}
}

@inproceedings{DBLP:conf/synasc/Watt06,
 author = {Stephen M. Watt},
 booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania},
 doi = {10.1109/SYNASC.2006.46},
 editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
 pages = {12},
 publisher = {IEEE Computer Society},
 title = {Improving Pen-Based Mathematical Interfaces},
 url = {https://doi.org/10.1109/SYNASC.2006.46},
 year = {2006}
}

@inproceedings{zbMATH5117575,
 author = {Dragan, Laurentiu and Watt, Stephen M.},
 booktitle = {Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23--26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 35-42},
 pages = {35--42},
 title = {On the performance of parametric polymorphism in Maple},
 year = {2006}
}

@inproceedings{zbMATH5124349,
 author = {So, Clare M. and Watt, Stephen M.},
 booktitle = {Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 361-375},
 doi = {10.1007/11618027},
 pages = {361--375},
 title = {Determining empirical characteristics of mathematical expression use},
 url = {https://doi.org/10.1007/11618027},
 year = {2006}
}

@inproceedings{zbMATH5722784,
 author = {Watt, Stephen M.},
 booktitle = {Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, Espa{\~{n}}a, April 24--26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 43-49},
 pages = {43--49},
 title = {Making computer algebra more symbolic},
 year = {2006}
}

@inproceedings{zbMATH5722806,
 author = {Smirnova, Elena and Watt, Stephen M.},
 booktitle = {Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, Espa{\~{n}}a, April 24--26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 339-355},
 pages = {339--355},
 title = {Notation selection in mathematical computing environments},
 year = {2006}
}

@proceedings{DBLP:conf/dagstuhl/2006P6271,
 booktitle = {Challenges in Symbolic Computation Software},
 editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 title = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 url = {http://drops.dagstuhl.de/portals/06271/},
 volume = {06271},
 year = {2006}
}

@article{DBLP:journals/cca/Watt05,
 author = {Stephen M. Watt},
 doi = {10.1145/1113439.1113452},
 journal = {SIGSAM Bull.},
 pages = {93--94},
 title = {Algebraic generalization},
 url = {https://doi.org/10.1145/1113439.1113452},
 volume = {39},
 year = {2005}
}

@inproceedings{DBLP:conf/cpsn/SoPW05,
 author = {Clare M. So and
Mark Perry and
Stephen M. Watt},
 booktitle = {Proceedings of The 2005 International Conference on Computers for People with Special Needs, CPSN 2005, Las Vegas, Nevada, USA, June 20-23, 2005},
 editor = {Hamid R. Arabnia},
 pages = {10--16},
 publisher = {CSREA Press},
 title = {Towards an Accessible Web through Semantic Web Standards},
 year = {2005}
}

@inproceedings{DBLP:conf/icdar/WattX05,
 author = {Stephen M. Watt and
Xiaofang Xie},
 booktitle = {Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea},
 doi = {10.1109/ICDAR.2005.195},
 pages = {740--744},
 publisher = {IEEE Computer Society},
 title = {Recognition for Large Sets of Handwritten Mathematical Symbols},
 url = {https://doi.org/10.1109/ICDAR.2005.195},
 year = {2005}
}

@inproceedings{DBLP:conf/issac/OanceaW05,
 author = {Cosmin E. Oancea and
Stephen M. Watt},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings},
 doi = {10.1145/1073884.1073921},
 editor = {Manuel Kauers},
 pages = {261--268},
 publisher = {ACM},
 title = {Domains and expressions: an interface between two approaches to computer algebra},
 url = {https://doi.org/10.1145/1073884.1073921},
 year = {2005}
}

@inproceedings{DBLP:conf/mkm/SoW05,
 author = {Clare M. So and
Stephen M. Watt},
 booktitle = {Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
 doi = {10.1007/11618027_24},
 editor = {Michael Kohlhase},
 pages = {361--375},
 publisher = {Springer},
 title = {Determining Empirical Characteristics of Mathematical Expression Use},
 url = {https://doi.org/10.1007/11618027_24},
 volume = {3863},
 year = {2005}
}

@inproceedings{DBLP:conf/oopsla/OanceaW05,
 author = {Cosmin E. Oancea and
Stephen M. Watt},
 booktitle = {Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
 doi = {10.1145/1094811.1094823},
 editor = {Ralph E. Johnson and
Richard P. Gabriel},
 pages = {147--166},
 publisher = {ACM},
 title = {Parametric polymorphism for software component architectures},
 url = {https://doi.org/10.1145/1094811.1094823},
 year = {2005}
}

@inproceedings{DBLP:conf/pdpta/OanceaSGW05,
 author = {Cosmin E. Oancea and
Jason W. A. Selby and
Mark Giesbrecht and
Stephen M. Watt},
 booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 3},
 editor = {Hamid R. Arabnia},
 pages = {920--927},
 publisher = {CSREA Press},
 title = {Distributed Models of Thread Level Speculation},
 year = {2005}
}

@inproceedings{DBLP:conf/synasc/DraganW05,
 author = {Laurentiu Dragan and
Stephen M. Watt},
 booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania},
 doi = {10.1109/SYNASC.2005.56},
 editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
 pages = {93--100},
 publisher = {IEEE Computer Society},
 title = {Performance Analysis of Generics in Scientific Computing},
 url = {https://doi.org/10.1109/SYNASC.2005.56},
 year = {2005}
}

@inproceedings{zbMATH5117546,
 author = {Dragan, Laurentiu and Watt, Stephen M.},
 booktitle = {Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 243-259},
 pages = {243--259},
 title = {Parametric polymorphism optimization for deeply nested types in computer algebras},
 year = {2005}
}

@inproceedings{zbMATH5117559,
 author = {Oancea, Cosmin and So, Clare and Watt, Stephen M.},
 booktitle = {Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 377-382},
 pages = {377--382},
 title = {Generalization in Maple},
 year = {2005}
}

@inproceedings{zbMATH5117562,
 author = {Smirnova, Elena and Watt, Stephen M.},
 booktitle = {Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 409-422},
 pages = {409--422},
 title = {A context for pen-based mathematical computing},
 year = {2005}
}

@inproceedings{zbMATH5117563,
 author = {Watt, Stephen M. and Xie, Xiaofang},
 booktitle = {Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 423-437},
 pages = {423--437},
 title = {Prototype pruning by feature extraction for handwritten mathematical symbol recognition},
 year = {2005}
}

@article{DBLP:journals/tsp/CorlessWZ04,
 author = {Robert M. Corless and
Stephen M. Watt and
Lihong Zhi},
 doi = {10.1109/TSP.2004.837413},
 journal = {IEEE Trans. Signal Process.},
 pages = {3394--3402},
 title = {QR factoring to compute the GCD of univariate approximate polynomials},
 url = {https://doi.org/10.1109/TSP.2004.837413},
 volume = {52},
 year = {2004}
}

@inproceedings{DBLP:conf/mkm/SmirnovaSW04,
 author = {Elena S. Smirnova and
Clare M. So and
Stephen M. Watt},
 booktitle = {Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
 doi = {10.1007/978-3-540-27818-4_26},
 editor = {Andrea Asperti and
Grzegorz Bancerek and
Andrzej Trybulec},
 pages = {363--377},
 publisher = {Springer},
 title = {An Architecture for Distributed Mathematical Web Services},
 url = {https://doi.org/10.1007/978-3-540-27818-4_26},
 volume = {3119},
 year = {2004}
}

@article{DBLP:journals/amai/NaylorW03,
 author = {Bill Naylor and
Stephen M. Watt},
 doi = {10.1023/A:1022955412266},
 journal = {Ann. Math. Artif. Intell.},
 pages = {3--25},
 title = {Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms},
 url = {https://doi.org/10.1023/A:1022955412266},
 volume = {38},
 year = {2003}
}

@article{DBLP:journals/cca/CorlessKW03,
 author = {Robert M. Corless and
Hiroshi Kai and
Stephen M. Watt},
 doi = {10.1145/990353.990359},
 journal = {SIGSAM Bull.},
 pages = {67--71},
 title = {Approximate computation of pseudovarieties},
 url = {https://doi.org/10.1145/990353.990359},
 volume = {37},
 year = {2003}
}

@inproceedings{zbMATH2034387,
 author = {Hazaveh, K. and Jeffrey, D. J. and Reid, G. J. and Watt, S. M. and Wittkopf, A. D.},
 booktitle = {Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17--19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 145-162},
 pages = {145--162},
 title = {An exploration of homotopy solving in Maple},
 year = {2003}
}

@article{DBLP:journals/amai/BradfordCDJW02,
 author = {Russell J. Bradford and
Robert M. Corless and
James H. Davenport and
David J. Jeffrey and
Stephen M. Watt},
 doi = {10.1023/A:1016007415899},
 journal = {Ann. Math. Artif. Intell.},
 pages = {303--318},
 title = {Reasoning about the Elementary Functions of Complex Analysis},
 url = {https://doi.org/10.1023/A:1016007415899},
 volume = {36},
 year = {2002}
}

@inproceedings{DBLP:conf/issac/CorlessGKW02,
 author = {Robert M. Corless and
Andr{\'{e}} Galligo and
Ilias S. Kotsireas and
Stephen M. Watt},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings},
 doi = {10.1145/780506.780512},
 editor = {Teo Mora},
 pages = {37--45},
 publisher = {ACM},
 title = {A geometric-numeric algorithm for absolute factorization of multivariate polynomials},
 url = {https://doi.org/10.1145/780506.780512},
 year = {2002}
}

@inproceedings{zbMATH1860742,
 author = {Watt, Stephen M.},
 booktitle = {Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific (ISBN 981-238-048-5). 405-410},
 pages = {405--410},
 title = {A study in the integration of computer algebra systems: Memory management in a Maple-Aldor environment.},
 year = {2002}
}

@inproceedings{DBLP:conf/issac/CorlessGHKW01,
 author = {Robert M. Corless and
Mark Giesbrecht and
Mark van Hoeij and
Ilias S. Kotsireas and
Stephen M. Watt},
 booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA \& University of Western Ontario, London, Ontario, Canada, July 22-25, 2001},
 doi = {10.1145/384101.384114},
 editor = {Erich L. Kaltofen and
Gilles Villard},
 pages = {85--92},
 publisher = {ACM},
 title = {Towards factoring bivariate approximate polynomials},
 url = {https://doi.org/10.1145/384101.384114},
 year = {2001}
}

@article{DBLP:journals/cca/CorlessJWD00,
 author = {Robert M. Corless and
David J. Jeffrey and
Stephen M. Watt and
James H. Davenport},
 doi = {10.1145/362001.362023},
 journal = {SIGSAM Bull.},
 pages = {58--65},
 title = {"According to Abramowitz and Stegun" or arccoth needn't be uncouth},
 url = {https://doi.org/10.1145/362001.362023},
 volume = {34},
 year = {2000}
}

@inproceedings{DBLP:conf/aisc/CorlessDJLW00,
 author = {Robert M. Corless and
James H. Davenport and
David J. Jeffrey and
Gurjeet Litt and
Stephen M. Watt},
 booktitle = {Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
 doi = {10.1007/3-540-44990-6_9},
 editor = {John A. Campbell and
Eugenio Roanes-Lozano},
 pages = {115--126},
 publisher = {Springer},
 title = {Reasoning about the Elementary Functions of Complex Analysis},
 url = {https://doi.org/10.1007/3-540-44990-6_9},
 volume = {1930},
 year = {2000}
}

@inproceedings{DBLP:conf/aisc/CorlessGKW00,
 author = {Robert M. Corless and
Mark Giesbrecht and
Ilias S. Kotsireas and
Stephen M. Watt},
 booktitle = {Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
 doi = {10.1007/3-540-44990-6_13},
 editor = {John A. Campbell and
Eugenio Roanes-Lozano},
 pages = {174--183},
 publisher = {Springer},
 title = {Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra},
 url = {https://doi.org/10.1007/3-540-44990-6_13},
 volume = {1930},
 year = {2000}
}

@article{DBLP:journals/cca/WattL99,
 author = {Stephen M. Watt and
Xuehong Li},
 doi = {10.1145/329984.329985},
 journal = {SIGSAM Bull.},
 pages = {1--4},
 title = {Examples of MathML},
 url = {https://doi.org/10.1145/329984.329985},
 volume = {33},
 year = {1999}
}

@inproceedings{DBLP:conf/issac/CorlessGJ99,
 author = {Robert M. Corless and
Mark Giesbrecht and
David J. Jeffrey and
Stephen M. Watt},
 booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999},
 doi = {10.1145/309831.309939},
 editor = {Keith O. Geddes and
Bruno Salvy and
Samuel S. Dooley},
 pages = {213--219},
 publisher = {ACM},
 title = {Approximate polynomial decomposition},
 url = {https://doi.org/10.1145/309831.309939},
 year = {1999}
}

@article{DBLP:journals/cca/CorlessW98,
 author = {Robert M. Corless and
Stephen M. Watt},
 doi = {10.1145/297049.297068},
 journal = {SIGSAM Bull.},
 pages = {35--37},
 title = {Report on the SNAP minisymposium at SIAM '98},
 url = {https://doi.org/10.1145/297049.297068},
 volume = {32},
 year = {1998}
}

@article{zbMATH1268445,
 doi = {10.1006/jsco.1998.0231},
 editor = {Watt, S. M. and Stetter, H. J.},
 journal = {Journal of Symbolic Computation},
 pages = {649--803},
 title = {Special issue: Symbolic numeric algebra for polynomials},
 url = {https://doi.org/10.1006/jsco.1998.0231},
 volume = {26},
 year = {1998}
}

@inproceedings{DBLP:conf/issac/DalmasGW97,
 author = {St{\'{e}}phane Dalmas and
Marc Ga{\"{e}}tano and
Stephen M. Watt},
 booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997},
 doi = {10.1145/258726.258794},
 editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
 pages = {241--248},
 publisher = {ACM},
 title = {An OpenMath 1.0 Implementation},
 url = {https://doi.org/10.1145/258726.258794},
 year = {1997}
}

@inproceedings{DBLP:conf/issac/GalligoW97,
 author = {Andr{\'{e}} Galligo and
Stephen M. Watt},
 booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997},
 doi = {10.1145/258726.258788},
 editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
 pages = {217--224},
 publisher = {ACM},
 title = {A Numerical Absolute Primality Test for Bivariate Polynomials},
 url = {https://doi.org/10.1145/258726.258788},
 year = {1997}
}

@article{DBLP:journals/cca/Watt96,
 author = {Stephen M. Watt},
 doi = {10.1145/231191.570103},
 journal = {SIGSAM Bull.},
 pages = {1},
 title = {Message from the Chair},
 url = {https://doi.org/10.1145/231191.570103},
 volume = {30},
 year = {1996}
}

@inproceedings{DBLP:conf/issac/BroadberyGW95,
 author = {Peter A. Broadbery and
Teresa Gomez-Diaz and
Stephen M. Watt},
 booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, July 10-12, 1995},
 doi = {10.1145/220346.220356},
 editor = {A. H. M. Levelt},
 pages = {77--84},
 publisher = {ACM},
 title = {On the Implementation of Dynamic Evaluation},
 url = {https://doi.org/10.1145/220346.220356},
 year = {1995}
}

@inproceedings{DBLP:conf/issac/CorlessGTW95,
 author = {Robert M. Corless and
Patrizia M. Gianni and
Barry M. Trager and
Stephen M. Watt},
 booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, July 10-12, 1995},
 doi = {10.1145/220346.220371},
 editor = {A. H. M. Levelt},
 pages = {195--207},
 publisher = {ACM},
 title = {The Singular Value Decomposition for Polynomial Systems},
 url = {https://doi.org/10.1145/220346.220371},
 year = {1995}
}

@inproceedings{DBLP:conf/issac/WattBDIMSS94,
 author = {Stephen M. Watt and
Peter A. Broadbery and
Samuel S. Dooley and
Pietro Iglio and
Scott C. Morrison and
Jonathan M. Steinbach and
Robert S. Sutor},
 booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994},
 doi = {10.1145/190347.190356},
 editor = {Malcolm A. H. MacCallum},
 pages = {25--31},
 publisher = {ACM},
 title = {A First Report on the A\# Compiler},
 url = {https://doi.org/10.1145/190347.190356},
 year = {1994}
}

@book{zbMATH53947,
 author = {Char, Bruce W. and Geddes, Keith O. and Gonnet, Gaston H. and Leong, Benton L. and Monagan, Michael B. and Watt, Stephen M.},
 publisher = {New York, NY etc.: Springer-Verlag},
 title = {First leaves: a tutorial introduction to Maple V},
 year = {1992}
}

@book{zbMATH52062,
 author = {Char, Bruce W. and Geddes, Keith O. and Gonnet, Gaston H. and Leong, Benton L. and Monagan, Michael B. and Watt, Stephen M.},
 publisher = {New York etc.: Springer-Verlag},
 title = {Maple V Library reference manual},
 year = {1991}
}

@book{zbMATH52125,
 author = {Char, Bruce W. and Geddes, Keith O. and Gonnet, Gaston H. and Leong, Benton L. and Monagan, Michael B. and Watt, Stephen M.},
 publisher = {New York etc.: Springer-Verlag},
 title = {Maple V - language reference manual},
 year = {1991}
}

@proceedings{DBLP:conf/issac/1991,
 booktitle = {ISSAC},
 editor = {Stephen M. Watt},
 publisher = {ACM},
 title = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991},
 url = {http://dl.acm.org/citation.cfm?id=120694},
 year = {1991}
}

@proceedings{zbMATH1253518,
 editor = {Watt, Stephen M.},
 publisher = {New York, NY: ACM Press},
 title = {ISSAC '91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15--17, 1991},
 year = {1991}
}

@proceedings{DBLP:conf/cm/1989,
 booktitle = {Computers and Mathematics},
 doi = {10.1007/978-1-4613-9647-5},
 editor = {Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Springer},
 title = {Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
 url = {https://doi.org/10.1007/978-1-4613-9647-5},
 year = {1989}
}

@proceedings{zbMATH194778,
 editor = {Kaltofen, Erich and Watt, Stephen M.},
 publisher = {New York etc.: Springer-Verlag},
 title = {Computers and mathematics. (Proceedings of a conference, June 13-17, 1989, Massachusetts Institute of Technology, Cambridge, MA)},
 year = {1989}
}

@inproceedings{DBLP:conf/issac/Watt88,
 author = {Stephen M. Watt},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings},
 doi = {10.1007/3-540-51084-2_19},
 editor = {Patrizia M. Gianni},
 pages = {206--217},
 publisher = {Springer},
 title = {A Fixed Point Method for Power Series Computation},
 url = {https://doi.org/10.1007/3-540-51084-2_19},
 volume = {358},
 year = {1988}
}

@inproceedings{DBLP:conf/eurocal/BurgeW87,
 author = {William H. Burge and
Stephen M. Watt},
 booktitle = {EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings},
 doi = {10.1007/3-540-51517-8_103},
 editor = {James H. Davenport},
 pages = {138--148},
 publisher = {Springer},
 title = {Infinite structures in SCRATCHPAD II},
 url = {https://doi.org/10.1007/3-540-51517-8_103},
 volume = {378},
 year = {1987}
}

@inproceedings{DBLP:conf/ibm/JenksSW87,
 author = {Richard D. Jenks and
Robert S. Sutor and
Stephen M. Watt},
 booktitle = {Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings},
 doi = {10.1007/3-540-18928-9_3},
 editor = {Rainer Jan{\ss}en},
 pages = {12--37},
 publisher = {Springer},
 title = {Scratchpad II: An Abstract Datatype System for Mathematical Computation},
 url = {https://doi.org/10.1007/3-540-18928-9_3},
 volume = {296},
 year = {1987}
}

@inproceedings{DBLP:conf/eurocal/Watt85,
 author = {Stephen M. Watt},
 booktitle = {EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions},
 doi = {10.1007/3-540-15984-3_325},
 editor = {Bob F. Caviness},
 pages = {537--538},
 publisher = {Springer},
 title = {A System for Parallel Computer Algebra Programs},
 url = {https://doi.org/10.1007/3-540-15984-3_325},
 volume = {204},
 year = {1985}
}