[ 2017 ]




[ 2016 ]


[ 96 ]
Shaoshi Chen and Stephen M. Watt. Combinatorics of hybrid sets. In James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pages 60-64. IEEE Computer Society, 2016. [ http ]
@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} Computer Society},
 title = {Combinatorics of Hybrid Sets},
 url = {http://dx.doi.org/10.1109/SYNASC.2016.022},
 year = {2016}
}

[ 95 ]
Stephen M. Watt. How to build a global digital mathematics library. In James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pages 37-40. IEEE Computer Society, 2016. [ http ]
@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} Computer Society},
 title = {How to Build a Global Digital Mathematics Library},
 url = {http://dx.doi.org/10.1109/SYNASC.2016.019},
 year = {2016}
}

[ 94 ]
James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016. IEEE Computer Society, 2016. [ http ]
@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} Computer Society},
 title = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7827704},
 year = {2016}
}



[ 2015 ]


[ 93 ]
Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors. 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. IEEE Computer Society, 2015. [ http ]
@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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7425657},
 year = {2015}
}



[ 2014 ]


[ 92 ]
Travis Felker, Vadim Mazalov, and Stephen M. Watt. Distance-based high-frequency trading. In David Abramson, Michael Lees, Valeria V. Krzhizhanovskaya, Jack Dongarra, and Peter M. A. Sloot, editors, Proceedings of the International Conference on Computational Science, ICCS 2014, Cairns, Queensland, Australia, 10-12 June, 2014, volume 29, pages 2055-2064. Elsevier, 2014. [ http ]
@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 Dongarra and
Peter M. A. Sloot},
 pages = {2055--2064},
 publisher = {Elsevier},
 title = {Distance-based High-frequency Trading},
 url = {http://dx.doi.org/10.1016/j.procs.2014.05.189},
 volume = {29},
 year = {2014}
}

[ 91 ]
Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, and Josef Urban, editors. Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, volume 8543. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-319-08434-3},
 volume = {8543},
 year = {2014}
}

[ 90 ]
Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, and Stephen M. Watt, editors. 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, volume 1186. CEUR-WS.org, 2014. [ http ]
@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}
}

[ 89 ]
Lihong Zhi and Stephen M. Watt, editors. Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014. ACM, 2014. [ http ]
@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}
}

[ 88 ]
Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014. IEEE Computer Society, 2014. [ http ]
@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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7031476},
 year = {2014}
}



[ 2013 ]


[ 87 ]
Rui Hu and Stephen M. Watt. Determining points on handwritten mathematical symbols. CoRR, abs/1306.4966, 2013. [ http ]
@article{DBLP:journals/corr/HuW13,
 author = {Rui Hu and
Stephen M. Watt},
 journal = {CoRR},
 title = {Determining Points on Handwritten Mathematical Symbols},
 url = {http://arxiv.org/abs/1306.4966},
 volume = {abs/1306.4966},
 year = {2013}
}

[ 86 ]
Wolfram Koepf and Stephen M. Watt. Guest editors' foreword. J. Symb. Comput., 49:1-2, 2013. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2011.12.013},
 volume = {49},
 year = {2013}
}

[ 85 ]
Rui Hu and Stephen M. Watt. Inkchat: a collaboration tool for mathematics. In Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, and Wolfgang Windsteiger, editors, Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK, volume 1010. CEUR-WS.org, 2013. [ .pdf ]
@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}
}

[ 84 ]
Rui Hu and Stephen M. Watt. Determining points on handwritten mathematical symbols. In Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, and Wolfgang Windsteiger, editors, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, volume 7961, pages 168-183. Springer, 2013. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-39320-4_11},
 volume = {7961},
 year = {2013}
}

[ 83 ]
Vadim Mazalov and Stephen M. Watt. Recommendation systems in mathematical character recognition. In Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, and Wolfgang Windsteiger, editors, Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK, volume 1010. CEUR-WS.org, 2013. [ .pdf ]
@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}
}

[ 82 ]
Rui Hu and Stephen M. Watt. Identifying features via homotopy on handwritten mathematical symbols. In Nikolaj Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pages 61-67. IEEE Computer Society, 2013. [ http ]
@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 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 = {http://dx.doi.org/10.1109/SYNASC.2013.15},
 year = {2013}
}

[ 81 ]
Nikolaj Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors. 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. IEEE Computer Society, 2013. [ http ]
@proceedings{DBLP:conf/synasc/2013,
 editor = {Nikolaj 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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6820820},
 year = {2013}
}



[ 2012 ]


[ 80 ]
Rui Hu, Vadim Mazalov, and Stephen M. Watt. A streaming digital ink framework for multi-party collaboration. In Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, and Volker Sorge, editors, 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, volume 7362, pages 81-95. Springer, 2012. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-31374-5_6},
 volume = {7362},
 year = {2012}
}

[ 79 ]
Vadim Mazalov and Stephen M. Watt. Writing on clouds. In Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, and Volker Sorge, editors, 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, volume 7362, pages 402-416. Springer, 2012. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-31374-5_27},
 volume = {7362},
 year = {2012}
}

[ 78 ]
Pavel Bourdykine and Stephen M. Watt. Lightweight abstraction for mathematical computation in java. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings, volume 7442, pages 47-59. Springer, 2012. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-32973-9_5},
 volume = {7442},
 year = {2012}
}

[ 77 ]
Vadim Mazalov and Stephen M. Watt. Linear compression of digital ink via point selection. In Michael Blumenstein, Umapada Pal, and Seiichi Uchida, editors, 10th IAPR International Workshop on Document Analysis Systems, DAS 2012, Gold Coast, Queenslands, Australia, March 27-29, 2012, pages 429-434. IEEE Computer Society, 2012. [ http ]
@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 = {http://dx.doi.org/10.1109/DAS.2012.51},
 year = {2012}
}

[ 76 ]
Vadim Mazalov and Stephen M. Watt. Improving isolated and in-context classication of handwritten characters. In Christian Viard-Gaudin and Richard Zanibbi, editors, Document Recognition and Retrieval XIX, part of the IS&T-SPIE Electronic Imaging Symposium, Burlingame, California, USA, January 25-26, 2012, Proceedings, volume 8297, page 82970B. SPIE, 2012. [ http ]
@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 = {http://dx.doi.org/10.1117/12.912112},
 volume = {8297},
 year = {2012}
}

[ 75 ]
Rui Hu and Stephen M. Watt. Optimization of point selection on digital ink curves. In 2012 International Conference on Frontiers in Handwriting Recognition, ICFHR 2012, Bari, Italy, September 18-20, 2012, pages 527-532. IEEE, 2012. [ http ]
@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},
 title = {Optimization of Point Selection on Digital Ink Curves},
 url = {http://dx.doi.org/10.1109/ICFHR.2012.252},
 year = {2012}
}

[ 74 ]
Vadim Mazalov and Stephen M. Watt. A structure for adaptive handwriting recognition. In 2012 International Conference on Frontiers in Handwriting Recognition, ICFHR 2012, Bari, Italy, September 18-20, 2012, pages 692-697. IEEE, 2012. [ http ]
@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},
 title = {A Structure for Adaptive Handwriting Recognition},
 url = {http://dx.doi.org/10.1109/ICFHR.2012.169},
 year = {2012}
}

[ 73 ]
Vadim Mazalov and Stephen M. Watt. Recognition of relatively small handwritten characters or "size matters". In 2012 International Conference on Frontiers in Handwriting Recognition, ICFHR 2012, Bari, Italy, September 18-20, 2012, pages 319-324. IEEE, 2012. [ http ]
@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},
 title = {Recognition of Relatively Small Handwritten Characters or "Size Matters"},
 url = {http://dx.doi.org/10.1109/ICFHR.2012.257},
 year = {2012}
}

[ 72 ]
Solomon Marcus and Stephen M. Watt. What is an equation? In Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pages 23-29. IEEE Computer Society, 2012. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2012.79},
 year = {2012}
}

[ 71 ]
Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012. IEEE Computer Society, 2012. [ http ]
@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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6480928},
 year = {2012}
}



[ 2011 ]


[ 70 ]
Mark Giesbrecht and Stephen M. Watt. In honour of keith geddes on his 60th birthday. J. Symb. Comput., 46:735-740, 2011. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2010.08.009},
 volume = {46},
 year = {2011}
}

[ 69 ]
Cosmin E. Oancea and Stephen M. Watt. An architecture for generic extensions. Sci. Comput. Program., 76:258-277, 2011. [ http ]
@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 = {http://dx.doi.org/10.1016/j.scico.2009.09.008},
 volume = {76},
 year = {2011}
}

[ 68 ]
Stephen M. Watt. Polynomial approximation in handwriting recognition. In Marc Moreno Maza, editor, SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011, pages 3-7. ACM, 2011. [ http ]
@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 = {http://doi.acm.org/10.1145/2331684.2331687},
 year = {2011}
}

[ 67 ]
Stephen M. Watt. Computational tools for mathematical collaboration. In Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pages 16-18. IEEE Computer Society, 2011. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2011.64},
 year = {2011}
}

[ 66 ]
Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. IEEE Computer Society, 2011. [ http ]
@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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6168887},
 year = {2011}
}



[ 2010 ]


[ 65 ]
Oleg Golubitsky and Stephen M. Watt. Distance-based classification of handwritten symbols. IJDAR, 13:133-146, 2010. [ http ]
@article{DBLP:journals/ijdar/GolubitskyW10,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 doi = {10.1007/s10032-009-0107-7},
 journal = {IJDAR},
 pages = {133--146},
 title = {Distance-based classification of handwritten symbols},
 url = {http://dx.doi.org/10.1007/s10032-009-0107-7},
 volume = {13},
 year = {2010}
}

[ 64 ]
Jacques Carette, Alan P. Sexton, Volker Sorge, and Stephen M. Watt. Symbolic domain decomposition. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton, editors, 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, volume 6167, pages 172-188. Springer, 2010. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-14128-7_16},
 volume = {6167},
 year = {2010}
}

[ 63 ]
Laurentiu Dragan and Stephen M. Watt. Type specialization in aldor. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings, volume 6244, pages 73-84. Springer, 2010. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-15274-0_7},
 volume = {6244},
 year = {2010}
}

[ 62 ]
Oleg Golubitsky, Vadim Mazalov, and Stephen M. Watt. Toward affine recognition of handwritten mathematical characters. In David S. Doermann, Venu Govindaraju, Daniel P. Lopresti, and Premkumar Natarajan, editors, The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA, pages 35-42. ACM, 2010. [ http ]
@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 = {http://doi.acm.org/10.1145/1815330.1815335},
 year = {2010}
}

[ 61 ]
Oleg Golubitsky and Stephen M. Watt. Improved classification through runoff elections. In David S. Doermann, Venu Govindaraju, Daniel P. Lopresti, and Premkumar Natarajan, editors, The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA, pages 59-64. ACM, 2010. [ http ]
@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 = {http://doi.acm.org/10.1145/1815330.1815338},
 year = {2010}
}

[ 60 ]
Vadim Mazalov and Stephen M. Watt. Digital ink compression via functional approximation. In International Conference on Frontiers in Handwriting Recognition, ICFHR 2010, Kolkata, India, 16-18 November 2010, pages 688-694. IEEE Computer Society, 2010. [ http ]
@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 = {http://dx.doi.org/10.1109/ICFHR.2010.112},
 year = {2010}
}

[ 59 ]
Stephen M. Watt. On the mathematics of mathematical handwriting recognition. In Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, page 17. IEEE Computer Society, 2010. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2010.93},
 year = {2010}
}

[ 58 ]
Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors. 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010. IEEE Computer Society, 2010. [ http ]
@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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5714592},
 year = {2010}
}



[ 2009 ]


[ 57 ]
Sexton, Alan P., Sorge, Volker, and Watt, Stephen M. Computing with abstract matrix structures. In ISSAC 2009-Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pages 325-332. ACM, New York, 2009. [ http ]
@incollection{MR2742720,
 author = {Sexton, Alan P. and Sorge, Volker and Watt, Stephen M.},
 booktitle = {I{SSAC} 2009---{P}roceedings of the 2009 {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1576702.1576747},
 pages = {325--332},
 publisher = {ACM, New York},
 title = {Computing with abstract matrix structures},
 url = {http://dx.doi.org/10.1145/1576702.1576747},
 year = {2009}
}

[ 56 ]
Oleg Golubitsky and Stephen M. Watt. Online computation of similarity between handwritten characters. In Kathrin Berkner and Laurence Likforman-Sulem, editors, Document Recognition and Retrieval XVI, part of the IS&T-SPIE Electronic Imaging Symposium, San Jose, CA, USA, January 20-22, 2009. Proceedings, volume 7247, page 72470C. SPIE, 2009. [ http ]
@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 = {http://dx.doi.org/10.1117/12.806163},
 volume = {7247},
 year = {2009}
}

[ 55 ]
Oleg Golubitsky and Stephen M. Watt. Online recognition of multi-stroke symbols with orthogonal series. In 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pages 1265-1269. IEEE Computer Society, 2009. [ http ]
@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 = {http://dx.doi.org/10.1109/ICDAR.2009.229},
 year = {2009}
}

[ 54 ]
Amit Regmi and Stephen M. Watt. A collaborative interface for multimodal ink and audio documents. In 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pages 901-905. IEEE Computer Society, 2009. [ http ]
@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 = {http://dx.doi.org/10.1109/ICDAR.2009.205},
 year = {2009}
}

[ 53 ]
Cosmin E. Oancea, Alan Mycroft, and Stephen M. Watt. A new approach to parallelising tracing algorithms. In Hillel Kolodner and Guy L. Steele Jr., editors, Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pages 10-19. ACM, 2009. [ http ]
@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 = {http://doi.acm.org/10.1145/1542431.1542434},
 year = {2009}
}

[ 52 ]
Oleg Golubitsky and Stephen M. Watt. Confidence measures in recognizing handwritten mathematical symbols. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors, 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, volume 5625, pages 460-466. Springer, 2009. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-02614-0_36},
 volume = {5625},
 year = {2009}
}

[ 51 ]
Alan P. Sexton, Volker Sorge, and Stephen M. Watt. Reasoning with generic cases in the arithmetic of abstract matrices. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors, 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, volume 5625, pages 138-153. Springer, 2009. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-02614-0_15},
 volume = {5625},
 year = {2009}
}

[ 50 ]
Stephen M. Watt. Algorithms for the functional decomposition of laurent polynomials. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors, 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, volume 5625, pages 186-200. Springer, 2009. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-02614-0_18},
 volume = {5625},
 year = {2009}
}

[ 49 ]
Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors. 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, volume 5625. Springer, 2009. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-02614-0},
 volume = {5625},
 year = {2009}
}

[ 48 ]
Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, and Daniela Zaharie, editors. 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. IEEE Computer Society, 2009. [ http ]
@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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5459479},
 year = {2009}
}



[ 2008 ]


[ 47 ]
Oleg Golubitsky and Stephen M. Watt. Online stroke modeling for handwriting recognition. In Marsha Chechik, Mark R. Vigder, and Darlene A. Stewart, editors, Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada, page 6. IBM, 2008. [ http ]
@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 = {http://doi.acm.org/10.1145/1463788.1463796},
 year = {2008}
}

[ 46 ]
Stephen M. Watt. An empirical measure on the set of symbols occurring in engineering mathematics texts. In Koichi Kise and Hiroshi Sako, editors, The Eighth IAPR International Workshop on Document Analysis Systems, DAS 2008, September 16-19, 2008, Nara, Japan, pages 557-564. IEEE Computer Society, 2008. [ http ]
@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 = {http://dx.doi.org/10.1109/DAS.2008.82},
 year = {2008}
}

[ 45 ]
Stephen M. Watt. Functional decomposition of symbolic polynomials. In Marina L. Gavrilova, Osvaldo Gervasi, Antonio Laganà, Youngsong Mun, and Andrés Iglesias, editors, Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, ICCSA '08, Perugia, Italy, June 30 - July 3, 2008, pages 353-362. IEEE Computer Society, 2008. [ http ]
@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 = {http://dx.doi.org/10.1109/ICCSA.2008.71},
 year = {2008}
}

[ 44 ]
Alan P. Sexton, Volker Sorge, and Stephen M. Watt. Abstract matrix arithmetic. In Viorel Negru, Tudor Jebelean, Dana Petcu, and Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pages 61-68. IEEE Computer Society, 2008. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2008.85},
 year = {2008}
}

[ 43 ]
Elena S. Smirnova and Stephen M. Watt. Communicating mathematics via pen-based interfaces. In Viorel Negru, Tudor Jebelean, Dana Petcu, and Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pages 9-18. IEEE Computer Society, 2008. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2008.94},
 year = {2008}
}



[ 2007 ]


[ 42 ]
Watt, Stephen M. Two families of algorithms for symbolic polynomials. In Computer algebra 2006, pages 193-210. World Sci. Publ., Hackensack, NJ, 2007. [ http ]
@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 = {http://dx.doi.org/10.1142/9789812778857_0012},
 year = {2007}
}

[ 41 ]
Bruce W. Char and Stephen M. Watt. Representing and characterizing handwritten mathematical symbols through succinct functional approximation. In 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pages 1198-1202. IEEE Computer Society, 2007. [ http ]
@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.218},
 pages = {1198--1202},
 publisher = {{IEEE} Computer Society},
 title = {Representing and Characterizing Handwritten Mathematical Symbols through
Succinct Functional Approximation},
 url = {http://doi.ieeecomputersociety.org/10.1109/ICDAR.2007.218},
 year = {2007}
}

[ 40 ]
Birendra Keshari and Stephen M. Watt. Streaming-archival inkml conversion. In 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pages 1253-1257. IEEE Computer Society, 2007. [ http ]
@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.236},
 pages = {1253--1257},
 publisher = {{IEEE} Computer Society},
 title = {Streaming-Archival InkML Conversion},
 url = {http://doi.ieeecomputersociety.org/10.1109/ICDAR.2007.236},
 year = {2007}
}

[ 39 ]
Birendra Keshari and Stephen M. Watt. Hybrid mathematical symbol recognition using support vector machines. In 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pages 859-863. IEEE Computer Society, 2007. [ http ]
@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.136},
 pages = {859--863},
 publisher = {{IEEE} Computer Society},
 title = {Hybrid Mathematical Symbol Recognition Using Support Vector Machines},
 url = {http://doi.ieeecomputersociety.org/10.1109/ICDAR.2007.136},
 year = {2007}
}

[ 38 ]
Elena S. Smirnova and Stephen M. Watt. Aspects of mathematical expression analysis in arabic handwriting. In 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pages 1183-1187. IEEE Computer Society, 2007. [ http ]
@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.63},
 pages = {1183--1187},
 publisher = {{IEEE} Computer Society},
 title = {Aspects of Mathematical Expression Analysis in Arabic Handwriting},
 url = {http://doi.ieeecomputersociety.org/10.1109/ICDAR.2007.63},
 year = {2007}
}

[ 37 ]
Stephen M. Watt. New aspects of inkml for pen-based computing. In 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pages 457-460. IEEE Computer Society, 2007. [ http ]
@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.175},
 pages = {457--460},
 publisher = {{IEEE} Computer Society},
 title = {New Aspects of InkML for Pen-Based Computing},
 url = {http://doi.ieeecomputersociety.org/10.1109/ICDAR.2007.175},
 year = {2007}
}

[ 36 ]
Thomas J. Ashby, Anthony D. Kennedy, and Stephen M. Watt. Generation and optimisation of code using coxeter lattice paths. In Marc Moreno Maza and Stephen M. Watt, editors, Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pages 1-10. ACM, 2007. [ http ]
@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 = {http://doi.acm.org/10.1145/1278177.1278179},
 year = {2007}
}

[ 35 ]
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, and Yuzhen Xie. Multiprocessed parallelism support in ALDOR on smps and multicores. In Marc Moreno Maza and Stephen M. Watt, editors, Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pages 60-68. ACM, 2007. [ http ]
@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 = {http://doi.acm.org/10.1145/1278177.1278188},
 year = {2007}
}

[ 34 ]
Geoff Wozniak, Mark Daley, and Stephen Watt. Dynamic adts: a "don't ask, don't tell" policy for data abstraction. In Carl Shapiro, Pascal Costanza, and Jon L. White, editors, International Lisp Conference, ILC 2007, Cambridge, April 1-4, 2007, page 26. ACM, 2007. [ http ]
@inproceedings{DBLP:conf/lfp/WozniakDW07,
 author = {Geoff Wozniak and
Mark Daley and
Stephen Watt},
 booktitle = {International Lisp Conference, {ILC} 2007, Cambridge, 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 = {http://doi.acm.org/10.1145/1622123.1622152},
 year = {2007}
}

[ 33 ]
Marc Moreno Maza and Stephen M. Watt, editors. Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada. ACM, 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}
}

[ 32 ]
Stephen M. Watt and Jan Verschelde, editors. Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada. ACM, 2007. [ .html ]
@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},
 url = {http://www.orcca.on.ca/conferences/snc2007/site/index.html},
 year = {2007}
}



[ 2006 ]


[ 31 ]
Yannis Chicha and Stephen M. Watt. A localized tracing scheme applied to garbage collection. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, volume 4279, pages 323-339. Springer, 2006. [ http ]
@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 = {http://dx.doi.org/10.1007/11924661_20},
 volume = {4279},
 year = {2006}
}

[ 30 ]
Stephen M. Watt. Algorithms for symbolic polynomials. In Victor G. Ganzha, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, volume 4194, page 302. Springer, 2006. [ http ]
@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 = {http://dx.doi.org/10.1007/11870814_26},
 volume = {4194},
 year = {2006}
}

[ 29 ]
Thomas J. Ashby, Anthony D. Kennedy, and Stephen M. Watt. Coxeter lattice paths. In Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt, editors, Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, volume 06271. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ http ]
@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}
}

[ 28 ]
Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt. 06271 abstracts collection - challenges in symbolic computation software. In Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt, editors, Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, volume 06271. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ http ]
@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}
}

[ 27 ]
Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt. 06271 executive summary - challenges in symbolic computation software. In Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt, editors, Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, volume 06271. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ http ]
@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}
}

[ 26 ]
Stephen M. Watt. Two families of algorithms for symbolic polynomials. In Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt, editors, Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, volume 06271. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ http ]
@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}
}

[ 25 ]
Stephen M. Watt. Pivot-free block matrix inversion. In Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt, editors, Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, volume 06271. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ http ]
@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}
}

[ 24 ]
Stephen M. Watt. A technique for generic iteration and its optimization. In Ralf Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pages 76-86. ACM, 2006. [ http ]
@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 = {http://doi.acm.org/10.1145/1159861.1159872},
 year = {2006}
}

[ 23 ]
Stephen M. Watt. Pivot-free block matrix inversion. In Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, and Joël Quinqueton, editors, 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania, pages 151-155. IEEE Computer Society, 2006. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2006.61},
 year = {2006}
}

[ 22 ]
Stephen M. Watt. Improving pen-based mathematical interfaces. In Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, and Joël Quinqueton, editors, 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania, page 12. IEEE Computer Society, 2006. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2006.46},
 year = {2006}
}

[ 21 ]
Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt, editors. Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, volume 06271. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ http ]
@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}
}



[ 2005 ]


[ 20 ]
Oancea, Cosmin E. and Watt, Stephen M. Domains and expressions: an interface between two approaches to computer algebra. In ISSAC'05, pages 261-268. ACM, New York, 2005. [ http ]
@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 = {http://dx.doi.org/10.1145/1073884.1073921},
 year = {2005}
}

[ 19 ]
Clare M. So, Mark Perry, and Stephen M. Watt. Towards an accessible web through semantic web standards. In Hamid R. Arabnia, editor, Proceedings of The 2005 International Conference on Computers for People with Special Needs, CPSN 2005, Las Vegas, Nevada, USA, June 20-23, 2005, pages 10-16. CSREA Press, 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}
}

[ 18 ]
Stephen M. Watt and Xiaofang Xie. Recognition for large sets of handwritten mathematical symbols. In Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea, pages 740-744. IEEE Computer Society, 2005. [ http ]
@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 = {http://dx.doi.org/10.1109/ICDAR.2005.195},
 year = {2005}
}

[ 17 ]
Clare M. So and Stephen M. Watt. Determining empirical characteristics of mathematical expression use. In Michael Kohlhase, editor, Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, volume 3863, pages 361-375. Springer, 2005. [ http ]
@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 = {http://dx.doi.org/10.1007/11618027_24},
 volume = {3863},
 year = {2005}
}

[ 16 ]
Cosmin E. Oancea and Stephen M. Watt. Parametric polymorphism for software component architectures. In Ralph E. Johnson and Richard P. Gabriel, editors, 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, pages 147-166. ACM, 2005. [ http ]
@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 = {http://doi.acm.org/10.1145/1094811.1094823},
 year = {2005}
}

[ 15 ]
Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, and Stephen M. Watt. Distributed models of thread level speculation. In Hamid R. Arabnia, editor, 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, pages 920-927. CSREA Press, 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}
}

[ 14 ]
Laurentiu Dragan and Stephen M. Watt. Performance analysis of generics in scientific computing. In Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, and Marcin Paprzycki, editors, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania, pages 93-100. IEEE Computer Society, 2005. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2005.56},
 year = {2005}
}



[ 2004 ]


[ 13 ]
Robert M. Corless, Stephen M. Watt, and Lihong Zhi. QR factoring to compute the GCD of univariate approximate polynomials. IEEE Trans. Signal Processing, 52:3394-3402, 2004. [ http ]
@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 Processing},
 pages = {3394--3402},
 title = {{QR} factoring to compute the {GCD} of univariate approximate polynomials},
 url = {http://dx.doi.org/10.1109/TSP.2004.837413},
 volume = {52},
 year = {2004}
}

[ 12 ]
Elena S. Smirnova, Clare M. So, and Stephen M. Watt. An architecture for distributed mathematical web services. In Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, volume 3119, pages 363-377. Springer, 2004. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-540-27818-4_26},
 volume = {3119},
 year = {2004}
}



[ 2003 ]


[ 11 ]
Bill Naylor and Stephen M. Watt. Meta-stylesheets for the conversion of mathematical documents into multiple forms. Ann. Math. Artif. Intell., 38:3-25, 2003. [ http ]
@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 = {http://dx.doi.org/10.1023/A:1022955412266},
 volume = {38},
 year = {2003}
}

[ 10 ]
Hazaveh, K., Jeffrey, D. J., Reid, G. J., Watt, S. M., and Wittkopf, A. D. An exploration of homotopy solving in Maple. In Computer mathematics, volume 10, pages 145-162. World Sci. Publ., River Edge, NJ, 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}
}



[ 2002 ]


[ 9 ]
Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, and Stephen M. Watt. Reasoning about the elementary functions of complex analysis. Ann. Math. Artif. Intell., 36:303-318, 2002. [ http ]
@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 = {http://dx.doi.org/10.1023/A:1016007415899},
 volume = {36},
 year = {2002}
}

[ 8 ]
Robert M. Corless, André Galligo, Ilias S. Kotsireas, and Stephen M. Watt. A geometric-numeric algorithm for absolute factorization of multivariate polynomials. In Teo Mora, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pages 37-45. ACM, 2002. [ http ]
@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 = {http://doi.acm.org/10.1145/780506.780512},
 year = {2002}
}



[ 2001 ]


[ 7 ]
Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, and Stephen M. Watt. Towards factoring bivariate approximate polynomials. In Erich Kaltofen and Gilles Villard, editors, 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, pages 85-92. ACM, 2001. [ http ]
@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 = {http://doi.acm.org/10.1145/384101.384114},
 year = {2001}
}



[ 2000 ]


[ 6 ]
Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, and Stephen M. Watt. Reasoning about the elementary functions of complex analysis. In John A. Campbell and Eugenio Roanes-Lozano, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, volume 1930, pages 115-126. Springer, 2000. [ http ]
@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 = {http://dx.doi.org/10.1007/3-540-44990-6_9},
 volume = {1930},
 year = {2000}
}

[ 5 ]
Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, and Stephen M. Watt. Numerical implicitization of parametric hypersurfaces with linear algebra. In John A. Campbell and Eugenio Roanes-Lozano, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, volume 1930, pages 174-183. Springer, 2000. [ http ]
@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 = {http://dx.doi.org/10.1007/3-540-44990-6_13},
 volume = {1930},
 year = {2000}
}



[ 1999 ]


[ 4 ]
Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, and Stephen M. Watt. Approximate polynomial decomposition. In Keith O. Geddes, Bruno Salvy, and Samuel S. Dooley, editors, Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999, pages 213-219. ACM, 1999. [ http ]
@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 = {http://doi.acm.org/10.1145/309831.309939},
 year = {1999}
}



[ 1998 ]




[ 1997 ]


[ 3 ]
Stéphane Dalmas, Marc Gaëtano, and Stephen M. Watt. An openmath 1.0 implementation. In Bruce W. Char, Paul S. Wang, and Wolfgang Küchlin, editors, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997, pages 241-248. ACM, 1997.
@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} '97, Maui, Hawaii, USA, July 21-23, 1997},
 editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
 pages = {241--248},
 publisher = {ACM},
 title = {An OpenMath 1.0 Implementation},
 year = {1997}
}

[ 2 ]
André Galligo and Stephen M. Watt. A numerical absolute primality test for bivariate polynomials. In Bruce W. Char, Paul S. Wang, and Wolfgang Küchlin, editors, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997, pages 217-224. ACM, 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} '97, Maui, Hawaii, USA, July 21-23, 1997},
 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},
 year = {1997}
}

[ 1 ]
Galligo, André and Watt, Stephen. A numerical absolute primality test for bivariate polynomials. In Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (Kihei, HI), pages 217-224. ACM, New York, 1997. [ http ]
@inproceedings{MR1809991,
 author = {Galligo, Andr\'e and Watt, Stephen},
 booktitle = {Proceedings of the 1997 {I}nternational {S}ymposium on
{S}ymbolic and {A}lgebraic {C}omputation ({K}ihei, {HI})},
 doi = {10.1145/258726.258788},
 pages = {217--224},
 publisher = {ACM, New York},
 title = {A numerical absolute primality test for bivariate polynomials},
 url = {http://dx.doi.org/10.1145/258726.258788},
 year = {1997}
}