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

@article{DBLP:journals/corr/abs-2101-06576,
 author = {Shaoshi Chen and
Ruyong Feng and
Ziming Li and
Michael F. Singer and
Stephen M. Watt},
 journal = {CoRR},
 title = {Telescopers for differential forms with one parameter},
 url = {https://arxiv.org/abs/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/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}
}

@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,
 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,
 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,
 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,
 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,
 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 = {http://ceur-ws.org/Vol-1186},
 volume = {1186},
 year = {2014}
}

@proceedings{DBLP:conf/snc/2014,
 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,
 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}
}

@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 = {http://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 = {http://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,
 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}
}

@incollection{MR3281053,
 author = {Bourdykine, Pavel and Watt, Stephen M.},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-642-32973-9_5},
 pages = {47--59},
 publisher = {Springer, Heidelberg},
 title = {Lightweight abstraction for mathematical computation in
{J}ava},
 url = {https://doi.org/10.1007/978-3-642-32973-9_5},
 volume = {7442},
 year = {2012}
}

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

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

@proceedings{DBLP:conf/mkm/2009,
 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,
 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}
}

@incollection{MR2528458,
 author = {Watt, Stephen M.},
 booktitle = {Computer algebra 2006},
 doi = {10.1142/9789812778857_0012},
 pages = {193--210},
 publisher = {World Sci. Publ., Hackensack, NJ},
 title = {Two families of algorithms for symbolic polynomials},
 url = {https://doi.org/10.1142/9789812778857_0012},
 year = {2007}
}

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

@proceedings{DBLP:conf/issac/2007pasco,
 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,
 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},
 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 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 Kaltofen and
Stephen M. Watt},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich 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 Kaltofen and
Stephen M. Watt},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich 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 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 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}
}

@proceedings{DBLP:conf/dagstuhl/2006P6271,
 editor = {Wolfram Decker and
Mike Dewar and
Erich 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}
}

@incollection{MR2280556,
 author = {Oancea, Cosmin E. and Watt, Stephen M.},
 booktitle = {I{SSAC}'05},
 doi = {10.1145/1073884.1073921},
 pages = {261--268},
 publisher = {ACM, New York},
 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/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/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}
}

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

@incollection{MR2061831,
 author = {Hazaveh, K. and Jeffrey, D. J. and Reid, G. J. and Watt, S. M.
and Wittkopf, A. D.},
 booktitle = {Computer mathematics},
 pages = {145--162},
 publisher = {World Sci. Publ., River Edge, NJ},
 title = {An exploration of homotopy solving in {M}aple},
 volume = {10},
 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{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 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}
}

@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
T. G{\'{o}}mez{-}D{\'{\i}}az 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\({}^{\mbox{{\#}}}\) Compiler},
 url = {https://doi.org/10.1145/190347.190356},
 year = {1994}
}

@proceedings{DBLP:conf/issac/1991,
 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{DBLP:conf/cm/1989,
 doi = {10.1007/978-1-4613-9647-5},
 editor = {Erich 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}
}

@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 = {B. 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}
}