Refereed Conference Papers, Journal Articles and Book Chapters
Symbolic Mathematical Computation 1965--1975: The emergence of a discipline,
Robert M. Corless, Arthur C. Norman, Tomas Recio, William J. Turkel, Stephen M. Watt, Journal of Symbolic Computation, Vol. 138, No. 102604, 2027, (24 pages), DOI 10.1016/j.jsc.2026.102604.
@article{SMW-2027-jsc-algebra50,
author = {Robert M. Corless and Arthur C. Norman and Tomas Recio and William J. Turkel and Stephen M. Watt},
title = {Symbolic Mathematical Computation 1965--1975: The emergence of a discipline},
year = {2027},
journaltitle = {Journal of Symbolic Computation},
volume = {138},
number = {102604},
pagetotal = {24},
doi = {10.1016/j.jsc.2026.102604},
url = {https://kwnsfk27.r.eu-west-1.awstrack.me/L0/https:%2F%2Fauthors.elsevier.com%2Fc%2F1nI7n2g0jri0~8/1/0102019edb0d5561-4a03d706-a930-4826-bb1c-3b21b88e289f-000000/LUKTwu47SPMDVTmgQQs3zTkPlQI=473},
}
2026
Preprints not Published Elsewhere
Arc-Length Parameterized Interpolating Splines,
Dafna K. Matsegora and Stephen M. Watt, (10 pages).
@unpublished{SMW-2026-arxiv-arclength-splines,
author = {Dafna K. Matsegora and Stephen M. Watt},
title = {Arc-Length Parameterized Interpolating Splines},
year = {2026},
pagetotal = {10},
}
Refereed Conference Papers, Journal Articles and Book Chapters
Stability of Sobolev-Regularized Polynomial Differentiation Matrices,
Deepak Singh Kalhan, Robert M. Corless and Stephen M. Watt, Proc. 2026 International Congress on Mathematical Software (ICMS 2026), Waterloo, Canada, July 20-23 2026, Springer, LNCS, Vol. 16677, (11 pages).
@inproceedings{SMW-2026-icms-regularized-diff,
author = {Deepak Singh Kalhan and Robert M. Corless and Stephen M. Watt},
title = {Stability of Sobolev-Regularized Polynomial Differentiation Matrices},
year = {2026},
booktitle = {2026 International Congress on Mathematical Software},
venue = {Waterloo, Canada},
eventdate = {2026-07-20},
volume = {16677},
pagetotal = {11},
publisher = {Springer},
series = {{LNCS}},
}
On GPU Implementation for Multi-Precision Integer Division,
Martin B. Marchioro, Aske N. Raahauge, Marc I. Løvenskjold, Cosmin E. Oancea, and Stephen M. Watt, Proc. 2026 Computer Algebra in Scientific Computing (CASC 2026), Bath, UK, Aug 31-Sept 4 2026, Springer LNCS (to appear), (21 pages), DOI 10.48550/arXiv.2606.06386.
@inproceedings{SMW-2026-casc-gpu-division,
author = {Martin B. Marchioro and Aske N. Raahauge and Marc I. Løvenskjold and Cosmin E. Oancea and Stephen M. Watt},
title = {On {GPU} Implementation for Multi-Precision Integer Division},
year = {2026},
booktitle = {2026 Computer Algebra in Scientific Computing},
venue = {Bath, UK},
eventdate = {2026-08-31},
pagetotal = {21},
publisher = {Springer LNCS (to appear)},
doi = {10.48550/arXiv.2606.06386},
}
Look Before You Leap: Checking In on Type Tag Checking,
Stephen M Watt, Proc. 2026 Computer Algebra in Scientific Computing (CASC 2026), Bath, UK, Aug 31-Sept 4 2026, Springer LNCS (to appear), (21 pages), DOI 10.48550/arXiv.2606.05466.
@inproceedings{SMW-2026-casc-tags,
author = {Stephen M Watt},
title = {Look Before You Leap: Checking In on Type Tag Checking},
year = {2026},
booktitle = {2026 Computer Algebra in Scientific Computing},
venue = {Bath, UK},
eventdate = {2026-08-31},
pagetotal = {21},
publisher = {Springer LNCS (to appear)},
doi = {10.48550/arXiv.2606.05466},
}
Generative AI for Multiple Choice STEM Assesments,
Christina Perdikoulias, Chad Vance and Stephen M. Watt, Proc. 18th annual International Conference on Education and New Learning Technologies (EDULEARN26), Palma, Spain, June 29-July 1 2026, IATED (to appear), (8 pages). (Extended version O16).
@inproceedings{SMW-2026-edulearn-generative-ai,
author = {Christina Perdikoulias and Chad Vance and Stephen M. Watt},
title = {Generative {AI} for Multiple Choice {STEM} Assesments},
year = {2026},
booktitle = {18th annual International Conference on Education and New Learning Technologies},
venue = {Palma, Spain},
eventdate = {2026-06-29},
pagetotal = {8},
publisher = {IATED (to appear)},
}
A Computational Toolkit for Engagement and Scalable Assessment in a Large Logic Course,
Stephen M. Watt, Proc. 18th annual International Conference on Education and New Learning Technologies (EDULEARN26), Palma, Spain, June 29-July 1 2026, IATED (to appear), (8 pages), DOI 10.48550/arXiv.2606.02367.
@inproceedings{SMW-2026-edulearn-logiclab,
author = {Stephen M. Watt},
title = {A Computational Toolkit for Engagement and Scalable Assessment in a Large Logic Course},
year = {2026},
booktitle = {18th annual International Conference on Education and New Learning Technologies},
venue = {Palma, Spain},
eventdate = {2026-06-29},
pagetotal = {8},
publisher = {IATED (to appear)},
doi = {10.48550/arXiv.2606.02367},
}
2025
Refereed Conference Papers, Journal Articles and Book Chapters
Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition,
Robert M. Corless, Deepak Singh Kalhan, Stephen M. Watt, Proc. 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, Sep 22-25 2025, IEEE Computer Society, pp. 13-20, DOI 10.48550/arXiv.2509.10815.
@inproceedings{SMW-2025-synasc-well-conditioned-mhwr,
author = {Robert M. Corless and Deepak Singh Kalhan and Stephen M. Watt},
title = {Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition},
year = {2025},
booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara, Romania},
eventdate = {2025-09-22},
pages = {13-20},
publisher = {IEEE Computer Society},
doi = {10.48550/arXiv.2509.10815},
}
Structuring Definitions in Mathematical Libraries,
Alena Gusakov, Peter Nelson and Stephen M. Watt, Proc. 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, Sep 22-25 2025, IEEE Computer Society, pp. 98-105, DOI 10.48550/arXiv.2509.10828.
@inproceedings{SMW-2025-synasc-structuring-defs,
author = {Alena Gusakov and Peter Nelson and Stephen M. Watt},
title = {Structuring Definitions in Mathematical Libraries},
year = {2025},
booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara, Romania},
eventdate = {2025-09-22},
pages = {98-105},
publisher = {IEEE Computer Society},
doi = {10.48550/arXiv.2509.10828},
}
Semi-Centennial REDUCE,
Arthur C. Norman, Stephen M. Watt, Proc. 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, Sep 22-25 2025, IEEE Computer Society, pp. 37-44, DOI 10.48550/arXiv.2505.01103.
@inproceedings{SMW-2025-synasc-reduce50,
author = {Arthur C. Norman and Stephen M. Watt},
title = {Semi-Centennial {REDUCE}},
year = {2025},
booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara, Romania},
eventdate = {2025-09-22},
pages = {37-44},
publisher = {IEEE Computer Society},
doi = {10.48550/arXiv.2505.01103},
}
Software Portability for Computer Algebra,
Arthur C. Norman, Stephen M. Watt, Proc. 2025 Computer Algebra in Scientific Computing, Dubai, UAE, Nov 24-28 2025, Springer LNCS 16235, pp. 286-311, DOI 10.1007/978-3-032-09645-6_16.
@inproceedings{SMW-2025-casc-portability,
author = {Arthur C. Norman and Stephen M. Watt},
title = {Software Portability for Computer Algebra},
year = {2025},
booktitle = {2025 Computer Algebra in Scientific Computing},
venue = {Dubai, UAE},
eventdate = {2025-11-24},
pages = {286-311},
publisher = {Springer LNCS 16235},
doi = {10.1007/978-3-032-09645-6_16},
}
Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective,
Robert M. Corless, Arthur C. Norman, Tomas Recio, William J. Turkel, Stephen M. Watt, Proc. 2025 International Symposium on Symbolic and Algebraic Computing, Guanajuato, Mexico, Jul 28-Aug 1 2025, ACM Press, pp. 140-149, DOI 10.1145/3747199.3747556.
@inproceedings{SMW-2025-issac-algebra50,
author = {Robert M. Corless and Arthur C. Norman and Tomas Recio and William J. Turkel and Stephen M. Watt},
title = {Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective},
year = {2025},
booktitle = {2025 International Symposium on Symbolic and Algebraic Computing},
venue = {Guanajuato, Mexico},
eventdate = {2025-07-28},
pages = {140-149},
publisher = {ACM Press},
doi = {10.1145/3747199.3747556},
}
A Symbolic Computing Perspective on Software Systems,
Arthur C. Norman, Stephen M. Watt, Proc. Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement, Cambridge, UK, Dec 1 2023, Springer LNCS 15500, pp. 33-50, DOI 10.1007/978-3-032-08187-2_3.
@inproceedings{SMW-2024-langcompan-sc-perspective,
author = {Arthur C. Norman and Stephen M. Watt},
title = {A Symbolic Computing Perspective on Software Systems},
year = {2025},
booktitle = {Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement},
venue = {Cambridge, UK},
eventdate = {2023-12-01},
pages = {33-50},
publisher = {Springer LNCS 15500},
doi = {10.1007/978-3-032-08187-2_3},
}
GPU Implementations for Midsize Integer Addition and Multiplication,
Cosmin E. Oancea, Stephen M. Watt, Proc. Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement, Cambridge, UK, Dec 1 2023, Springer LNCS 15500, pp. 51-79, DOI 10.1007/978-3-032-08187-2_4.
@inproceedings{SMW-2024-langcompan-gpu-arith,
author = {Cosmin E. Oancea and Stephen M. Watt},
title = {{GPU} Implementations for Midsize Integer Addition and Multiplication},
year = {2025},
booktitle = {Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement},
venue = {Cambridge, UK},
eventdate = {2023-12-01},
pages = {51-79},
publisher = {Springer LNCS 15500},
doi = {10.1007/978-3-032-08187-2_4},
}
Selected Other Contributions
Generative AI for Multiple Choice STEM Assesments (Extended Version)(Label O16),
Christina Perdikoulias, Chad Vance and Stephen M. Watt, Research report, arXiv doi:10.48550/arXiv.2506.02094, 2025, (8 pages).
@report{SMW-2025-arxiv-2506.02094,
author = {Christina Perdikoulias and Chad Vance and Stephen M. Watt},
title = {Generative {AI} for Multiple Choice {STEM} Assesments (Extended Version)},
year = {2025},
pagetotal = {8},
publisher = {arXiv doi:10.48550/arXiv.2506.02094},
url = {https://arxiv.org/abs/2506.02094},
}
2024
Refereed Conference Papers, Journal Articles and Book Chapters
Computing Clipped Products,
Arthur C. Norman and Stephen M. Watt, Proc. 27th International Workshop on Computer Algebra in Scientific Computing (CASC 2024), Rennes, France, Sep 2-6 2024, Springer LNCS 14938, pp. 273-291, DOI 10.1007/978-3-031-69070-9_16.
@inproceedings{SMW-2024-casc-clipped-prod,
author = {Arthur C. Norman and Stephen M. Watt},
title = {Computing Clipped Products},
year = {2024},
booktitle = {27th International Workshop on Computer Algebra in Scientific Computing},
venue = {Rennes, France},
eventdate = {2024-09-02},
pages = {273-291},
publisher = {Springer LNCS 14938},
doi = {10.1007/978-3-031-69070-9_16},
}
An Abstraction-Preserving Block Matrix Implementation in Maple,
Stephen M. Watt and David Jeffrey, Proc. 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024), Timişoara, Romania, Sep 16-19 2024, IEEE (to appear), (4 pages), DOI 10.1109/synasc65383.2024.00021.
@inproceedings{SMW-2024-synasc-maple-blockmat,
author = {Stephen M. Watt and David Jeffrey},
title = {An Abstraction-Preserving Block Matrix Implementation in {Maple}},
year = {2024},
booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara, Romania},
eventdate = {2024-09-16},
pagetotal = {4},
publisher = {IEEE (to appear)},
doi = {10.1109/synasc65383.2024.00021},
}
A First Look at Chebyshev-Sobolev Series for Digital Ink,
Deepak Singh Kalhan and Stephen M. Watt, Proc. 15th MathUI Workshop 2024 - Mathematical User Interaction (MathUI 2024), Montreal, Canada, Aug 9 2024, (11 pages), DOI 10.48550/arXiv.2408.02135.
@inproceedings{SMW-2024-mathui-1st-chebyshev-sobolev,
author = {Deepak Singh Kalhan and Stephen M. Watt},
title = {A First Look at Chebyshev-Sobolev Series for Digital Ink},
year = {2024},
booktitle = {15th {MathUI} Workshop 2024 - Mathematical User Interaction},
venue = {Montreal, Canada},
eventdate = {2024-08-09},
pagetotal = {11},
doi = {10.48550/arXiv.2408.02135},
}
Using General Large Language Models to Classify Mathematical Documents,
Patrick D.F. Ion and Stephen M. Watt, Proc. 17th Conference on Intelligent Computer Mathematics (CICM 2024), Montreal, Canada, Aug 5-9 2024, Springer LNAI 14960, pp. 42-57, DOI 10.1007/978-3-031-66997-2_3.
@inproceedings{SMW-2024-cicm-gllm,
author = {Patrick D.F. Ion and Stephen M. Watt},
title = {Using General Large Language Models to Classify Mathematical Documents},
year = {2024},
booktitle = {17th Conference on Intelligent Computer Mathematics},
venue = {Montreal, Canada},
eventdate = {2024-08-05},
pages = {42-57},
publisher = {Springer LNAI 14960},
doi = {10.1007/978-3-031-66997-2_3},
}
Algorithms for Recursive Block Matrices,
Stephen M. Watt, Proc. Matrices and Polynomials in Computer Algebra (LALO 60), London, Canada, July 22-24 2024, (to appear), DOI 10.48550/arXiv.2407.03976.
@inproceedings{SMW-2024-lalo-recursive-bm,
author = {Stephen M. Watt},
title = {Algorithms for Recursive Block Matrices},
year = {2024},
booktitle = {Matrices and Polynomials in Computer Algebra},
venue = {London, Canada},
eventdate = {2024-07-22},
publisher = {(to appear)},
doi = {10.48550/arXiv.2407.03976},
}
Telescopers for Differential Forms with One Parameter,
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, S.M. Watt, Selecta Mathematica New Series, Vol. 30, No. 36, 2024, DOI 10.1007/s00029-024-00926-6.
@article{SMW-2021-arxiv-2101.06576,
author = {Shaoshi Chen and Ruyong Feng and Ziming Li and Michael F. Singer and S.M. Watt},
title = {Telescopers for Differential Forms with One Parameter},
year = {2024},
journaltitle = {Selecta Mathematica New Series},
volume = {30},
number = {36},
publisher = {doi:10.1007/s00029-024-00926-6},
doi = {10.1007/s00029-024-00926-6},
}
Editorial Works
SCSS 2024: 10th International Symposium on Symbolic Computation in Software Science,
Stephen Watt and Tetsuo Ida (editors), Springer LNAI 14991, 2024, DOI 10.1007/978-3-031-69042-6.
@collection{SMW-2024-scss-2024-10th-international-symposium-symbolic-computation,
title = {{SCSS} 2024: 10th International Symposium on Symbolic Computation in Software Science},
year = {2024},
editor = {Stephen Watt and Tetsuo Ida},
publisher = {Springer LNAI 14991},
doi = {10.1007/978-3-031-69042-6},
url = {https://link.springer.com/book/9783031690419},
}
SCSS 2024 WiP: 10th International Symposium on Symbolic Computation in Software Science -- Work in Progress Workshop,
Katsusuke Nabeshima and Stephen Watt (editors), Vol. ceur-ws.org/vol-3754, CEUR-WS.org, 2024.
@collection{SMW-2024-scss-2024-wip-10th-international-symposium-symbolic,
title = {{SCSS} 2024 {WiP}: 10th International Symposium on Symbolic Computation in Software Science -- Work in Progress Workshop},
year = {2024},
editor = {Katsusuke Nabeshima and Stephen Watt},
volume = {ceur-ws.org/vol-3754},
publisher = {CEUR-WS.org},
url = {https://ceur-ws.org/Vol-3754},
}
Selected Other Contributions
Ensuring widespread and equitable access to back issues of mathematics journals,
T. Brennan, H. Cohn, S. Hansen, E. Miot, V. Simoncini, S. Watt, International Mathematical Union, (24 pages).
@misc{SMW-2024-cop_final_report,
author = {T. Brennan and H. Cohn and S. Hansen and E. Miot and V. Simoncini and S. Watt},
title = {Ensuring widespread and equitable access to back issues of mathematics journals},
year = {2024},
pagetotal = {24},
publisher = {International Mathematical Union},
url = {https://www.mathunion.org/fileadmin/IMU/Report/2024-IMU_Committee_on_Permissions-FinalReport.pdf},
}
2023
Refereed Conference Papers, Journal Articles and Book Chapters
Hybrid Intervals and Symbolic Block Matrices,
Mike Ghesquiere and Stephen M. Watt, Proc. 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2023), Nancy, France, Sep 11-14 2023, IEEE, pp. 33-41, DOI 10.48550/arXiv.2311.16571.
@inproceedings{SMW-2023-synasc-hybrid-intervals+block-matrices,
author = {Mike Ghesquiere and Stephen M. Watt},
title = {Hybrid Intervals and Symbolic Block Matrices},
year = {2023},
booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Nancy, France},
eventdate = {2023-09-11},
pages = {33-41},
publisher = {IEEE},
doi = {10.48550/arXiv.2311.16571},
}
The Inverse of the Complex Gamma Function,
David J. Jeffrey and Stephen M. Watt, Proc. 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2023), Nancy, France, Sep 11-14 2023, IEEE, pp. 27-32, DOI 10.1109/SYNASC61333.2023.00010.
@inproceedings{SMW-2023-synasc-inverse-complex-gamma,
author = {David J. Jeffrey and Stephen M. Watt},
title = {The Inverse of the Complex Gamma Function},
year = {2023},
booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Nancy, France},
eventdate = {2023-09-11},
pages = {27-32},
publisher = {IEEE},
doi = {10.1109/SYNASC61333.2023.00010},
}
Efficient Quotients of Non-Commutative Polynomials,
Stephen M. Watt, Proc. 25th International Workshop on Computer Algebra in Scientific Computing (CASC 2023), Havana, Cuba, Aug 28-Sep 1 2023, Springer LNCS 14139, pp. 370-392, DOI 10.1007/978-3-031-41724-5_20.
@inproceedings{SMW-2023-casc-efficient-nc-quotients,
author = {Stephen M. Watt},
title = {Efficient Quotients of Non-Commutative Polynomials},
year = {2023},
booktitle = {25th International Workshop on Computer Algebra in Scientific Computing},
venue = {Havana, Cuba},
eventdate = {2023-08-28},
pages = {370-392},
publisher = {Springer LNCS 14139},
doi = {10.1007/978-3-031-41724-5_20},
}
Extracting Theory Graphs from Aldor Libraries,
Florian Rabe, Stephen M. Watt, Proc. 16th Conference on Intelligent Computer Mathematics (CICM 2023), Cambridge, UK, Sep 4-8 2023, Springer LNAI 14101, pp. 315-320, DOI 10.1007/978-3-031-42753-4_24.
@inproceedings{SMW-2023-cicm-aldor-theories,
author = {Florian Rabe and Stephen M. Watt},
title = {Extracting Theory Graphs from {Aldor} Libraries},
year = {2023},
booktitle = {16th Conference on Intelligent Computer Mathematics},
venue = {Cambridge, UK},
eventdate = {2023-09-04},
pages = {315-320},
publisher = {Springer LNAI 14101},
doi = {10.1007/978-3-031-42753-4_24},
}
Efficient Generic Quotients Using Exact Arithmetic,
Stephen M. Watt, Proc. 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC 2023), Tromsø, Norway, Jul 24-27 2023, ACM, pp. 535-544, DOI 10.1145/3597066.3597076.
@inproceedings{SMW-2023-issac-efficient-generic-quotients,
author = {Stephen M. Watt},
title = {Efficient Generic Quotients Using Exact Arithmetic},
year = {2023},
booktitle = {2023 International Symposium on Symbolic and Algebraic Computation},
venue = {Tromsø, Norway},
eventdate = {2023-07-24},
pages = {535-544},
publisher = {ACM},
doi = {10.1145/3597066.3597076},
}
Two Methods for Efficient Generic Inversion (Invited),
Stephen M. Watt, Proc. 5th Interntional Conference on Computer Algebra (CCAS 2023), Moscow, Russia (online), Jun 26-28 2023, Russian Academy of Sciences, pp. 18-22.
@inproceedings{SMW-2023-ccas-two-methods-2,
author = {Stephen M. Watt},
title = {Two Methods for Efficient Generic Inversion},
year = {2023},
booktitle = {5th Interntional Conference on Computer Algebra},
venue = {Moscow, Russia (online)},
eventdate = {2023-06-26},
pages = {18-22},
publisher = {Russian Academy of Sciences},
}
Refereed and Invited Abstracts
A Symbolic Computing Perspective on Software Systems,
Arthur C. Norman, Stephen M. Watt, Proc. MycroftFest Symposium (MycroftFest 2023), Cambridge, UK, December 1 2023.
@inproceedings{SMW-2023-symbolic-computing-perspective-software-systems,
author = {Arthur C. Norman and Stephen M. Watt},
title = {A Symbolic Computing Perspective on Software Systems},
year = {2023},
booktitle = {{MycroftFest} Symposium},
venue = {Cambridge, UK},
eventdate = {2023-12-01},
}
Parallel Multiprecision Arithmetic the Easy Way,
Cosmin E. Oancea, Stephen M. Watt, Proc. MycroftFest Symposium (MycroftFest 2023), Cambridge, UK, December 1 2023, (11 pages).
@inproceedings{SMW-2023-parallel-multiprecision-arithmetic-easy-way,
author = {Cosmin E. Oancea and Stephen M. Watt},
title = {Parallel Multiprecision Arithmetic the Easy Way},
year = {2023},
booktitle = {{MycroftFest} Symposium},
venue = {Cambridge, UK},
eventdate = {2023-12-01},
pagetotal = {11},
}
An Implementation of Generic Skew Polynomials,
Stephen M. Watt, Proc. Maple Conference 2023, Waterloo, Canada, October 27-28 2023.
@inproceedings{SMW-2023-implementation-generic-skew-polynomials,
author = {Stephen M. Watt},
title = {An Implementation of Generic Skew Polynomials},
year = {2023},
booktitle = {{Maple} Conference 2023},
venue = {Waterloo, Canada},
eventdate = {2023-10-27},
}
2022
Refereed Conference Papers, Journal Articles and Book Chapters
Detecting Implicit Indeterminates in Symbolic Computation,
Stephen M. Watt, Proc. 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2022), Linz, Austria, Sep 12-15 2022, IEEE, pp. 43-50, DOI 10.1109/SYNASC57785.2022.00016.
@inproceedings{SMW-2022-synasc-implicit-indets-2,
author = {Stephen M. Watt},
title = {Detecting Implicit Indeterminates in Symbolic Computation},
year = {2022},
booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Linz, Austria},
eventdate = {2022-09-12},
pages = {43-50},
publisher = {IEEE},
doi = {10.1109/SYNASC57785.2022.00016},
}
Working with Families of Inverse Functions,
David J. Jeffrey, Stephen M. Watt, Proc. 15th Conference on Intelligent Computer Mathematics (CICM 2022), Tbilisi, Georgia, Sep 19-23 2022, Springer LNAI 13467, pp. 222-237, DOI 10.1007/978-3-031-16681-5_16.
@inproceedings{SMW-2022-cicm-inverses-2,
author = {David J. Jeffrey and Stephen M. Watt},
title = {Working with Families of Inverse Functions},
year = {2022},
booktitle = {15th Conference on Intelligent Computer Mathematics},
venue = {Tbilisi, Georgia},
eventdate = {2022-09-19},
pages = {222-237},
publisher = {Springer LNAI 13467},
doi = {10.1007/978-3-031-16681-5_16},
}
Refereed and Invited Abstracts
Computer Algebra, Student Assessment and Learning Data Analysis,
David Smith, Stephen M. Watt, Proc. Applications of Computer Algebra (ACA 2022), Istanbul-Gebze, Turkey, August 15-19 2022.
@inproceedings{SMW-2022-aca-learning-data,
author = {David Smith and Stephen M. Watt},
title = {Computer Algebra, Student Assessment and Learning Data Analysis},
year = {2022},
booktitle = {Applications of Computer Algebra},
venue = {Istanbul-Gebze, Turkey},
eventdate = {2022-08-15},
}
2021
Refereed and Invited Abstracts
Questioning the Assumptions Behind Symbolic Computation Systems (Invited),
Stephen M. Watt, Proc. 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2021), Timişoara Romania, Dec 7-10 2021, IEEE Computer Society, pp. xx.
@inproceedings{SMW-2021-questioning-assumptions-behind-symbolic-computation-systems,
author = {Stephen M. Watt},
title = {Questioning the Assumptions Behind Symbolic Computation Systems},
year = {2021},
booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2021-12-07},
pages = {xx},
publisher = {IEEE Computer Society},
}
2020
Refereed Conference Papers, Journal Articles and Book Chapters
The LegendreSobolev Package and its Applications in Handwriting Recognition,
Parisa Alvandi, Stephen M. Watt, Proc. Maple in Education and Research (MC 2019), Waterloo, Ontario, Oct 15-17 2019, Springer Communications in Computer and Information Science, Vol. 1125, pp. 13-29, DOI 10.1007/978-3-030-41258-6_2.
@inproceedings{SMW-2019-mc-ls-package,
author = {Parisa Alvandi and Stephen M. Watt},
title = {The {LegendreSobolev} Package and its Applications in Handwriting Recognition},
year = {2020},
booktitle = {{Maple} in Education and Research},
venue = {Waterloo, Ontario},
eventdate = {2019-10-15},
pages = {13-29},
publisher = {Springer Communications in Computer and Information Science, Vol. 1125},
doi = {10.1007/978-3-030-41258-6_2},
}
Refereed and Invited Abstracts
Web Technologies for the Next Generation of Symbolic Computation (Invited),
Stephen M. Watt, Proc. 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2020), Timişoara Romania, Sept 1-4 2021.
@inproceedings{SMW-2020-web-technologies-next-generation-symbolic-computation,
author = {Stephen M. Watt},
title = {Web Technologies for the Next Generation of Symbolic Computation},
year = {2020},
booktitle = {22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2021-09-01},
}
2019
Refereed Conference Papers, Journal Articles and Book Chapters
A Review of Algorithms for Symbolic Domains (Invited),
Stephen M. Watt, Proc. 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2019), Timişoara Romania, Sep 4-7 2019, IEEE, pp. 22, DOI 10.1109/SYNASC49474.2019.00013.
@inproceedings{SMW-2019-synasc-symbolic-domains,
author = {Stephen M. Watt},
title = {A Review of Algorithms for Symbolic Domains},
year = {2019},
booktitle = {21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2019-09-04},
pages = {22},
publisher = {IEEE},
doi = {10.1109/SYNASC49474.2019.00013},
}
Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation,
Parisa Alvandi, Stephen M. Watt, Proc. 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2019), Timişoara Romania, Sep 4-7 2019, IEEE, pp. 206-213, DOI 10.1109/SYNASC49474.2019.00036.
@inproceedings{SMW-2019-synasc-ls-matrix-rep,
author = {Parisa Alvandi and Stephen M. Watt},
title = {Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation},
year = {2019},
booktitle = {21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2019-09-04},
pages = {206-213},
publisher = {IEEE},
doi = {10.1109/SYNASC49474.2019.00036},
}
Refereed and Invited Abstracts
Telescopers for Differential Forms with One Parameter,
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, S.M. Watt, Proc. Applications of Computer Algebra (ACA 2019), Montréal, Canada, July 16-20 2019.
@inproceedings{SMW-2019-aca-telescopers,
author = {Shaoshi Chen and Ruyong Feng and Ziming Li and Michael F. Singer and S.M. Watt},
title = {Telescopers for Differential Forms with One Parameter},
year = {2019},
booktitle = {Applications of Computer Algebra},
venue = {Montréal, Canada},
eventdate = {2019-07-16},
}
Algorithms for Polynomials in Legendre-Sobolev Bases,
S.M. Watt, (ACA 2019), Montréeal, Canada, July 16-20 2019.
@inproceedings{SMW-2019-aca-ls-algos,
author = {S.M. Watt},
title = {Algorithms for Polynomials in Legendre-Sobolev Bases},
year = {2019},
venue = {Montréeal, Canada},
eventdate = {2019-07-16},
}
Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters,
S.M. Watt, Parisa Alvandi, Proc. Applications of Computer Algebra (ACA 2019), St Petersburg, Russia, April 15-20 2019.
@inproceedings{SMW-2019-aca-ls-algos-2,
author = {S.M. Watt and Parisa Alvandi},
title = {Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters},
year = {2019},
booktitle = {Applications of Computer Algebra},
venue = {St Petersburg, Russia},
eventdate = {2019-04-15},
}
2018
Refereed Conference Papers, Journal Articles and Book Chapters
International Mathematical Knowledge Trust (IMKT): An update on the global digital mathematics library,
Patrick D.F. Ion, Thierry Bouche, Gadadhar Misra, Alf A. Onshuus, Stephen M. Watt, Liu Zheng, Proc. International Congress of Mathematicians 2018 (ICM 2018), Rio de Janeiro, Brazil, Aug 1-9 2018, World Scientific, pp. 1157-1176, DOI 10.1142/9789813272880_0041.
@inproceedings{SMW-2018-icm-imkt,
author = {Patrick D.F. Ion and Thierry Bouche and Gadadhar Misra and Alf A. Onshuus and Stephen M. Watt and Liu Zheng},
title = {International Mathematical Knowledge Trust ({IMKT}): An update on the global digital mathematics library},
year = {2018},
booktitle = {International Congress of Mathematicians 2018},
venue = {Rio de Janeiro, Brazil},
eventdate = {2018-08-01},
pages = {1157-1176},
publisher = {World Scientific},
doi = {10.1142/9789813272880_0041},
}
Real-Time Computation of Legendre-Sobolev Approximations,
Parisa Alvandi and Stephen M. Watt, Proc. 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018), Timişoara Romania, Sep 20-23 2018, IEEE, pp. 67-74, DOI 10.1109/SYNASC.2018.00023.
@inproceedings{SMW-2018-synasc-real-time-ls,
author = {Parisa Alvandi and Stephen M. Watt},
title = {Real-Time Computation of Legendre-Sobolev Approximations},
year = {2018},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2018-09-20},
pages = {67-74},
publisher = {IEEE},
doi = {10.1109/SYNASC.2018.00023},
}
Editorial Works
SYNASC 2017: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie Tetsuo Ida, Stephen Watt, (editors), IEEE Computer Society, 2018.
@collection{SMW-2018-synasc-2017-19th-international-symposium-symbolic-numeric,
title = {{SYNASC} 2017: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2018},
editor = {Tudor Jebelean and Viorel Negru and Dana Petcu and Daniela Zaharie Tetsuo Ida and Stephen Watt},
publisher = {IEEE Computer Society},
}
2017
Refereed Conference Papers, Journal Articles and Book Chapters
The Global Digital Mathematics Library and the International Mathematical Knowledge Trust,
Patrick D. F. Ion and Stephen M. Watt, Proc. 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, Jul 17-21 2017, Springer International Publishing, LNAI 10383, pp. 59-69, DOI 10.1007/978-3-319-62075-6_5.
@inproceedings{SMW-2017-cicm-gdml,
author = {Patrick D. F. Ion and Stephen M. Watt},
title = {The Global Digital Mathematics Library and the International Mathematical Knowledge Trust},
year = {2017},
booktitle = {10th Conference on Intelligent Computer Mathematics},
venue = {Edinburgh, United Kingdom},
eventdate = {2017-07-17},
pages = {59-69},
publisher = {Springer International Publishing, LNAI 10383},
doi = {10.1007/978-3-319-62075-6_5},
}
Origami Folds in Higher-dimension,
Tetsuo and Stephen M. Watt, Proc. 8th International Symposium on Symbolic COmputation in Software Science (SCSS 2017), Gammarth, Tunisia, Apr 6-9 2017, EPiC Series in Computing, vol. 45, pp. 83-95, DOI 10.29007/n76q.
@inproceedings{SMW-2017-scss-ndorigami,
author = {Tetsuo and Stephen M. Watt},
title = {Origami Folds in Higher-dimension},
year = {2017},
booktitle = {8th International Symposium on Symbolic COmputation in Software Science},
venue = {Gammarth, Tunisia},
eventdate = {2017-04-06},
pages = {83-95},
publisher = {EPiC Series in Computing, vol. 45},
doi = {10.29007/n76q},
}
Editorial Works
SYNASC 2016: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
James Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (editors), IEEE Computer Society, 2017.
@collection{SMW-2017-synasc-2016-18th-international-symposium-symbolic-numeric,
title = {{SYNASC} 2016: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2017},
editor = {James Davenport and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
}
Refereed and Invited Abstracts
Computer Algebra in Online STEM Education,
C. James Cooper and Stephen M. Watt, Proc. Applications of Computer Algebra (ACA 2017), Jerusalem, July 17-21 2017.
@inproceedings{SMW-2017-aca-online-stem-edu,
author = {C. James Cooper and Stephen M. Watt},
title = {Computer Algebra in Online {STEM} Education},
year = {2017},
booktitle = {Applications of Computer Algebra},
venue = {Jerusalem},
eventdate = {2017-07-17},
}
The International Mathematical Knowledge Trust,
Ingrid Caubechies, Patrick Ion, Stephen M. Watt, Proc. Applications of Computer Algebra (ACA 2017), Jerusalem, July 17-21 2017.
@inproceedings{SMW-2017-aca-imkt,
author = {Ingrid Caubechies and Patrick Ion and Stephen M. Watt},
title = {The International Mathematical Knowledge Trust},
year = {2017},
booktitle = {Applications of Computer Algebra},
venue = {Jerusalem},
eventdate = {2017-07-17},
}
Specialization of Symbolic Polynomials,
S.M. Watt, Proc. International Conference on Algebraic Informatics (CAI 2017), Kalamata, Greece, June 25-28 2017.
@inproceedings{SMW-2017-cai-sympol-specialize,
author = {S.M. Watt},
title = {Specialization of Symbolic Polynomials},
year = {2017},
booktitle = {International Conference on Algebraic Informatics},
venue = {Kalamata, Greece},
eventdate = {2017-06-25},
}
2016
Refereed Conference Papers, Journal Articles and Book Chapters
How to Build a Global Digital Mathematics Library (Invited),
Stephen M. Watt, Proc. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018), Timişoara Romania, Sept 24-27 2016, IEEE Computer Society, pp. 37-40, DOI 10.1109/SYNASC.2016.019.
@inproceedings{SMW-2016-synasc-gdml,
author = {Stephen M. Watt},
title = {How to Build a Global Digital Mathematics Library},
year = {2016},
booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2016-09-24},
pages = {37-40},
publisher = {IEEE Computer Society},
doi = {10.1109/SYNASC.2016.019},
}
Combinatorics of Hybrid Sets,
Shaoshi Chen and Stephen M. Watt, Proc. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018), Timişoara Romania, Sept 24-27 2016, IEEE Computer Society, pp. 60-64, DOI 10.1109/SYNASC.2016.022.
@inproceedings{SMW-2016-synasc-hybrid,
author = {Shaoshi Chen and Stephen M. Watt},
title = {Combinatorics of Hybrid Sets},
year = {2016},
booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2016-09-24},
pages = {60-64},
publisher = {IEEE Computer Society},
doi = {10.1109/SYNASC.2016.022},
}
Editorial Works
Symbolic Numeric Computation,
Jan Verschelde, Stephen M. Watt, Lihong Zhi (editors), Theoretical Computer Science (Special Issue), Vol. 681, No. 12 June, Elsevier, 2016.
@collection{SMW-2016-symbolic-numeric-computation,
title = {Symbolic Numeric Computation},
year = {2016},
journaltitle = {Theoretical Computer Science (Special Issue)},
editor = {Jan Verschelde and Stephen M. Watt and Lihong Zhi},
volume = {681},
number = {12 June},
publisher = {Elsevier},
}
SYNASC 2015: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
Laura Kovacs, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (editors), IEEE Computer Society, 2016.
@collection{SMW-2016-synasc-2015-17th-international-symposium-symbolic-numeric,
title = {{SYNASC} 2015: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2016},
editor = {Laura Kovacs and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
}
Refereed and Invited Abstracts
Optimization and Homotopy in Mathematical Handwriting Recognition (Invited),
Stephen M. Watt, Proc. South Pacific Optimization Workshop (SPOW 2015), Nouméa, New Caledonia, February 16-18 2015.
@inproceedings{SMW-2016-spow-opt,
author = {Stephen M. Watt},
title = {Optimization and Homotopy in Mathematical Handwriting Recognition},
year = {2016},
booktitle = {South Pacific Optimization Workshop},
venue = {Nouméa, New Caledonia},
eventdate = {2015-02-16},
}
Putting "Symbolic" into Symbolic Computation (Invited),
Stephen M. Watt, Proc. Semantic Representation of Mathematical Knowledge Workshop (SCL 2016), Toronto, Canada, February 3-5 2016.
@inproceedings{SMW-2016-fields-scl,
author = {Stephen M. Watt},
title = {Putting "Symbolic" into Symbolic Computation},
year = {2016},
booktitle = {Semantic Representation of Mathematical Knowledge Workshop},
venue = {Toronto, Canada},
eventdate = {2016-02-03},
}
Selected Other Contributions
Thematic Program in Computer Algebra,
ACM Communications in Computer Algebra, Vol. 50, No. 1, 2016, pp. 25-26.
@misc{SMW-2016-cca-thematic-program,
title = {Thematic Program in Computer Algebra},
year = {2016},
journaltitle = {{ACM} Communications in Computer Algebra},
volume = {50},
number = {1},
pages = {25-26},
}
2015
Standard Definitions
Mathematical Markup Language (MathML) Version 3.0 2nd Edition,
David Carlisle, Patrick Ion, Robert Miner (editors), Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stéphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner, Chris Rowley, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt, ISO/IEC 40314:2015 (Based on W3C REC-MathML3-20140410), (394 pages), http://www.iso.org/iso/catalogue_detail.htm?csnumber=58439, International Organization for Standardization.
@standard{SMW-2015-iso-mathml-3-2e,
author = {Ron Ausbrooks and Stephen Buswell and David Carlisle and Giorgi Chavchanidze and Stéphane Dalmas and Stan Devitt and Angel Diaz and Sam Dooley and Roger Hunter and Patrick Ion and Michael Kohlhase and Azzeddine Lazrek and Paul Libbrecht and Bruce Miller and Robert Miner and Chris Rowley and Murray Sargent and Bruce Smith and Neil Soiffer and Robert Sutor and Stephen Watt},
title = {Mathematical Markup Language ({MathML}) Version 3.0 2nd Edition},
year = {2015},
editor = {David Carlisle and Patrick Ion and Robert Miner},
pagetotal = {394},
publisher = {International Organization for Standardization},
url = {http://www.iso.org/iso/catalogue_detail.htm?csnumber=58439},
issue = {ISO/IEC 40314:2015 (Based on W3C REC-MathML3-20140410)},
}
Editorial Works
SYNASC 2014: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (editors), IEEE Computer Society, 2015.
@collection{SMW-2015-synasc-2014-16th-international-symposium-symbolic-numeric,
title = {{SYNASC} 2014: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2015},
editor = {Franz Winkler and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
}
Refereed and Invited Abstracts
Browser-Based Collaboration with InkChat,
Stephen M. Watt, Proc. Applications of Computer Algebra (ACA 2015), Kalamata, Greece, July 20-23 2015.
@inproceedings{SMW-2015-aca-browser-collab,
author = {Stephen M. Watt},
title = {Browser-Based Collaboration with {InkChat}},
year = {2015},
booktitle = {Applications of Computer Algebra},
venue = {Kalamata, Greece},
eventdate = {2015-07-20},
}
Selected Other Contributions
Interview with the (New) Dean,
mathNEWS, Friday, July 24, 2015, 2015, pp. 16-17.
@misc{SMW-2015-mathnews-interview,
title = {Interview with the (New) Dean},
year = {2015},
journaltitle = {{mathNEWS}, Friday, July 24, 2015},
pages = {16-17},
publisher = {University of Waterloo MathSoc},
}
2014
Refereed Conference Papers, Journal Articles and Book Chapters
Modelling and Simulation for the Analysis of Securities Markets,
Rui Hu, Vadim Mazalov and Stephen M. Watt, Proc. Sixth International Symposium on Symbolic Computation in Software Science (SCSS 2014), Gammarth, Tunisia, Dec 7-8 2014, pp. 23-29.
@inproceedings{SMW-2014-scss-market-analysis,
author = {Rui Hu and Vadim Mazalov and Stephen M. Watt},
title = {Modelling and Simulation for the Analysis of Securities Markets},
year = {2014},
booktitle = {Sixth International Symposium on Symbolic Computation in Software Science},
venue = {Gammarth, Tunisia},
eventdate = {2014-12-07},
pages = {23-29},
}
An Agent-Based Financial Market Simulator for Evaluation of Algorithmic Trading Strategies,
Rui Hu and Stephen M. Watt, Proc. Sixth International Conference on Advances in System Simulation (SIMUL 2014), Nice, France, Oct 12-16 2014, pp. 221-227.
@inproceedings{SMW-2014-simul-agent-based,
author = {Rui Hu and Stephen M. Watt},
title = {An Agent-Based Financial Market Simulator for Evaluation of Algorithmic Trading Strategies},
year = {2014},
booktitle = {Sixth International Conference on Advances in System Simulation},
venue = {Nice, France},
eventdate = {2014-10-12},
pages = {221-227},
}
Distance-Based High-Frequency Trading,
Travis Felker, Vadim Mazalov and Stephen M. Watt, Proc. 14th International Conference on Computational Science (ICCS 2014), Cairns, Australia, June 10-12 2014, Elsevier Procedia Computer Science, Volume 29, 2014, pp. 2055-2064, DOI 10.1016/j.procs.2014.05.060.
@inproceedings{SMW-2014-iccs-hft,
author = {Travis Felker and Vadim Mazalov and Stephen M. Watt},
title = {Distance-Based High-Frequency Trading},
year = {2014},
booktitle = {14th International Conference on Computational Science},
venue = {Cairns, Australia},
eventdate = {2014-06-10},
pages = {2055-2064},
publisher = {Elsevier Procedia Computer Science, Volume 29, 2014},
doi = {10.1016/j.procs.2014.05.060},
}
Standard Definitions
Mathematical Markup Language (MathML) Version 3.0 2nd Edition,
David Carlisle, Patrick Ion, Robert Miner (editors), Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stéphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner, Chris Rowley, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt, W3C Recommendation 10 April 2014, (403 pages), http://www.w3.org/TR/2014/REC-MathML3-20140410, World Wide Web Consortium.
@standard{SMW-2014-mathematical-markup-language-mathml-version-3-0,
author = {Ron Ausbrooks and Stephen Buswell and David Carlisle and Giorgi Chavchanidze and Stéphane Dalmas and Stan Devitt and Angel Diaz and Sam Dooley and Roger Hunter and Patrick Ion and Michael Kohlhase and Azzeddine Lazrek and Paul Libbrecht and Bruce Miller and Robert Miner and Chris Rowley and Murray Sargent and Bruce Smith and Neil Soiffer and Robert Sutor and Stephen Watt},
title = {Mathematical Markup Language ({MathML}) Version 3.0 2nd Edition},
year = {2014},
editor = {David Carlisle and Patrick Ion and Robert Miner},
pagetotal = {403},
publisher = {World Wide Web Consortium},
url = {http://www.w3.org/TR/2014/REC-MathML3-20140410},
issue = {W3C Recommendation 10 April 2014},
}
Editorial Works
Workshop and Work in Progress Papers at CICM 2014,
Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan Sexton, Petr Sojka, Josef Urban, Stephen Watt (editors), CEUR Workshop Proceedings, 2014, ISSN 1613-0073.
@collection{SMW-2014-workshop-work-progress-papers-at-cicm-2014,
title = {Workshop and Work in Progress Papers at {CICM} 2014},
year = {2014},
editor = {Matthew England and James H. Davenport and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Walther Neuper and Pedro Quaresma and Alan Sexton and Petr Sojka and Josef Urban and Stephen Watt},
publisher = {CEUR Workshop Proceedings},
issn = {1613-0073},
}
Proceedings of the 2014 International Symposium on Symbolic-Numeric Computation,
Stephen M. Watt, Jan Verschelde and Lihong Zhi (editors), ACM Press, New York, 2014, ISBN 978-1-4503-2963-7.
@collection{SMW-2014-proceedings-2014-international-symposium-symbolic-numeric-computation,
title = {Proceedings of the 2014 International Symposium on Symbolic-Numeric Computation},
year = {2014},
editor = {Stephen M. Watt and Jan Verschelde and Lihong Zhi},
publisher = {ACM Press, New York},
isbn = {978-1-4503-2963-7},
}
Intelligent Computer Mathematics: International Conference CICM 2014,
Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (editors), Springer Verlag LNAI 8543, 2014, ISBN 978-3-319-08433-6, DOI 10.1007/978-3-319-08434-3.
@collection{SMW-2014-intelligent-computer-mathematics-international-conference-cicm-2014,
title = {Intelligent Computer Mathematics: International Conference {CICM} 2014},
year = {2014},
editor = {Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban},
publisher = {Springer Verlag LNAI 8543},
doi = {10.1007/978-3-319-08434-3},
isbn = {978-3-319-08433-6},
}
SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
Nikolaj Bjorner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (editors), IEEE Computer Society, 2014, ISBN 978-1-4799-3035-7.
@collection{SMW-2014-synasc-2013-15th-international-symposium-symbolic-numeric,
title = {{SYNASC} 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2014},
editor = {Nikolaj Bjorner and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-3035-7},
}
2013
Refereed Conference Papers, Journal Articles and Book Chapters
Identifying Features via Homotopy on Handwritten Mathematical Symbols,
Rui Hu and Stephen M. Watt, Proc. 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), Timişoara Romania, Sept 23-26 2013, IEEE Computer Society, pp. 61-67, DOI 10.1109/synasc.2013.15.
@inproceedings{SMW-2013-synasc-determining,
author = {Rui Hu and Stephen M. Watt},
title = {Identifying Features via Homotopy on Handwritten Mathematical Symbols},
year = {2013},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2013-09-23},
pages = {61-67},
publisher = {IEEE Computer Society},
doi = {10.1109/synasc.2013.15},
}
Determining Points on Handwritten Mathematical Symbols,
Rui Hu and Stephen M. Watt, Proc. 2013 Conferences on Intelligent Computer Mathematics (CICM 2013), Bath, UK, July 8-12 2013, Springer Verlag LNAI 7961, pp. 168-183, DOI 10.1007/978-3-642-39320-4_11.
@inproceedings{SMW-2013-cicm-points,
author = {Rui Hu and Stephen M. Watt},
title = {Determining Points on Handwritten Mathematical Symbols},
year = {2013},
booktitle = {2013 Conferences on Intelligent Computer Mathematics},
venue = {Bath, UK},
eventdate = {2013-07-08},
pages = {168-183},
publisher = {Springer Verlag LNAI 7961},
doi = {10.1007/978-3-642-39320-4_11},
}
Recommendation Systems in Mathematical Character Recognition,
Vadim Mazalov and Stephen M. Watt, Proc. Mathematical User Interfaces Workshop 2013 (MATHUI 2013), Bath, UK, July 10 2013.
@inproceedings{SMW-2013-mathui-recommendation,
author = {Vadim Mazalov and Stephen M. Watt},
title = {Recommendation Systems in Mathematical Character Recognition},
year = {2013},
booktitle = {Mathematical User Interfaces Workshop 2013},
venue = {Bath, UK},
eventdate = {2013-07-10},
url = {http://cermat.org/events/MathUI/13},
}
InkChat: A Collaboration Tool for Mathematics,
Rui Hu and Stephen M. Watt, Proc. Mathematical User Interfaces Workshop 2013 (MATHUI 2013), Bath, UK, July 10 2013.
@inproceedings{SMW-2013-mathui-inkchat,
author = {Rui Hu and Stephen M. Watt},
title = {{InkChat}: A Collaboration Tool for Mathematics},
year = {2013},
booktitle = {Mathematical User Interfaces Workshop 2013},
venue = {Bath, UK},
eventdate = {2013-07-10},
url = {http://cermat.org/events/MathUI/13},
}
Editorial Works
SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (editors), IEEE Computer Society, 2013, ISBN 978-0-7695-4934-7.
@collection{SMW-2013-synasc-2012-14th-international-symposium-symbolic-numeric,
title = {{SYNASC} 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2013},
editor = {Andrei Voronkov and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4934-7},
}
Selected papers from ISSAC 2010 (Special Issue of the Journal of Symbolic Computation),
Wolfram Koepf and Stephen M. Watt (editors), Journal of Symbolic Computation (Special Issue), Vol. 49, No. 1, Elsevier, 2013.
@collection{SMW-2013-selected-papers-from-issac-2010-special-issue,
title = {Selected papers from {ISSAC} 2010 (Special Issue of the Journal of Symbolic Computation)},
year = {2013},
journaltitle = {Journal of Symbolic Computation (Special Issue)},
editor = {Wolfram Koepf and Stephen M. Watt},
volume = {49},
number = {1},
publisher = {Elsevier},
}
Refereed and Invited Abstracts
Regular Language Homomorphisms and Transition Complexity: Dealing with Large Alphabets,
Stephen M. Watt, Proc. 15th Workshop on Descriptional Complexity of Formal Systems (DCFS 2013), London, Canada, July 22-25 2013.
@inproceedings{SMW-2013-dcfs-inherent,
author = {Stephen M. Watt},
title = {Regular Language Homomorphisms and Transition Complexity: Dealing with Large Alphabets},
year = {2013},
booktitle = {15th Workshop on Descriptional Complexity of Formal Systems},
venue = {London, Canada},
eventdate = {2013-07-22},
}
2012
Refereed Conference Papers, Journal Articles and Book Chapters
What is an Equation? (Invited),
Solomon Marcus and Stephen M. Watt, Proc. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), Timişoara Romania, Sept 26-29 2012, IEEE Computer Society, pp. 23-29, DOI 10.1109/synasc.2012.79.
@inproceedings{SMW-2012-synasc-equations,
author = {Solomon Marcus and Stephen M. Watt},
title = {What is an Equation?},
year = {2012},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2012-09-26},
pages = {23-29},
publisher = {IEEE Computer Society},
doi = {10.1109/synasc.2012.79},
}
Lightweight Abstraction for Mathematical Computation in Java,
Pavel Bourdykine and Stephen Watt, Proc. Computer Algebra in Scientific Computing (CASC 2012), Maribor, Slovenia, September 3-6 2012, Springer Verlag LNCS 7442, pp. 47-59, DOI 10.1007/978-3-642-32973-9_5.
@inproceedings{SMW-2012-casc-abstraction,
author = {Pavel Bourdykine and Stephen Watt},
title = {Lightweight Abstraction for Mathematical Computation in {Java}},
year = {2012},
booktitle = {Computer Algebra in Scientific Computing},
venue = {Maribor, Slovenia},
eventdate = {2012-09-03},
pages = {47-59},
publisher = {Springer Verlag LNCS 7442},
doi = {10.1007/978-3-642-32973-9_5},
}
Recognition of Relatively Small Handwritten Characters, or "Size Matters",
Vadim Mazalov and Stephen M. Watt, Proc. 13th International Conference on Frontiers in Handwriting Recognition (ICFHR 2012), Bari, Italy, September 18-20 2012, IEEE Computer Society, pp. 319-324, DOI 10.1109/icfhr.2012.257.
@inproceedings{SMW-2012-icfhr-size-matters,
author = {Vadim Mazalov and Stephen M. Watt},
title = {Recognition of Relatively Small Handwritten Characters, or "Size Matters"},
year = {2012},
booktitle = {13th International Conference on Frontiers in Handwriting Recognition},
venue = {Bari, Italy},
eventdate = {2012-09-18},
pages = {319-324},
publisher = {IEEE Computer Society},
doi = {10.1109/icfhr.2012.257},
}
A Structure for Adaptive Handwriting Recognition,
Vadim Mazalov and Stephen M. Watt, Proc. 13th International Conference on Frontiers in Handwriting Recognition (ICFHR 2012), Bari, Italy, September 18-20 2012, IEEE Computer Society, pp. 688-693, DOI 10.1109/icfhr.2012.169.
@inproceedings{SMW-2012-icfhr-adaptive,
author = {Vadim Mazalov and Stephen M. Watt},
title = {A Structure for Adaptive Handwriting Recognition},
year = {2012},
booktitle = {13th International Conference on Frontiers in Handwriting Recognition},
venue = {Bari, Italy},
eventdate = {2012-09-18},
pages = {688-693},
publisher = {IEEE Computer Society},
doi = {10.1109/icfhr.2012.169},
}
Optimization of Point Selection on Digital Ink Curves,
Rui Hu and Stephen M. Watt, Proc. 13th International Conference on Frontiers in Handwriting Recognition (ICFHR 2012), Bari, Italy, September 18-20 2012, IEEE Computer Society, pp. 525-530, DOI 10.1109/icfhr.2012.252.
@inproceedings{SMW-2012-icfhr-optimization,
author = {Rui Hu and Stephen M. Watt},
title = {Optimization of Point Selection on Digital Ink Curves},
year = {2012},
booktitle = {13th International Conference on Frontiers in Handwriting Recognition},
venue = {Bari, Italy},
eventdate = {2012-09-18},
pages = {525-530},
publisher = {IEEE Computer Society},
doi = {10.1109/icfhr.2012.252},
}
Writing on Clouds,
Vadim Mazalov and Stephen Watt, Proc. 2012 Conferences on Intelligent Computer Mathematics (CICM 2012), Bremen, Germany, July 9-14 2012, Springer Verlang LNAI 7362, pp. 402-416, DOI 10.1007/978-3-642-31374-5_27.
@inproceedings{SMW-2012-cicm-cloud,
author = {Vadim Mazalov and Stephen Watt},
title = {Writing on Clouds},
year = {2012},
booktitle = {2012 Conferences on Intelligent Computer Mathematics},
venue = {Bremen, Germany},
eventdate = {2012-07-09},
pages = {402-416},
publisher = {Springer Verlang LNAI 7362},
doi = {10.1007/978-3-642-31374-5_27},
}
A Streaming Digital Ink Framework for Multi-Party Collaboration,
Rui Hu, Vadim Mazalov and Stephen Watt, Proc. 2012 Conferences on Intelligent Computer Mathematics (CICM 2012), Bremen, Germany, July 9-14 2012, Springer Verlang, pp. 81-95, DOI 10.1007/978-3-642-31374-5_6.
@inproceedings{SMW-2012-cicm-collaboration,
author = {Rui Hu and Vadim Mazalov and Stephen Watt},
title = {A Streaming Digital Ink Framework for Multi-Party Collaboration},
year = {2012},
booktitle = {2012 Conferences on Intelligent Computer Mathematics},
venue = {Bremen, Germany},
eventdate = {2012-07-09},
pages = {81-95},
publisher = {Springer Verlang},
doi = {10.1007/978-3-642-31374-5_6},
}
Linear Compression of Digital Ink via Point Selection,
Vadim Mazalov and Stephen Watt, Proc. 10th IAPR International Workshop on Document Analysis Systems (DAS 2012), Gold Coast, Australia, March 27-29 2012, IEEE Computer Society, pp. 429-434, DOI 10.1109/das.2012.51.
@inproceedings{SMW-2012-das-linear-compression,
author = {Vadim Mazalov and Stephen Watt},
title = {Linear Compression of Digital Ink via Point Selection},
year = {2012},
booktitle = {10th {IAPR} International Workshop on Document Analysis Systems},
venue = {Gold Coast, Australia},
eventdate = {2012-03-27},
pages = {429-434},
publisher = {IEEE Computer Society},
doi = {10.1109/das.2012.51},
}
From MIT SketchML to InkML or There and Back Again,
Rui Hu and Stephen M. Watt, Proc. 10th IAPR International Workshop on Document Analysis Systems Short Papers (DAS 2012), Gold Coast, Australia, March 27-29 2012, IAPR, pp. 26-27.
@inproceedings{SMW-2012-das-sketchml-inkml,
author = {Rui Hu and Stephen M. Watt},
title = {From {MIT} {SketchML} to {InkML} or There and Back Again},
year = {2012},
booktitle = {10th {IAPR} International Workshop on Document Analysis Systems Short Papers},
venue = {Gold Coast, Australia},
eventdate = {2012-03-27},
pages = {26-27},
publisher = {IAPR},
}
Improving Isolated and In-Context Classification of Handwritten Characters,
Vadim Mazalov and Stephen M. Watt, Proc. Document Recognition and Retrieval XIX (DRR XIX), San Francisco, California, January 22-26 2012, SPIE, DOI 10.1117/12.912112.
@inproceedings{SMW-2012-drr-improv,
author = {Vadim Mazalov and Stephen M. Watt},
title = {Improving Isolated and In-Context Classification of Handwritten Characters},
year = {2012},
booktitle = {Document Recognition and Retrieval {XIX}},
venue = {San Francisco, California},
eventdate = {2012-01-22},
publisher = {SPIE},
doi = {10.1117/12.912112},
}
Editorial Works
SYNASC 2011: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (editors), IEEE Computer Society, 2012, ISBN 978-0-7695-4630-8.
@collection{SMW-2012-synasc-2011-13th-international-symposium-symbolic-numeric,
title = {{SYNASC} 2011: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2012},
editor = {Dongming Wang and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4630-8},
}
Refereed and Invited Abstracts
Parallel Computing in Mathematical Character Recognition,
Stephen M. Watt, Proc. Applications of Computer Algebra, Sofia, Bulgaria, June 25-28 2012.
@inproceedings{SMW-2012-aca-parallel-hwr,
author = {Stephen M. Watt},
title = {Parallel Computing in Mathematical Character Recognition},
year = {2012},
booktitle = {Applications of Computer Algebra},
venue = {Sofia, Bulgaria},
eventdate = {2012-06-25},
}
Garbage Collecting the World Wide Web,
Stephen M. Watt, Proc. Applications of Computer Algebra, Sofia, Bulgaria, June 25-28 2012.
@inproceedings{SMW-2012-aca-gcwww,
author = {Stephen M. Watt},
title = {Garbage Collecting the World Wide Web},
year = {2012},
booktitle = {Applications of Computer Algebra},
venue = {Sofia, Bulgaria},
eventdate = {2012-06-25},
}
2011
Refereed Conference Papers, Journal Articles and Book Chapters
Computational Tools for Mathematical Collaboration (Invited),
Stephen M. Watt, Proc. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011), Timişoara Romania, Sept 26-29 2011, IEEE Computer Society, pp. 16-18, DOI 10.1109/SYNASC.2011.64.
@inproceedings{SMW-2011-synasc-collab-proc-full,
author = {Stephen M. Watt},
title = {Computational Tools for Mathematical Collaboration},
year = {2011},
booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2011-09-26},
pages = {16-18},
publisher = {IEEE Computer Society},
doi = {10.1109/SYNASC.2011.64},
}
Polynomial Approximation in Handwriting Recognition (Invited),
Stephen M. Watt, Proc. 4th International Workshop on Symbolic-Numeric Computation (SNC 2011), San Jose, California, June 7-9 2011, ACM Press, pp. 3-7, DOI 10.1145/2331684.2331687.
@inproceedings{SMW-2011-snc-polyhwr,
author = {Stephen M. Watt},
title = {Polynomial Approximation in Handwriting Recognition},
year = {2011},
booktitle = {4th International Workshop on Symbolic-Numeric Computation},
venue = {San Jose, California},
eventdate = {2011-06-07},
pages = {3-7},
publisher = {ACM Press},
doi = {10.1145/2331684.2331687},
}
An Architecture for Generic Extensions,
Cosmin Oancea and Stephen M. Watt, Science of Computer Programming, Vol. 76, No. 4, April 2011, 2011, pp. 258-277, DOI 10.1016/j.scico.2009.09.008.
@article{SMW-2009-scp-genext,
author = {Cosmin Oancea and Stephen M. Watt},
title = {An Architecture for Generic Extensions},
year = {2011},
journaltitle = {Science of Computer Programming},
volume = {76},
number = {4},
pages = {258-277},
publisher = {Elsevier},
doi = {10.1016/j.scico.2009.09.008},
issue = {April 2011},
}
Standard Definitions
Ink Markup Language (InkML),
Stephen M. Watt and Tom Underhill (editors), Y-M. Chee, K. Franke, M. Froumentin, S. Madhvanath, J-A. Magaña, G. Pakosz, G. Russel, M. Selvaraj, G. Seni, C. Tremblay, L. Yaeger, W3C Recommendation 20 September 2011, (64 pages), http://www.w3.org/TR/2011/REC-InkML-20110920, World Wide Web Consortium.
@standard{SMW-2011-ink-markup-language-inkml,
author = {Y-M. Chee and K. Franke and M. Froumentin and S. Madhvanath and J-A. Magaña and G. Pakosz and G. Russel and M. Selvaraj and G. Seni and C. Tremblay and L. Yaeger},
title = {Ink Markup Language ({InkML})},
year = {2011},
editor = {Stephen M. Watt and Tom Underhill},
pagetotal = {64},
publisher = {World Wide Web Consortium},
url = {http://www.w3.org/TR/2011/REC-InkML-20110920},
issue = {W3C Recommendation 20 September 2011},
}
Theses
Computational Tools for Mathematical Collaboration,
Stephen M. Watt, Doctor honoris causa dissertation, Universitatea de Vest din Timişoara, Romania, 26 September 2011, (7 pages).
@thesis{SMW-2011-smw-drhc,
author = {Stephen M. Watt},
title = {Computational Tools for Mathematical Collaboration},
year = {2011},
date = {26 September 2011},
pagetotal = {7},
publisher = {Universitatea de Vest din Timişoara 2011},
institution = {Universitatea de Vest din Timişoara, Romania},
type = {Doctor honoris causa dissertation},
series = {Doctor Honoris Causa Scientiae dissertation},
}
Editorial Works
Milestones in Computer Algebra (Special Issue of the Journal of Symbolic Computation),
Mark W. Giesbrecht and Stephen M. Watt (editors), Journal of Symbolic Computation (Special Issue), Vol. 46, No. 7, Elsevier, 2011, pp. 735-740, DOI 10.1016/j.jsc.2010.08.009.
@collection{SMW-2011-jsc-mica-foreword,
title = {Milestones in Computer Algebra (Special Issue of the Journal of Symbolic Computation)},
year = {2011},
journaltitle = {Journal of Symbolic Computation (Special Issue)},
editor = {Mark W. Giesbrecht and Stephen M. Watt},
volume = {46},
number = {7},
pages = {735-740},
publisher = {Elsevier},
doi = {10.1016/j.jsc.2010.08.009},
}
The Perpetual Youth of Solomon Marcus,
Stephen M. Watt, Proc. Meetings with Solomon Marcus, Spandugino, pp. 1431-1433.
@misc{SMW-2010-marcus-honorem,
author = {Stephen M. Watt},
title = {The Perpetual Youth of Solomon Marcus},
year = {2011},
booktitle = {Meetings with Solomon Marcus},
editor = {Lavinia Spandonide and Gheorghe Paun},
pages = {1431-1433},
publisher = {Spandugino},
}
2010
Refereed Conference Papers, Journal Articles and Book Chapters
Digital Ink Compression via Functional Approximation,
Vadim Mazalov and Stephen M. Watt, Proc. 12th International Conference on Frontiers in Handwriting Recognition (ICFHR 2010), Kolkata, India, November 16-18 2010, IEEE Computer Society, pp. 688-694, DOI 10.1109/ICFHR.2010.112.
@inproceedings{SMW-2010-icfhr-inkmlapprox,
author = {Vadim Mazalov and Stephen M. Watt},
title = {Digital Ink Compression via Functional Approximation},
year = {2010},
booktitle = {12th International Conference on Frontiers in Handwriting Recognition},
venue = {Kolkata, India},
eventdate = {2010-11-16},
pages = {688-694},
publisher = {IEEE Computer Society},
doi = {10.1109/ICFHR.2010.112},
}
Type Specialization in Aldor,
Laurentiu Dragan and Stephen M. Watt, Proc. 12th International Workshop on Computer Algebra in Scientific Computing (CASC 2010), Tsakhkadzor, Armenia, September 5-12 2010, Springer Verlag LNCS 6244, pp. 73-84, DOI 10.1007/978-3-642-15274-0_7.
@inproceedings{SMW-2010-casc-specdom,
author = {Laurentiu Dragan and Stephen M. Watt},
title = {Type Specialization in {Aldor}},
year = {2010},
booktitle = {12th International Workshop on Computer Algebra in Scientific Computing},
venue = {Tsakhkadzor, Armenia},
eventdate = {2010-09-05},
pages = {73-84},
publisher = {Springer Verlag LNCS 6244},
doi = {10.1007/978-3-642-15274-0_7},
}
An Analytic Model for Colluding Processes,
Stephen M. Watt, Vestnik Tambov University: Natural and Technical Sciences, Vol. 15, No. 6, 2010, pp. 1730-1747, ISSN 1810-0198.
@article{SMW-2010-parca-collusion,
author = {Stephen M. Watt},
title = {An Analytic Model for Colluding Processes},
year = {2010},
journaltitle = {Vestnik Tambov University: Natural and Technical Sciences},
volume = {15},
number = {6},
pages = {1730-1747},
publisher = {Tambov University},
issn = {1810-0198},
}
An Interface for Math e-Learning on Pen-Based Mobile Devices,
Mitsushi Fujimoto and Stephen M. Watt, Proc. Mathematical User Interfaces Workshop 2010 (MATHUI 2010), Paris, France, July 10 2010.
@inproceedings{SMW-2010-mathui-mathellan,
author = {Mitsushi Fujimoto and Stephen M. Watt},
title = {An Interface for Math e-Learning on Pen-Based Mobile Devices},
year = {2010},
booktitle = {Mathematical User Interfaces Workshop 2010},
venue = {Paris, France},
eventdate = {2010-07-10},
url = {http://www.activemath.org/workshops/MathUI/10/proc},
}
Symbolic Domain Decomposition,
Jacques Carette, Alan P. Sexton, Volker Sorge and Stephen M. Watt, Proc. 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010), Paris, France, July 6-7 2010, Springer Verlag LNAI 6167, pp. 172-188, DOI 10.1007/978-3-642-14128-7_16.
@inproceedings{SMW-2010-calculemus-hybrid,
author = {Jacques Carette and Alan P. Sexton and Volker Sorge and Stephen M. Watt},
title = {Symbolic Domain Decomposition},
year = {2010},
booktitle = {17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning},
venue = {Paris, France},
eventdate = {2010-07-06},
pages = {172-188},
publisher = {Springer Verlag LNAI 6167},
doi = {10.1007/978-3-642-14128-7_16},
}
Improved Classification through Runoff Elections,
Oleg Golubitsky and Stephen M. Watt, Proc. International Workshop on Document Analysis Systems (DAS 2010), Boston, USA, June 9-11 2010, ACM Press, pp. 59-63, DOI 10.1145/1815330.1815338.
@inproceedings{SMW-2010-das-runoff,
author = {Oleg Golubitsky and Stephen M. Watt},
title = {Improved Classification through Runoff Elections},
year = {2010},
booktitle = {International Workshop on Document Analysis Systems},
venue = {Boston, USA},
eventdate = {2010-06-09},
pages = {59-63},
publisher = {ACM Press},
doi = {10.1145/1815330.1815338},
}
Toward Affine Recognition of Handwritten Mathematical Characters,
Oleg Golubitsky, Vadim Mazalov and Stephen M. Watt, Proc. International Workshop on Document Analysis Systems (DAS 2010), Boston, USA, June 9-11 2010, ACM Press, pp. 35-42, DOI 10.1145/1815330.1815335.
@inproceedings{SMW-2010-das-affineclass,
author = {Oleg Golubitsky and Vadim Mazalov and Stephen M. Watt},
title = {Toward Affine Recognition of Handwritten Mathematical Characters},
year = {2010},
booktitle = {International Workshop on Document Analysis Systems},
venue = {Boston, USA},
eventdate = {2010-06-09},
pages = {35-42},
publisher = {ACM Press},
doi = {10.1145/1815330.1815335},
}
Distance-Based Classification of Handwritten Symbols,
Oleg Golubitsky and Stephen M. Watt, International Journal on Document Analysis and Recognition, Vol. 13, No. 2, June, 2010, 2010, pp. 133-146, DOI 10.1007/s10032-009-0107-7.
@article{SMW-2009-ijdar-similarity,
author = {Oleg Golubitsky and Stephen M. Watt},
title = {Distance-Based Classification of Handwritten Symbols},
year = {2010},
journaltitle = {International Journal on Document Analysis and Recognition},
volume = {13},
number = {2},
pages = {133-146},
publisher = {Springer},
doi = {10.1007/s10032-009-0107-7},
issue = {June, 2010},
}
Standard Definitions
Mathematical Markup Language (MathML) Version 3.0,
David Carlisle, Patrick Ion, Robert Miner (editors), Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stéphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner, Chris Rowley, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt, W3C WD Recommendation 21 October 2010, (385 pages), http://www.w3.org/TR/2010/REC-MathML3-20101021, World Wide Web Consortium.
@standard{SMW-2010-mathematical-markup-language-mathml-version-3-0,
author = {Ron Ausbrooks and Stephen Buswell and David Carlisle and Giorgi Chavchanidze and Stéphane Dalmas and Stan Devitt and Angel Diaz and Sam Dooley and Roger Hunter and Patrick Ion and Michael Kohlhase and Azzeddine Lazrek and Paul Libbrecht and Bruce Miller and Robert Miner and Chris Rowley and Murray Sargent and Bruce Smith and Neil Soiffer and Robert Sutor and Stephen Watt},
title = {Mathematical Markup Language ({MathML}) Version 3.0},
year = {2010},
editor = {David Carlisle and Patrick Ion and Robert Miner},
pagetotal = {385},
publisher = {World Wide Web Consortium},
url = {http://www.w3.org/TR/2010/REC-MathML3-20101021},
issue = {W3C WD Recommendation 21 October 2010},
}
Editorial Works
2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010),
Stephen M. Watt (editors), ACM Press, 2010, ISBN 978-1-4503-0150-3, DOI 10.1145/1837934.
@collection{SMW-2010-issac-foreword,
title = {2010 International Symposium on Symbolic and Algebraic Computation ({ISSAC} 2010)},
year = {2010},
editor = {Stephen M. Watt},
publisher = {ACM Press},
doi = {10.1145/1837934},
isbn = {978-1-4503-0150-3},
}
SYNASC 2009: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (editors), IEEE Computer Society, 2010, ISBN 978-0-7695-3964-5.
@collection{SMW-2009-synasc-preface-2,
title = {{SYNASC} 2009: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
year = {2010},
editor = {Tetsuo Ida and Viorel Negru and Tudor Jebelean and Dana Petcu and Stephen Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3964-5},
}
Refereed and Invited Abstracts
Routing and Scheduling Challenges for a Service Provider,
Srinivas Chatrathi, Devang Dave, Girish Palliyil, Stephen M. Watt and Kenneth Wood, Proc. Discrete Optimization: Workshop on Applications in Transport, Logistics and Networks, Sydney, Australia, October 12-15 2010.
@inproceedings{SMW-2010-do10-challenges,
author = {Srinivas Chatrathi and Devang Dave and Girish Palliyil and Stephen M. Watt and Kenneth Wood},
title = {Routing and Scheduling Challenges for a Service Provider},
year = {2010},
booktitle = {Discrete Optimization: Workshop on Applications in Transport, Logistics and Networks},
venue = {Sydney, Australia},
eventdate = {2010-10-12},
}
On the Mathematics of Mathematical Handwriting Recognition (Invited),
Stephen M. Watt, Proc. 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 23-26 2010.
@inproceedings{SMW-2010-synasc-mathwr,
author = {Stephen M. Watt},
title = {On the Mathematics of Mathematical Handwriting Recognition},
year = {2010},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara, Romania},
eventdate = {2010-09-23},
}
Writing on Clouds,
Stephen M. Watt, Proc. Applications of Computer Algebra, Vlora, Albania, June 24-27 2010.
@inproceedings{SMW-2010-aca-clouds,
author = {Stephen M. Watt},
title = {Writing on Clouds},
year = {2010},
booktitle = {Applications of Computer Algebra},
venue = {Vlora, Albania},
eventdate = {2010-06-24},
}
2009
Refereed Conference Papers, Journal Articles and Book Chapters
On the Future of Computer Algebra Systems at the Threshold of 2010,
Stephen M. Watt, Proc. Joint Conference of ASCM 2009 and MACIS 2009: Asian Symposium of Computer Mathematics and Mathematical Aspects of Computer and Information Sciences (MACIS 2009), Fukuoka, Japan, December 14-17 2009, COE Lecture Note Vol. 22, Kyushu University, pp. 422-430, ISSN 1881-4042.
@inproceedings{SMW-2009-macis-nextcas,
author = {Stephen M. Watt},
title = {On the Future of Computer Algebra Systems at the Threshold of 2010},
year = {2009},
booktitle = {Joint Conference of {ASCM} 2009 and {MACIS} 2009: Asian Symposium of Computer Mathematics and Mathematical Aspects of Computer and Information Sciences},
venue = {Fukuoka, Japan},
eventdate = {2009-12-14},
pages = {422-430},
publisher = {COE Lecture Note Vol. 22, Kyushu University},
issn = {1881-4042},
}
Orientation-Independent Recognition of Handwritten Characters with Integral Invariants,
Oleg Golubitsky, Vadim Mazalov and Stephen M. Watt, Proc. Joint Conference of ASCM 2009 and MACIS 2009: Asian Symposium of Computer Mathematics and Mathematical Aspects of Computer and Information Sciences (ASCM 2009), Fukuoka, Japan, December 14-17 2009, COE Lecture Note Vol. 22, Kyushu University, pp. 252-261, ISSN 1881-4042.
@inproceedings{SMW-2009-ascm-rotoclass,
author = {Oleg Golubitsky and Vadim Mazalov and Stephen M. Watt},
title = {Orientation-Independent Recognition of Handwritten Characters with Integral Invariants},
year = {2009},
booktitle = {Joint Conference of {ASCM} 2009 and {MACIS} 2009: Asian Symposium of Computer Mathematics and Mathematical Aspects of Computer and Information Sciences},
venue = {Fukuoka, Japan},
eventdate = {2009-12-14},
pages = {252-261},
publisher = {COE Lecture Note Vol. 22, Kyushu University},
issn = {1881-4042},
}
Computing with Abstract Matrix Structures,
Alan P. Sexton, Volker Sorge and Stephen M. Watt, Proc. 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), Seoul, South Korea, July 28-31 2009, ACM Press, pp. 325-332, DOI 10.1145/1576702.1576747.
@inproceedings{SMW-2009-issac-symmat,
author = {Alan P. Sexton and Volker Sorge and Stephen M. Watt},
title = {Computing with Abstract Matrix Structures},
year = {2009},
booktitle = {2009 International Symposium on Symbolic and Algebraic Computation},
venue = {Seoul, South Korea},
eventdate = {2009-07-28},
pages = {325-332},
publisher = {ACM Press},
doi = {10.1145/1576702.1576747},
}
Online Recognition of Multi-Stroke Symbols with Orthogonal Series,
Oleg Golubitsky and Stephen M. Watt, Proc. 10th International Conference on Document Analysis and Recognition (ICDAR 2009), Barcelona, Spain, July 26-29 2009, IEEE Computer Society, pp. 1265-1269, DOI 10.1109/icdar.2009.229.
@inproceedings{SMW-2009-icdar-multistroke,
author = {Oleg Golubitsky and Stephen M. Watt},
title = {Online Recognition of Multi-Stroke Symbols with Orthogonal Series},
year = {2009},
booktitle = {10th International Conference on Document Analysis and Recognition},
venue = {Barcelona, Spain},
eventdate = {2009-07-26},
pages = {1265-1269},
publisher = {IEEE Computer Society},
doi = {10.1109/icdar.2009.229},
}
A Collaborative Interface for Multimodal Ink and Audio Documents,
Amit Regmi and Stephen M. Watt, Proc. 10th International Conference on Document Analysis and Recognition (ICDAR 2009), Barcelona, Spain, July 26-29 2009, IEEE Computer Society, pp. 901-905, DOI 10.1109/icdar.2009.205.
@inproceedings{SMW-2009-icdar-ink-and-audio,
author = {Amit Regmi and Stephen M. Watt},
title = {A Collaborative Interface for Multimodal Ink and Audio Documents},
year = {2009},
booktitle = {10th International Conference on Document Analysis and Recognition},
venue = {Barcelona, Spain},
eventdate = {2009-07-26},
pages = {901-905},
publisher = {IEEE Computer Society},
doi = {10.1109/icdar.2009.205},
}
Confidence Measures in Recognizing Handwritten Mathematical Symbols,
Oleg Golubitsky and Stephen M. Watt, Proc. Conferences on Intelligent Computer Mathematics 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning and 8th International Conference on Mathematical Knowledge Management (MKM 2009), Grand Bend, Canada, July 10-12 2009, Springer Verlag LNAI 5625, pp. 460-466, DOI 10.1007/978-3-642-02614-0_10.
@inproceedings{SMW-2009-mkm-confidence,
author = {Oleg Golubitsky and Stephen M. Watt},
title = {Confidence Measures in Recognizing Handwritten Mathematical Symbols},
year = {2009},
booktitle = {Conferences on Intelligent Computer Mathematics 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning and 8th International Conference on Mathematical Knowledge Management},
venue = {Grand Bend, Canada},
eventdate = {2009-07-10},
pages = {460-466},
publisher = {Springer Verlag LNAI 5625},
doi = {10.1007/978-3-642-02614-0_10},
}
Algorithms for the Functional Decomposition of Laurent Polynomials,
Stephen M. Watt, Proc. Conferences on Intelligent Computer Mathematics 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning and 8th International Conference on Mathematical Knowledge Management (Calculemus 2009), Grand Bend, Canada, July 6-7 2009, Springer Verlag LNAI 5625, pp. 186-200, DOI 10.1007/978-3-642-02614-0_18.
@inproceedings{SMW-2009-calculemus-laurent,
author = {Stephen M. Watt},
title = {Algorithms for the Functional Decomposition of Laurent Polynomials},
year = {2009},
booktitle = {Conferences on Intelligent Computer Mathematics 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning and 8th International Conference on Mathematical Knowledge Management},
venue = {Grand Bend, Canada},
eventdate = {2009-07-06},
pages = {186-200},
publisher = {Springer Verlag LNAI 5625},
doi = {10.1007/978-3-642-02614-0_18},
}
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices,
Alan P. Sexton, Volker Sorge and Stephen M. Watt, Proc. Conferences on Intelligent Computer Mathematics 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning and 8th International Conference on Mathematical Knowledge Management (Calculemus 2009), Grand Bend, Canada, July 6-7 2009, Springer Verlag LNAI 5625, pp. 138-153, DOI 10.1007/978-3-642-02614-0_15.
@inproceedings{SMW-2009-calculemus-symmat,
author = {Alan P. Sexton and Volker Sorge and Stephen M. Watt},
title = {Reasoning with Generic Cases in the Arithmetic of Abstract Matrices},
year = {2009},
booktitle = {Conferences on Intelligent Computer Mathematics 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning and 8th International Conference on Mathematical Knowledge Management},
venue = {Grand Bend, Canada},
eventdate = {2009-07-06},
pages = {138-153},
publisher = {Springer Verlag LNAI 5625},
doi = {10.1007/978-3-642-02614-0_15},
}
A New Approach to Parallelising Tracing Algorithms,
Cosmin E. Oancea, Alan Mycroft and Stephen M. Watt, Proc. 2009 International Symposium on Memory Management (ISMM 2009), Dublin, Ireland, June 19-20 2009, ACM Press, pp. 10-19, DOI 10.1145/1542431.1542434.
@inproceedings{SMW-2009-ismm-parlts,
author = {Cosmin E. Oancea and Alan Mycroft and Stephen M. Watt},
title = {A New Approach to Parallelising Tracing Algorithms},
year = {2009},
booktitle = {2009 International Symposium on Memory Management},
venue = {Dublin, Ireland},
eventdate = {2009-06-19},
pages = {10-19},
publisher = {ACM Press},
doi = {10.1145/1542431.1542434},
}
Online Computation of Similarity between Handwritten Characters,
Oleg Golubitsky and Stephen M. Watt, Proc. Document Recognition and Retrieval XVI (DRR 2009), San Jose, California USA, Jan 21-22 2009, SPIE and IS&T, Vol. 7247, pp. C1-C10, ISBN 9780819474971, ISSN 0277-786X, DOI 10.1117/12.806163.
@inproceedings{SMW-2009-drr-legendre-sobolev,
author = {Oleg Golubitsky and Stephen M. Watt},
title = {Online Computation of Similarity between Handwritten Characters},
year = {2009},
booktitle = {Document Recognition and Retrieval {XVI}},
venue = {San Jose, California USA},
eventdate = {2009-01-21},
volume = {7247},
pages = {C1-C10},
publisher = {SPIE and IS\&T},
doi = {10.1117/12.806163},
isbn = {9780819474971},
issn = {0277-786X},
}
Symbolic Symbolic Computation (Invited),
Stephen M. Watt, Proc. Tunisa-Japan Workshop on Symbolic Computation in Software Science, Gammarth, Tunisia, September 22-24 2009.
@inproceedings{SMW-2009-scss-symbolic,
author = {Stephen M. Watt},
title = {Symbolic Symbolic Computation},
year = {2009},
booktitle = {Tunisa-Japan Workshop on Symbolic Computation in Software Science},
venue = {Gammarth, Tunisia},
eventdate = {2009-09-22},
}
Algorithms for the Functional Decomposition of Symbolic Polynomials (Invited),
Stephen M. Watt, Proc. International Conference on Polynomial Computer Algebra, Euler International Mathematical Institute, Saint Petersburg, Russia, April 4-12 2009.
@inproceedings{SMW-2009-pca-symdecomp,
author = {Stephen M. Watt},
title = {Algorithms for the Functional Decomposition of Symbolic Polynomials},
year = {2009},
booktitle = {International Conference on Polynomial Computer Algebra},
venue = {Euler International Mathematical Institute, Saint Petersburg, Russia},
eventdate = {2009-04-04},
}
2008
Refereed Conference Papers, Journal Articles and Book Chapters
Communicating Mathematics via Pen-Based Computer Interfaces (Invited),
Elena Smirnova and Stephen M. Watt, Proc. 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), Timişoara Romania, Sept 26-29 2008, IEEE Computer Society, pp. 9-18, DOI 10.1109/SYNASC.2008.22.
@inproceedings{SMW-2008-synasc-mathink,
author = {Elena Smirnova and Stephen M. Watt},
title = {Communicating Mathematics via Pen-Based Computer Interfaces},
year = {2008},
booktitle = {10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2008-09-26},
pages = {9-18},
publisher = {IEEE Computer Society},
doi = {10.1109/SYNASC.2008.22},
}
Abstract Matrix Arithmetic,
Alan P. Sexton, Volker Sorge and Stephen M. Watt, Proc. 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), Timişoara Romania, Sept 26-29 2008, IEEE Computer Society, pp. 61-68, DOI 10.1109/SYNASC.2008.85.
@inproceedings{SMW-2008-tr-symmat,
author = {Alan P. Sexton and Volker Sorge and Stephen M. Watt},
title = {Abstract Matrix Arithmetic},
year = {2008},
booktitle = {10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2008-09-26},
pages = {61-68},
publisher = {IEEE Computer Society},
doi = {10.1109/SYNASC.2008.85},
}
Online Stroke Modeling for Handwriting Recognition,
Oleg Golubitsky and Stephen M. Watt, Proc. 18th Annual International Conference on Computer Science and Software Engineering (CASCON 2008), Toronto, Canada, October 27-30 2008, IBM Canada, pp. 72-80, ISSN 1705-7345, DOI 10.1145/1463788.1463796.
@inproceedings{SMW-2008-cascon-moments,
author = {Oleg Golubitsky and Stephen M. Watt},
title = {Online Stroke Modeling for Handwriting Recognition},
year = {2008},
booktitle = {18th Annual International Conference on Computer Science and Software Engineering},
venue = {Toronto, Canada},
eventdate = {2008-10-27},
pages = {72-80},
publisher = {IBM Canada},
doi = {10.1145/1463788.1463796},
issn = {1705-7345},
}
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts,
Stephen M. Watt, Proc. 8th IAPR International Workshop on Document Analysis Systems (DAS 2008), Nara, Japan, Sept 17-19 2008, IEEE Computer Society, pp. 557-564, DOI 10.1109/DAS.2008.74.
@inproceedings{SMW-2008-das-measure,
author = {Stephen M. Watt},
title = {An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts},
year = {2008},
booktitle = {8th {IAPR} International Workshop on Document Analysis Systems},
venue = {Nara, Japan},
eventdate = {2008-09-17},
pages = {557-564},
publisher = {IEEE Computer Society},
doi = {10.1109/DAS.2008.74},
}
Mathematical Document Classification via Symbol Frequency Analysis,
Stephen M. Watt, Proc. Towards Digital Mathematics Library (DML 08), Birmingham, UK, July 27 2008, IEEE Computer Society, pp. 29-40, DOI 10.1109/DML.2008.3.
@inproceedings{SMW-2008-dml-math-class,
author = {Stephen M. Watt},
title = {Mathematical Document Classification via Symbol Frequency Analysis},
year = {2008},
booktitle = {Towards Digital Mathematics Library},
venue = {Birmingham, UK},
eventdate = {2008-07-27},
pages = {29-40},
publisher = {IEEE Computer Society},
doi = {10.1109/DML.2008.3},
}
Online Mathematical Symbol Recognition using SVMs with Features from Functional Approximation,
Birendra Keshari and Stephen M. Watt, Proc. Mathematical User-Interfaces Workshop 2008 (MathUI 08), Birmingham, UK, July 27 2008.
@inproceedings{SMW-2008-mathui-cheby-svm,
author = {Birendra Keshari and Stephen M. Watt},
title = {Online Mathematical Symbol Recognition using {SVMs} with Features from Functional Approximation},
year = {2008},
booktitle = {Mathematical User-Interfaces Workshop 2008},
venue = {Birmingham, UK},
eventdate = {2008-07-27},
url = {http://www.activemath.org/workshops/MathUI/08/proceedings},
}
Adaptive libraries and interactive code generation for Common Lisp,
Geoff Wozniak, Mark Daley and Stephen M. Watt, Proc. 5th European Lisp Workshop (ELW '08), Paphos, Cyprus, July 7 2008.
@inproceedings{SMW-2008-elw-adaptive-libs,
author = {Geoff Wozniak and Mark Daley and Stephen M. Watt},
title = {Adaptive libraries and interactive code generation for {Common} {Lisp}},
year = {2008},
booktitle = {5th European {Lisp} Workshop},
venue = {Paphos, Cyprus},
eventdate = {2008-07-07},
}
Context-Sensitive Mathematical Character Recognition,
Elena Smirnova and Stephen M. Watt, Proc. IAPR International Conference on Frontiers in Handwriting Recognition (ICFHR 2008), Montreal, Canada, August 19-21 2008, CENPARMI Concordia University, pp. 604-610, ISBN 1-895193-03-6.
@inproceedings{SMW-2008-icfhr-mathpred,
author = {Elena Smirnova and Stephen M. Watt},
title = {Context-Sensitive Mathematical Character Recognition},
year = {2008},
booktitle = {{IAPR} International Conference on Frontiers in Handwriting Recognition},
venue = {Montreal, Canada},
eventdate = {2008-08-19},
pages = {604-610},
publisher = {CENPARMI Concordia University},
isbn = {1-895193-03-6},
}
Sharing Digital Ink in Heterogeneous Collaborative Environments,
Birendra Keshari, Sriganesh Madhvanath, Manoj Prasad A, Muthuselvam Selvaraj and Stephen M. Watt, Proc. IAPR International Conference on Frontiers in Handwriting Recognition (ICFHR 2008), Montreal, Canada, August 19-21 2008, CENPARMI Concordia University, pp. 580-585, ISBN 1-895193-03-6.
@inproceedings{SMW-2008-icfhr-inkchat,
author = {Birendra Keshari and Sriganesh Madhvanath and Manoj Prasad A and Muthuselvam Selvaraj and Stephen M. Watt},
title = {Sharing Digital Ink in Heterogeneous Collaborative Environments},
year = {2008},
booktitle = {{IAPR} International Conference on Frontiers in Handwriting Recognition},
venue = {Montreal, Canada},
eventdate = {2008-08-19},
pages = {580-585},
publisher = {CENPARMI Concordia University},
isbn = {1-895193-03-6},
}
Functional Decomposition of Symbolic Polynomials,
Stephen M. Watt, Proc. International Conference on Computatioanl Sciences and its Applications (ICCSA 2008), Perugia, Italy, June 30-July 3 2008, IEEE Computer Society, pp. 353-362, DOI 10.1109/ICCSA.2008.23.
@inproceedings{SMW-2008-casa-symdecomp,
author = {Stephen M. Watt},
title = {Functional Decomposition of Symbolic Polynomials},
year = {2008},
booktitle = {International Conference on Computatioanl Sciences and its Applications},
venue = {Perugia, Italy},
eventdate = {2008-06-30},
pages = {353-362},
publisher = {IEEE Computer Society},
doi = {10.1109/ICCSA.2008.23},
}
Symbolic Polynomials with Sparse Exponents,
Stephen M. Watt, Proc. Milestones in Computer Algebra: a Conference in Honour of Keith Geddes' 60th Birthday (MICA 2008), Stonehaven Bay, Trinidad and Tobago, May 1-3 2008, University of Western Ontario, pp. 91-97, ISBN 978-0-7714-2682-7.
@inproceedings{SMW-2008-mica-symsparse,
author = {Stephen M. Watt},
title = {Symbolic Polynomials with Sparse Exponents},
year = {2008},
booktitle = {Milestones in Computer Algebra: a Conference in Honour of Keith Geddes' 60th Birthday},
venue = {Stonehaven Bay, Trinidad and Tobago},
eventdate = {2008-05-01},
pages = {91-97},
publisher = {University of Western Ontario},
isbn = {978-0-7714-2682-7},
}
Editorial Works
Proceedings of Milestones in Computer Algebra MICA 2008: A conference in honour of Keith Geddes' 60th birthday,
Marc Moreno Maza and Stephen M. Watt (editors), University of Western Ontario, 2008, ISBN 978-1-59593-744-5.
@collection{SMW-2008-proceedings-milestones-computer-algebra-mica-2008-conference,
title = {Proceedings of Milestones in Computer Algebra {MICA} 2008: A conference in honour of Keith Geddes' 60th birthday},
year = {2008},
editor = {Marc Moreno Maza and Stephen M. Watt},
publisher = {University of Western Ontario},
isbn = {978-1-59593-744-5},
}
Refereed and Invited Abstracts
Functional Decomposition Theorems for Symbolic Polynomials (Invited),
Stephen M. Watt, Proc. 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 26-29 2008.
@inproceedings{SMW-2008-synasc-symdecomp,
author = {Stephen M. Watt},
title = {Functional Decomposition Theorems for Symbolic Polynomials},
year = {2008},
booktitle = {10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara, Romania},
eventdate = {2008-09-26},
}
Analyzing Mathematical Corpora to Improve Mathematical Handwriting Recognition,
Stephen M. Watt, Proc. 4th European Workshop on Mathematical and Scientific e-Contents, Trondheim, Norway, September 11-13 2008.
@inproceedings{SMW-2008-msec-corpora,
author = {Stephen M. Watt},
title = {Analyzing Mathematical Corpora to Improve Mathematical Handwriting Recognition},
year = {2008},
booktitle = {4th European Workshop on Mathematical and Scientific e-Contents},
venue = {Trondheim, Norway},
eventdate = {2008-09-11},
}
Admissible Symmetries of the Electromagnetic Field in LRS Spacetimes,
Stephen M. Watt, (COSMO 08), Madison, Wisconsin, USA, August 25-29 2008.
@inproceedings{SMW-2008-cosmo-poynting,
author = {Stephen M. Watt},
title = {Admissible Symmetries of the Electromagnetic Field in {LRS} Spacetimes},
year = {2008},
venue = {Madison, Wisconsin, USA},
eventdate = {2008-08-25},
}
Online Stroke Modeling for Handwriting Recognition,
Stephen M. Watt, Proc. International Conference on Frontiers in Handwriting Recognition (ICFHR 2008), Montreal, Canada, August 19-21 2008.
@inproceedings{SMW-2008-icfhr-online,
author = {Stephen M. Watt},
title = {Online Stroke Modeling for Handwriting Recognition},
year = {2008},
booktitle = {International Conference on Frontiers in Handwriting Recognition},
venue = {Montreal, Canada},
eventdate = {2008-08-19},
}
Toward Real-Time Recognition of Handwritten Mathematical Symbols,
Oleg Golubitsky and Stephen M. Watt, Proc. Artificial Intelligence and Symbolic Computation (AISC 2008), Birmingham, UK, July 31-August 2 2008.
@inproceedings{SMW-2008-aisc-moments,
author = {Oleg Golubitsky and Stephen M. Watt},
title = {Toward Real-Time Recognition of Handwritten Mathematical Symbols},
year = {2008},
booktitle = {Artificial Intelligence and Symbolic Computation},
venue = {Birmingham, UK},
eventdate = {2008-07-31},
}
Compact Methods for Modelling Handwritten Mathematical Symbols,
Stephen M. Watt, Proc. Applications of Computer Algebra (ACA 2008), Linz, Austria, July 27-30 2008.
@inproceedings{SMW-2008-aca-compact-recog,
author = {Stephen M. Watt},
title = {Compact Methods for Modelling Handwritten Mathematical Symbols},
year = {2008},
booktitle = {Applications of Computer Algebra},
venue = {Linz, Austria},
eventdate = {2008-07-27},
}
On the Functional Decomposition of Multivariate Laurent Polynomials,
Stephen M. Watt, (ECCAD 2008), Shepherdstown WV, USA, May 10 2008, DOI 10.1145/1394042.1394099.
@inproceedings{SMW-2008-eccad-laurent,
author = {Stephen M. Watt},
title = {On the Functional Decomposition of Multivariate Laurent Polynomials},
year = {2008},
venue = {Shepherdstown WV, USA},
eventdate = {2008-05-10},
doi = {10.1145/1394042.1394099},
}
A Note on the Functional Decomposition of Symbolic Polynomials,
Stephen M. Watt, Proc. Milestones in Computer Algebra: a Conference in Honour of Keith Geddes' 60th Birthday (MICA 2008), Stonehaven Bay, Trinidad and Tobago, May 1-3 2008, University of Western Ontario, pp. 215-216, ISBN 978-0-7714-2682-7.
@inproceedings{SMW-2008-mica-symdecomp,
author = {Stephen M. Watt},
title = {A Note on the Functional Decomposition of Symbolic Polynomials},
year = {2008},
booktitle = {Milestones in Computer Algebra: a Conference in Honour of Keith Geddes' 60th Birthday},
venue = {Stonehaven Bay, Trinidad and Tobago},
eventdate = {2008-05-01},
pages = {215-216},
publisher = {University of Western Ontario},
isbn = {978-0-7714-2682-7},
}
A Preliminary Report on the Set of Symbols Occurring in Engineering Mathematics Texts,
Stephen M. Watt, Proc. Milestones in Computer Algebra: a Conference in Honour of Keith Geddes' 60th Birthday (MICA 2008), Stonehaven Bay, Trinidad and Tobago, May 1-3 2008, University of Western Ontario, pp. 217-219, ISBN 978-0-7714-2682-7.
@inproceedings{SMW-2008-mica-ngrams,
author = {Stephen M. Watt},
title = {A Preliminary Report on the Set of Symbols Occurring in Engineering Mathematics Texts},
year = {2008},
booktitle = {Milestones in Computer Algebra: a Conference in Honour of Keith Geddes' 60th Birthday},
venue = {Stonehaven Bay, Trinidad and Tobago},
eventdate = {2008-05-01},
pages = {217-219},
publisher = {University of Western Ontario},
isbn = {978-0-7714-2682-7},
}
2007
Refereed Conference Papers, Journal Articles and Book Chapters
Representing and Characterizing Handwritten Mathematical Symbols Through Succinct Functional Approximation,
Bruce W. Char and Stephen M. Watt, Proc. International Conference on Document Analysis and Recognition (ICDAR), Curitiba, Brazil, September 23-26 2007, IEEE Computer Society, pp. 1198-1202, DOI 10.1109/icdar.2007.4377105.
@inproceedings{SMW-2007-icdar-cheby,
author = {Bruce W. Char and Stephen M. Watt},
title = {Representing and Characterizing Handwritten Mathematical Symbols Through Succinct Functional Approximation},
year = {2007},
booktitle = {International Conference on Document Analysis and Recognition},
venue = {Curitiba, Brazil},
eventdate = {2007-09-23},
pages = {1198-1202},
publisher = {IEEE Computer Society},
doi = {10.1109/icdar.2007.4377105},
}
Hybrid Mathematical Symbol Recognition Using Support Vector Machines,
Birendra Keshari and Stephen M. Watt, Proc. International Conference on Document Analysis and Recognition (ICDAR), Curitiba, Brazil, September 23-26 2007, IEEE Computer Society, pp. 859-863, DOI 10.1109/icdar.2007.4377037.
@inproceedings{SMW-2007-icdar-multisvm,
author = {Birendra Keshari and Stephen M. Watt},
title = {Hybrid Mathematical Symbol Recognition Using Support Vector Machines},
year = {2007},
booktitle = {International Conference on Document Analysis and Recognition},
venue = {Curitiba, Brazil},
eventdate = {2007-09-23},
pages = {859-863},
publisher = {IEEE Computer Society},
doi = {10.1109/icdar.2007.4377037},
}
New Aspects of InkML for Pen-Based Computing,
Stephen M. Watt, Proc. International Conference on Document Analysis and Recognition (ICDAR), Curitiba, Brazil, September 23-26 2007, IEEE Computer Society, pp. 457-460, DOI 10.1109/icdar.2007.4378751.
@inproceedings{SMW-2007-icdar-inkml,
author = {Stephen M. Watt},
title = {New Aspects of {InkML} for Pen-Based Computing},
year = {2007},
booktitle = {International Conference on Document Analysis and Recognition},
venue = {Curitiba, Brazil},
eventdate = {2007-09-23},
pages = {457-460},
publisher = {IEEE Computer Society},
doi = {10.1109/icdar.2007.4378751},
}
Aspects of Mathematical Expression Analysis in Arabic Handwriting,
Elena Smirnova and Stephen M. Watt, Proc. International Conference on Document Analysis and Recognition (ICDAR), Curitiba, Brazil, September 23-26 2007, IEEE Computer Society, pp. 1183-1187, DOI 10.1109/icdar.2007.4377102.
@inproceedings{SMW-2007-icdar-arabic,
author = {Elena Smirnova and Stephen M. Watt},
title = {Aspects of Mathematical Expression Analysis in Arabic Handwriting},
year = {2007},
booktitle = {International Conference on Document Analysis and Recognition},
venue = {Curitiba, Brazil},
eventdate = {2007-09-23},
pages = {1183-1187},
publisher = {IEEE Computer Society},
doi = {10.1109/icdar.2007.4377102},
}
Streaming-Archival InkML Conversion,
Birendra Keshari and Stephen M. Watt, Proc. International Conference on Document Analysis and Recognition (ICDAR), Curitiba, Brazil, September 23-26 2007, IEEE Computer Society, pp. 1253-1257, DOI 10.1109/icdar.2007.4377116.
@inproceedings{SMW-2007-icdar-saconv,
author = {Birendra Keshari and Stephen M. Watt},
title = {Streaming-Archival {InkML} Conversion},
year = {2007},
booktitle = {International Conference on Document Analysis and Recognition},
venue = {Curitiba, Brazil},
eventdate = {2007-09-23},
pages = {1253-1257},
publisher = {IEEE Computer Society},
doi = {10.1109/icdar.2007.4377116},
}
Generation and Optimization of Code using Coxeter Lattice Paths (Invited),
Thomas J. Ashby, Anthony D. Kennedy and Stephen M. Watt, Proc. Parallel Symbolic Computation (PASCO'07), Waterloo, Canada, July 27-28 2007, ACM Press, pp. 1-10, DOI 10.1145/1278177.1278179.
@inproceedings{SMW-2007-pasco-coxeter,
author = {Thomas J. Ashby and Anthony D. Kennedy and Stephen M. Watt},
title = {Generation and Optimization of Code using Coxeter Lattice Paths},
year = {2007},
booktitle = {Parallel Symbolic Computation},
venue = {Waterloo, Canada},
eventdate = {2007-07-27},
pages = {1-10},
publisher = {ACM Press},
doi = {10.1145/1278177.1278179},
}
Multiprocessed Parallelism Support in ALDOR on SMPs and Multicores,
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt and Yuzhen Xie, Proc. Parallel Symbolic Computation (PASCO'07), Waterloo, Canada, July 27-28 2007, ACM Press, pp. 60-68, DOI 10.1145/1278177.1278187.
@inproceedings{SMW-2007-pasco-framework,
author = {Marc Moreno Maza and Ben Stephenson and Stephen M. Watt and Yuzhen Xie},
title = {Multiprocessed Parallelism Support in {ALDOR} on {SMPs} and Multicores},
year = {2007},
booktitle = {Parallel Symbolic Computation},
venue = {Waterloo, Canada},
eventdate = {2007-07-27},
pages = {60-68},
publisher = {ACM Press},
doi = {10.1145/1278177.1278187},
}
What Happened to Languages for Symbolic Mathematical Computation?,
Stephen M. Watt, Proc. Programming Languages for Mechanized Mathematics (PLMMS), Hagenberg, Austria, June 29-30 2007, RISC-Linz, pp. 81-90.
@inproceedings{SMW-2007-plmms-what_happened,
author = {Stephen M. Watt},
title = {What Happened to Languages for Symbolic Mathematical Computation?},
year = {2007},
booktitle = {Programming Languages for Mechanized Mathematics},
editor = {J. Carette and F. Wiedijk},
venue = {Hagenberg, Austria},
eventdate = {2007-06-29},
pages = {81-90},
publisher = {RISC-Linz},
url = {http://www.risc.uni-linz.ac.at/publications/download/risc_3120/PLMMS_proc.pdf},
}
A Cross-Application Architecture for Pen-Based Mathematical Interfaces,
Elena Smirnova and Stephen M. Watt, Proc. Mathematical User Interfaces (MathUI), Hagenberg, Austria, June 27 2007, (5 pages).
@inproceedings{SMW-2007-mathui-mathink,
author = {Elena Smirnova and Stephen M. Watt},
title = {A Cross-Application Architecture for Pen-Based Mathematical Interfaces},
year = {2007},
booktitle = {Mathematical User Interfaces},
venue = {Hagenberg, Austria},
eventdate = {2007-06-27},
pagetotal = {5},
url = {http://www.activemath.org/workshops/MathUI/07/proceedings/Smirnova-Watt-MathInk-MathUI07.pdf},
}
Generic Programming Techniques in Aldor,
Manuel Bronstein, Marc Moreno Maza and Stephen M. Watt, Proc. Fifth Asian Workshop on Foundations of Software (AWFS), Xiamen, China, June 1-3 2007, Universiyt of Xiamen, pp. 72-77.
@inproceedings{SMW-2007-awfs-generic,
author = {Manuel Bronstein and Marc Moreno Maza and Stephen M. Watt},
title = {Generic Programming Techniques in {Aldor}},
year = {2007},
booktitle = {Fifth Asian Workshop on Foundations of Software},
venue = {Xiamen, China},
eventdate = {2007-06-01},
pages = {72-77},
publisher = {Universiyt of Xiamen},
}
Dynamic ADTs: a "Don't Ask, Don't Tell" Policy for Data Abstraction,
Geoff Wozniak, Mark Daley and Stephen M. Watt, Proc. International Lisp Conference (ILC), Cambridge UK, April 1-4 2007, Association of Lisp Users, pp. 209-220, DOI 10.1145/1622123.1622152.
@inproceedings{SMW-2007-ilc-dadt,
author = {Geoff Wozniak and Mark Daley and Stephen M. Watt},
title = {Dynamic {ADTs}: a "Don't Ask, Don't Tell" Policy for Data Abstraction},
year = {2007},
booktitle = {International {Lisp} Conference},
venue = {Cambridge UK},
eventdate = {2007-04-01},
pages = {209-220},
publisher = {Association of Lisp Users},
doi = {10.1145/1622123.1622152},
}
Two Families of Algorithms for Symbolic Polynomials (Invited),
Stephen M. Watt, in Computer Algebra 2006: Latest Advances in Symbolic Algorithms -- Proceedings of the Waterloo Workshop, I. Kotsireas, E. Zima (eds.), World Scientific 2007, 2007, pp. 193-210, DOI 10.1142/9789812778857_0012.
@incollection{SMW-2006-wwca-sympoly,
author = {Stephen M. Watt},
title = {Two Families of Algorithms for Symbolic Polynomials},
year = {2007},
booktitle = {Computer Algebra 2006: Latest Advances in Symbolic Algorithms -- Proceedings of the Waterloo Workshop},
editor = {I. Kotsireas and E. Zima},
pages = {193-210},
publisher = {World Scientific 2007},
doi = {10.1142/9789812778857_0012},
}
Editorial Works
Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation (SNC'07),
Jan Verschelde and Stephen M. Watt (editors), ACM Press New York, 2007, ISBN 978-0-7714-2682-7, DOI 10.1145/1277500.
@collection{SMW-2007-snc-frontmatter,
title = {Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation ({SNC}'07)},
year = {2007},
editor = {Jan Verschelde and Stephen M. Watt},
publisher = {ACM Press New York},
doi = {10.1145/1277500},
isbn = {978-0-7714-2682-7},
}
Proceedings of the 2007 International Workshop on Parallel Symbolic Computation (PASCO'07),
Marc Moreno Maza and Stephen M. Watt (editors), ACM Press New York, 2007, ISBN 978-1-59593-741-4.
@collection{SMW-2007-pasco-frontmatter,
title = {Proceedings of the 2007 International Workshop on Parallel Symbolic Computation ({PASCO}'07)},
year = {2007},
editor = {Marc Moreno Maza and Stephen M. Watt},
publisher = {ACM Press New York},
isbn = {978-1-59593-741-4},
}
Refereed and Invited Abstracts
Sparse Exponents in Symbolic Polynomials,
Matthew Malenfant and Stephen M. Watt, Proc. Symposium on Algebraic Geometry and Its Applications: in honor of the 60th birthday of Gilles Lachaud (SAGA 2007), Papeete, Tahiti, May 7-11 2007, (2 pages).
@inproceedings{SMW-2007-saga-sparsesympoly,
author = {Matthew Malenfant and Stephen M. Watt},
title = {Sparse Exponents in Symbolic Polynomials},
year = {2007},
booktitle = {Symposium on Algebraic Geometry and Its Applications: in honor of the 60th birthday of Gilles Lachaud},
venue = {Papeete, Tahiti},
eventdate = {2007-05-07},
pagetotal = {2},
}
2006
Refereed Conference Papers, Journal Articles and Book Chapters
Generating TeX from Mathematical Content with Respect to Notational Settings,
Elena Smirnova and Stephen M. Watt, Proc. International Conference on Digital Typography & Electronic Publishing: Localization & Internationalization (TUG 2006), Marakesh, Morocco, November 9-11 2006, pp. 96-105.
@inproceedings{SMW-2006-tug-notation,
author = {Elena Smirnova and Stephen M. Watt},
title = {Generating {TeX} from Mathematical Content with Respect to Notational Settings},
year = {2006},
booktitle = {International Conference on Digital Typography \& Electronic Publishing: Localization \& Internationalization},
venue = {Marakesh, Morocco},
eventdate = {2006-11-09},
pages = {96-105},
}
A Localized Tracing Scheme applied to Garbage Collection,
Yannis Chicha and Stephen M. Watt, Proc. The Fourth Asian Symposium on Programming Languages and Systems (APLAS 2006), Sydney, Australia, November 8-10 2006, Springer Verlag LNCS 4279, pp. 323-339, DOI 10.1007/11924661_20.
@inproceedings{SMW-2006-aplas-lts,
author = {Yannis Chicha and Stephen M. Watt},
title = {A Localized Tracing Scheme applied to Garbage Collection},
year = {2006},
booktitle = {The Fourth Asian Symposium on Programming Languages and Systems},
venue = {Sydney, Australia},
eventdate = {2006-11-08},
pages = {323-339},
publisher = {Springer Verlag LNCS 4279},
doi = {10.1007/11924661_20},
}
Post Facto Type Extension for Mathematical Programming,
Stephen M. Watt, Proc. Domain-Specific Aspect Languages (SIGPLAN/SIGSOFT DSAL 2006), Portland OR, USA, October 23 2006, pp. 26-31, DOI 10.1145/1178621.1178624.
@inproceedings{SMW-2006-dsal-postfacto,
author = {Stephen M. Watt},
title = {Post Facto Type Extension for Mathematical Programming},
year = {2006},
booktitle = {Domain-Specific Aspect Languages},
venue = {Portland OR, USA},
eventdate = {2006-10-23},
pages = {26-31},
doi = {10.1145/1178621.1178624},
}
Generic Library Extension in a Heterogeneous Environment,
Cosmin E. Oancea and Stephen M. Watt, Proc. Library Centric Software Design (LCSD 2006), Portland OR, USA, October 22 2006, pp. 25-34.
@inproceedings{SMW-2006-lcsd-libext,
author = {Cosmin E. Oancea and Stephen M. Watt},
title = {Generic Library Extension in a Heterogeneous Environment},
year = {2006},
booktitle = {Library Centric Software Design},
venue = {Portland OR, USA},
eventdate = {2006-10-22},
pages = {25-34},
}
Performance Rights for Software,
Mark Perry and Stephen M. Watt, Proc. Fourth IASTED Internatioanl Conference on Law and Technology (LAWTECH 2006), Cambridge Massacusetts, USA, October 9-11 2006, ACTA Press, pp. 59-64.
@inproceedings{SMW-2006-iasted-performance,
author = {Mark Perry and Stephen M. Watt},
title = {Performance Rights for Software},
year = {2006},
booktitle = {Fourth {IASTED} Internatioanl Conference on Law and Technology},
venue = {Cambridge Massacusetts, USA},
eventdate = {2006-10-09},
pages = {59-64},
publisher = {ACTA Press},
}
Pivot-Free Block Matrix Inversion,
Stephen M. Watt, Proc. 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), Timişoara Romania, Sept 26-29 2006, IEEE Press, pp. 151-155, DOI 10.1109/synasc.2006.61.
@inproceedings{SMW-2006-synasc-bminv,
author = {Stephen M. Watt},
title = {Pivot-Free Block Matrix Inversion},
year = {2006},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2006-09-26},
pages = {151-155},
publisher = {IEEE Press},
doi = {10.1109/synasc.2006.61},
}
A Technique for Generic Iteration and Its Optimization,
Stephen M. Watt, Proc. ACM SIGPLAN Workshop on Generic Programming 2006 (WGP 2006), Portland Oregon, USA, September 16 2006, ACM, pp. 76-86, DOI 10.1145/1159861.1159872.
@inproceedings{SMW-2006-wgp-jflow,
author = {Stephen M. Watt},
title = {A Technique for Generic Iteration and Its Optimization},
year = {2006},
booktitle = {{ACM} {SIGPLAN} Workshop on Generic Programming 2006},
venue = {Portland Oregon, USA},
eventdate = {2006-09-16},
pages = {76-86},
publisher = {ACM},
doi = {10.1145/1159861.1159872},
}
On the Conversion Between Content MathML and OpenMath,
Clare M. So and Stephen M. Watt, Proc. 2006 Conference on the Communicating Mathematics in the Digital Era (CMDE 2006), Aveiro, Portugal, August 15-18 2006, A.K. Peters, pp. 169-182, DOI 10.1201/b10587-15.
@inproceedings{SMW-2006-cmde-omml,
author = {Clare M. So and Stephen M. Watt},
title = {On the Conversion Between Content {MathML} and {OpenMath}},
year = {2006},
booktitle = {2006 Conference on the Communicating Mathematics in the Digital Era},
venue = {Aveiro, Portugal},
eventdate = {2006-08-15},
pages = {169-182},
publisher = {A.K. Peters},
doi = {10.1201/b10587-15},
}
On the Performance of Parametric Polymorphism in Maple,
Laurentiu Dragan and Stephen M. Watt, Proc. Maple Conference 2006 (MSC 2006), Waterloo Canada, July 23-26 2006, Maplesoft, pp. 35-42.
@inproceedings{SMW-2006-mc-ppmaple,
author = {Laurentiu Dragan and Stephen M. Watt},
title = {On the Performance of Parametric Polymorphism in {Maple}},
year = {2006},
booktitle = {{Maple} Conference 2006},
venue = {Waterloo Canada},
eventdate = {2006-07-23},
pages = {35-42},
publisher = {Maplesoft},
}
Making Computer Algebra More Symbolic (Invited),
Stephen M. Watt, Proc. Transgressive Computing 2006: A conference in honor or Jean Della Dora (TC 2006), Granada Spain, April 24-26 2006, pp. 43-49.
@inproceedings{SMW-2006-tc-sympoly,
author = {Stephen M. Watt},
title = {Making Computer Algebra More Symbolic},
year = {2006},
booktitle = {Transgressive Computing 2006: A conference in honor or Jean Della Dora},
venue = {Granada Spain},
eventdate = {2006-04-24},
pages = {43-49},
}
Notation Selection in Mathematical Computing Environments,
Elena Smirnova and Stephen M. Watt, Proc. Transgressive Computing 2006: A conference in honor or Jean Della Dora (TC 2006), Granada Spain, April 24-26 2006, pp. 339-355.
@inproceedings{SMW-2006-tc-notation,
author = {Elena Smirnova and Stephen M. Watt},
title = {Notation Selection in Mathematical Computing Environments},
year = {2006},
booktitle = {Transgressive Computing 2006: A conference in honor or Jean Della Dora},
venue = {Granada Spain},
eventdate = {2006-04-24},
pages = {339-355},
}
Component-Free Vector Algebra in Aldor,
Songxin Liang, David J. Jeffrey and Stephen M. Watt, Proc. Transgressive Computing 2006: A conference in honor or Jean Della Dora (TC 2006), Granada Spain, April 24-26 2006, pp. 415-418.
@inproceedings{SMW-2006-tc-vectalg,
author = {Songxin Liang and David J. Jeffrey and Stephen M. Watt},
title = {Component-Free Vector Algebra in {Aldor}},
year = {2006},
booktitle = {Transgressive Computing 2006: A conference in honor or Jean Della Dora},
venue = {Granada Spain},
eventdate = {2006-04-24},
pages = {415-418},
}
Editorial Works
Dagstuhl Seminar Proceedings 06271: Challenges in Symbolic Computation Software,
W. Decker, M. Dewar, E. Kaltofen and S.M. Watt (editors), 2006.
@collection{SMW-2006-dagstuhl-seminar-proceedings-06271-challenges-symbolic-computation,
title = {Dagstuhl Seminar Proceedings 06271: Challenges in Symbolic Computation Software},
year = {2006},
editor = {W. Decker and M. Dewar and E. Kaltofen and S.M. Watt},
eventdate = {2006-07-02},
url = {http://drops.dagstuhl.de/portals/index.php?semnr=06271},
}
Refereed and Invited Abstracts
Improving Pen-Based Mathematical Interfaces (Invited),
Stephen M. Watt, Proc. 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), Timişoara Romania, Sept 26-29 2006, IEEE Computer Society, pp. 12.
@inproceedings{SMW-2006-synasc-penmath,
author = {Stephen M. Watt},
title = {Improving Pen-Based Mathematical Interfaces},
year = {2006},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2006-09-26},
pages = {12},
publisher = {IEEE Computer Society},
}
Algorithms for Symbolic Polynomials (Invited),
Stephen M. Watt, Proc. 9th International Workshop on Computer Algebra in Scientific Computing (CASC 2006), Chişinau, Moldova, September 11-15 2006, Springer Verlag LNCS 4194, pp. 302.
@inproceedings{SMW-2006-casc-sympoly,
author = {Stephen M. Watt},
title = {Algorithms for Symbolic Polynomials},
year = {2006},
booktitle = {9th International Workshop on Computer Algebra in Scientific Computing},
venue = {Chişinau, Moldova},
eventdate = {2006-09-11},
pages = {302},
publisher = {Springer Verlag LNCS 4194},
}
An Algorithm for PDE Consistency under Constraints with an Application to Relativistic Cosmology,
Stephen M. Watt, Proc. 2006 Conference on the Applications of Computer Algebra (ACA 2006), Varna, Bulgaria, June 26-29 2006.
@inproceedings{SMW-2006-aca-pdecosmology,
author = {Stephen M. Watt},
title = {An Algorithm for {PDE} Consistency under Constraints with an Application to Relativistic Cosmology},
year = {2006},
booktitle = {2006 Conference on the Applications of Computer Algebra},
venue = {Varna, Bulgaria},
eventdate = {2006-06-26},
}
Symbolic Computation versus Computer Algebra,
Stephen M. Watt, Proc. 2006 Conference on the Applications of Computer Algebra (ACA 2006), Varna, Bulgaria, June 26-29 2006.
@inproceedings{SMW-2006-aca-symvsca,
author = {Stephen M. Watt},
title = {Symbolic Computation versus Computer Algebra},
year = {2006},
booktitle = {2006 Conference on the Applications of Computer Algebra},
venue = {Varna, Bulgaria},
eventdate = {2006-06-26},
}
Research Reports (not subsequently published elsewhere)
GIDL User Guide,
Cosmin Oancea and Stephen M. Watt, Research report, TR-06-09 (55 pages), Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario, 2006.
@report{SMW-2006-orcca-gidl,
author = {Cosmin Oancea and Stephen M. Watt},
title = {{GIDL} User Guide},
year = {2006},
number = {TR-06-09 (55 pages)},
institution = {Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario},
}
Alma User Guide,
Cosmin Oancea and Stephen M. Watt, Research report, TR-06-08 (7 pages), Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario, 2006.
@report{SMW-2006-orcca-alma,
author = {Cosmin Oancea and Stephen M. Watt},
title = {Alma User Guide},
year = {2006},
number = {TR-06-08 (7 pages)},
institution = {Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario},
}
reflex: A Scanner Transformer for Unicode Grammars,
S.L. Huerter and S.M. Watt, Research report, TR-06-07 (34 pages), Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario, 2006.
@report{SMW-2006-orcca-reflex,
author = {S.L. Huerter and S.M. Watt},
title = {reflex: A Scanner Transformer for Unicode Grammars},
year = {2006},
number = {TR-06-07 (34 pages)},
institution = {Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario},
}
Selected Other Contributions
Two Algorithms for Symbolic Polynomials (Preliminary Version),
Stephen M. Watt, Proc. Dagstuhl Seminar 06271: Challenges in Symbolic Computation Software, Schloss Dagstuhl, Germany, July 2-7 2006.
@misc{SMW-2006-dagstuhl-sympoly,
author = {Stephen M. Watt},
title = {Two Algorithms for Symbolic Polynomials (Preliminary Version)},
year = {2006},
booktitle = {Dagstuhl Seminar 06271: Challenges in Symbolic Computation Software},
venue = {Schloss Dagstuhl, Germany},
eventdate = {2006-07-02},
}
Coxeter Lattice Paths,
T.J. Ashby, A.D. Kennedy and S.M. Watt, Proc. Dagstuhl Seminar 06271: Challenges in Symbolic Computation Software, Schloss Dagstuhl, Germany, July 2-7 2006.
@misc{SMW-2006-dagstuhl-coxeter,
author = {T.J. Ashby and A.D. Kennedy and S.M. Watt},
title = {Coxeter Lattice Paths},
year = {2006},
booktitle = {Dagstuhl Seminar 06271: Challenges in Symbolic Computation Software},
venue = {Schloss Dagstuhl, Germany},
eventdate = {2006-07-02},
}
2005
Refereed Conference Papers, Journal Articles and Book Chapters
XML in Mathematical Web Services,
Mike Dewar, Elena Smirnova and Stephen M. Watt, Proc. XML 2005 Conference -- Syntax to Semantics (XML 2005), Atlanta USA, November 14-18 2005, (29 pages).
@inproceedings{SMW-2005-xml-mathwebservices,
author = {Mike Dewar and Elena Smirnova and Stephen M. Watt},
title = {{XML} in Mathematical Web Services},
year = {2005},
booktitle = {{XML} 2005 Conference -- Syntax to Semantics},
venue = {Atlanta USA},
eventdate = {2005-11-14},
pagetotal = {29},
url = {http://www.idealliance.org/proceedings/xml05/},
}
Parametric Polymorphism for Software Component Architectures,
Cosmin Oancea and Stephen M. Watt, Proc. 20th Annual ACM Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'05), San Diego USA, October 16-20 2005, ACM Press, pp. 147-166, DOI 10.1145/1094811.1094823.
@inproceedings{SMW-2005-oopsla-gidl,
author = {Cosmin Oancea and Stephen M. Watt},
title = {Parametric Polymorphism for Software Component Architectures},
year = {2005},
booktitle = {20th Annual {ACM} Conference on Object Oriented Programming, Systems, Languages and Applications},
venue = {San Diego USA},
eventdate = {2005-10-16},
pages = {147-166},
publisher = {ACM Press},
doi = {10.1145/1094811.1094823},
}
Performance Analysis of Generics for Scientific Computing,
Laurentiu Dragan and Stephen M. Watt, Proc. 7th Internatioanl Symposium on Symbolic and Numeric Algorithms in Scientific Computing (SYNASC 2005), Timişoara Romania, September 25-29 2005, IEEE Press, pp. 93-100, DOI 10.1109/synasc.2005.56.
@inproceedings{SMW-2005-synasc-scigmark,
author = {Laurentiu Dragan and Stephen M. Watt},
title = {Performance Analysis of Generics for Scientific Computing},
year = {2005},
booktitle = {7th Internatioanl Symposium on Symbolic and Numeric Algorithms in Scientific Computing},
venue = {Timişoara Romania},
eventdate = {2005-09-25},
pages = {93-100},
publisher = {IEEE Press},
doi = {10.1109/synasc.2005.56},
}
Recognition for Large Sets of Handwritten Mathematical Symbols,
Stephen M. Watt and Xiaofang Xie, Proc. IEEE International Conference on Document Analysis and Recognition (ICDAR 2005), Seoul Korea, August 29-September 1 2005, IEEE Press, pp. 740-744, DOI 10.1109/icdar.2005.195.
@inproceedings{SMW-2005-icdar-charrec,
author = {Stephen M. Watt and Xiaofang Xie},
title = {Recognition for Large Sets of Handwritten Mathematical Symbols},
year = {2005},
booktitle = {{IEEE} International Conference on Document Analysis and Recognition},
venue = {Seoul Korea},
eventdate = {2005-08-29},
pages = {740-744},
publisher = {IEEE Press},
doi = {10.1109/icdar.2005.195},
}
Domains and Expressions: An interface between two approaches to computer algebra,
C. Oancea and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 2005), Beijing China, July 24-27 2005, ACM Press, pp. 261-268, DOI 10.1145/1073884.1073921.
@inproceedings{SMW-2005-issac-alma,
author = {C. Oancea and S.M. Watt},
title = {Domains and Expressions: An interface between two approaches to computer algebra},
year = {2005},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Beijing China},
eventdate = {2005-07-24},
pages = {261-268},
publisher = {ACM Press},
doi = {10.1145/1073884.1073921},
}
Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra,
Laurentiu Dragan and Stephen M. Watt, Proc. Maple Conference 2005, Waterloo Canada, July 17-21 2005, Maplesoft, pp. 243-259.
@inproceedings{SMW-2005-mc-towers,
author = {Laurentiu Dragan and Stephen M. Watt},
title = {Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra},
year = {2005},
booktitle = {{Maple} Conference 2005},
venue = {Waterloo Canada},
eventdate = {2005-07-17},
pages = {243-259},
publisher = {Maplesoft},
}
Generalization in Maple,
Cosmin Oancea, Clare So and Stephen M. Watt, Proc. Maple Conference 2005, Waterloo Canada, July 17-21 2005, Maplesoft, pp. 377-382.
@inproceedings{SMW-2005-mc-gen,
author = {Cosmin Oancea and Clare So and Stephen M. Watt},
title = {Generalization in {Maple}},
year = {2005},
booktitle = {{Maple} Conference 2005},
venue = {Waterloo Canada},
eventdate = {2005-07-17},
pages = {377-382},
publisher = {Maplesoft},
}
A Context for Pen-Based Computing,
Elena Smirnova and Stephen M. Watt, Proc. Maple Conference 2005, Waterloo Canada, July 17-21 2005, Maplesoft, pp. 409-422.
@inproceedings{SMW-2005-mc-pencontext,
author = {Elena Smirnova and Stephen M. Watt},
title = {A Context for Pen-Based Computing},
year = {2005},
booktitle = {{Maple} Conference 2005},
venue = {Waterloo Canada},
eventdate = {2005-07-17},
pages = {409-422},
publisher = {Maplesoft},
}
Prototype Pruning by Feature Extraction for Handwritten Mathematical Symbol Recognition,
Stephen M. Watt and Xiaofang Xie, Proc. Maple Conference 2005, Waterloo Canada, July 17-21 2005, Maplesoft, pp. 423-437.
@inproceedings{SMW-2005-mc-charrec,
author = {Stephen M. Watt and Xiaofang Xie},
title = {Prototype Pruning by Feature Extraction for Handwritten Mathematical Symbol Recognition},
year = {2005},
booktitle = {{Maple} Conference 2005},
venue = {Waterloo Canada},
eventdate = {2005-07-17},
pages = {423-437},
publisher = {Maplesoft},
}
Determining Empirical Characteristics of Mathematical Expression Use,
Clare M. So and Stephen M. Watt, Proc. Fourth International Conference on Mathematical Knowledge Management (MKM 2005), Bremen Germany, July 15-17 2005, Springer Verlag LNCS 3863, pp. 361-375, DOI 10.1007/11618027_24.
@inproceedings{SMW-2005-mkm-empirical,
author = {Clare M. So and Stephen M. Watt},
title = {Determining Empirical Characteristics of Mathematical Expression Use},
year = {2005},
booktitle = {Fourth International Conference on Mathematical Knowledge Management},
venue = {Bremen Germany},
eventdate = {2005-07-15},
pages = {361-375},
publisher = {Springer Verlag LNCS 3863},
doi = {10.1007/11618027_24},
}
Distributed Models of Thread-Level Speculation,
C. Oancea, J.W.A. Selby, M.W. Giesbrecht and S.M. Watt, Proc. 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), Las Vagas USA, June 27-30 2005, CSREA Press, pp. 920-927, ISBN 1-932415-58-0/59-9/60-2/61-0.
@inproceedings{SMW-2005-pdpta-spec,
author = {C. Oancea and J.W.A. Selby and M.W. Giesbrecht and S.M. Watt},
title = {Distributed Models of Thread-Level Speculation},
year = {2005},
booktitle = {2005 International Conference on Parallel and Distributed Processing Techniques and Applications},
venue = {Las Vagas USA},
eventdate = {2005-06-27},
pages = {920-927},
publisher = {CSREA Press},
isbn = {1-932415-58-0/59-9/60-2/61-0},
}
Toward an Accessible Web through Semantic Web Standards,
Clare M. So, M. Perry and S.M. Watt, Proc. 2005 International Conference on Computers for People with Special Needs (CPSN'05), Las Vagas USA, June 20-23 2005, CSREA Press, pp. 10-16, ISBN 1-932415-78-5.
@inproceedings{SMW-2005-cpsn-access,
author = {Clare M. So and M. Perry and S.M. Watt},
title = {Toward an Accessible Web through Semantic Web Standards},
year = {2005},
booktitle = {2005 International Conference on Computers for People with Special Needs},
venue = {Las Vagas USA},
eventdate = {2005-06-20},
pages = {10-16},
publisher = {CSREA Press},
isbn = {1-932415-78-5},
}
Refereed and Invited Abstracts
An Abstract, Coordinate-Free, Vector Algebra Package,
Songxin Liang, David J. Jeffrey and Stephen M. Watt, Proc. Asian Symposium on Computer Mathematics (ASCM 2005), Seoul Korea, December 8-10 2005.
@inproceedings{SMW-2005-ascm-vectalg,
author = {Songxin Liang and David J. Jeffrey and Stephen M. Watt},
title = {An Abstract, Coordinate-Free, Vector Algebra Package},
year = {2005},
booktitle = {Asian Symposium on Computer Mathematics},
venue = {Seoul Korea},
eventdate = {2005-12-08},
}
On the Approximate GCD in Initial Value Problems,
Stephen M. Watt, Proc. 2005 Conference on the Applications of Computer Algebra (ACA 2005), Nara, Japan, July 31-August 3 2005.
@inproceedings{SMW-2005-aca-agcdivp,
author = {Stephen M. Watt},
title = {On the Approximate {GCD} in Initial Value Problems},
year = {2005},
booktitle = {2005 Conference on the Applications of Computer Algebra},
venue = {Nara, Japan},
eventdate = {2005-07-31},
}
Components for Pen-Based Mathematical Interfaces,
Elena Smirnova, Clare So, Stephen M. Watt and Xiaofang Xie, Proc. 2005 Conference on the Applications of Computer Algebra (ACA 2005), Nara, Japan, July 31-August 3 2005.
@inproceedings{SMW-2005-aca-pencomponents,
author = {Elena Smirnova and Clare So and Stephen M. Watt and Xiaofang Xie},
title = {Components for Pen-Based Mathematical Interfaces},
year = {2005},
booktitle = {2005 Conference on the Applications of Computer Algebra},
venue = {Nara, Japan},
eventdate = {2005-07-31},
}
Selected Other Contributions
Manuel Eric Bronstein: in memoriam,
Stephen M. Watt, SIGSAM Bulletin, Vol. 39, No. 4, Issue 154, December 2005, 2005, pp. 144-145.
@misc{SMW-2005-sigsam-manuel,
author = {Stephen M. Watt},
title = {Manuel Eric Bronstein: in memoriam},
year = {2005},
journaltitle = {{SIGSAM} Bulletin},
volume = {39},
number = {4},
pages = {144-145},
issue = {Issue 154, December 2005},
}
2004
Refereed Conference Papers, Journal Articles and Book Chapters
QR Factoring to Compute the GCD of Univariate Approximate Polynomials,
Robert M. Corless, Stephen M. Watt and Lihong Zhi, IEEE Transactions on Signal Processing, Vol. 52, No. 12, December 2004, 2004, pp. 3394-3402, DOI 10.1109/TSP.2004.837413.
@article{SMW-2004-ieee-qrgcd,
author = {Robert M. Corless and Stephen M. Watt and Lihong Zhi},
title = {{QR} Factoring to Compute the {GCD} of Univariate Approximate Polynomials},
year = {2004},
journaltitle = {{IEEE} Transactions on Signal Processing},
volume = {52},
number = {12},
pages = {3394-3402},
doi = {10.1109/TSP.2004.837413},
issue = {December 2004},
}
Parametric Polymorphism for Computer Algebra Software Components,
Y. Chicha, M. Lloyd, C. Oancea and S.M. Watt, Proc. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2004), Timişoara Romania, September 26-30 2004, MITRON Press, pp. 119-130, ISBN 973-661-441-7.
@inproceedings{SMW-2004-synasc-ppca,
author = {Y. Chicha and M. Lloyd and C. Oancea and S.M. Watt},
title = {Parametric Polymorphism for Computer Algebra Software Components},
year = {2004},
booktitle = {6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation},
venue = {Timişoara Romania},
eventdate = {2004-09-26},
pages = {119-130},
publisher = {MITRON Press},
isbn = {973-661-441-7},
}
Bernstein Bases are Optimal, but, sometimes, Lagrange Bases are Better,
R.M. Corless and S.M. Watt, Proc. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2004), Timişoara Romania, September 26-30 2004, MITRON Press, pp. 141-152, ISBN 973-661-441-7.
@inproceedings{SMW-2004-synasc-lagrange,
author = {R.M. Corless and S.M. Watt},
title = {Bernstein Bases are Optimal, but, sometimes, Lagrange Bases are Better},
year = {2004},
booktitle = {6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation},
venue = {Timişoara Romania},
eventdate = {2004-09-26},
pages = {141-152},
publisher = {MITRON Press},
isbn = {973-661-441-7},
}
An Architecture for Distributed Mathematical Web Services,
E. Smirnova, C. So and S.M. Watt, Proc. Mathematical Knowledge Management (Third International Conference MKM 2004), Białoweża Poland, September 19-21 2004, Springer Verlag, LNCS, No. 3119, pp. 363-377, ISBN 3-540-23029-7, DOI 10.1007/978-3-540-27818-4_26.
@inproceedings{SMW-2004-mkm-mathserv,
author = {E. Smirnova and C. So and S.M. Watt},
title = {An Architecture for Distributed Mathematical Web Services},
year = {2004},
booktitle = {Mathematical Knowledge Management (Third International Conference {MKM} 2004)},
venue = {Białoweża Poland},
eventdate = {2004-09-19},
number = {3119},
pages = {363-377},
publisher = {Springer Verlag},
series = {{LNCS}},
doi = {10.1007/978-3-540-27818-4_26},
isbn = {3-540-23029-7},
}
Debugging A High-Level Language via a Unified Interpreter and Compiler Runtime Environment (Extended Version),
J. Cai, M. Moreno Maza, S.M. Watt and M. Dunstan, Proc. Tenth International Conference on Applications of Computer Algebra (ACA 2004), Beaumont Texas, July 21-23 2004, Lamar University,, pp. 125-138, ISBN 0-9759946-0-3.
@inproceedings{SMW-2004-aca-debugger,
author = {J. Cai and M. Moreno Maza and S.M. Watt and M. Dunstan},
title = {Debugging A High-Level Language via a Unified Interpreter and Compiler Runtime Environment (Extended Version)},
year = {2004},
booktitle = {Tenth International Conference on Applications of Computer Algebra},
venue = {Beaumont Texas},
eventdate = {2004-07-21},
pages = {125-138},
publisher = {Lamar University,},
isbn = {0-9759946-0-3},
}
Debugging A High-Level Language via a Unified Interpreter and Compiler Runtime Environment,
J. Cai, M. Moreno Maza, S.M. Watt and M. Dunstan, Proc. Actas de los Encuentros de Algebra Computacional y Aplicaciones (EACA) 2004, Santander Spain, July 1-3 2004, Universitad de Cantabria,, pp. 119-124, ISBN 84-688-6988-04.
@inproceedings{SMW-2004-eaca-debugger,
author = {J. Cai and M. Moreno Maza and S.M. Watt and M. Dunstan},
title = {Debugging A High-Level Language via a Unified Interpreter and Compiler Runtime Environment},
year = {2004},
booktitle = {Actas de los Encuentros de Algebra Computacional y Aplicaciones ({EACA}) 2004},
venue = {Santander Spain},
eventdate = {2004-07-01},
pages = {119-124},
publisher = {Universitad de Cantabria,},
isbn = {84-688-6988-04},
}
A Framework for Using Aldor Libraries with Maple,
C. Oancea and S.M. Watt, Proc. Actas de los Encuentros de Algebra Computacional y Aplicaciones (EACA) 2004, Santander Spain, July 1-3 2004, Universitad de Cantabria,, pp. 219-224, ISBN 84-688-6988-04.
@inproceedings{SMW-2004-eaca-mapal,
author = {C. Oancea and S.M. Watt},
title = {A Framework for Using {Aldor} Libraries with {Maple}},
year = {2004},
booktitle = {Actas de los Encuentros de Algebra Computacional y Aplicaciones ({EACA}) 2004},
venue = {Santander Spain},
eventdate = {2004-07-01},
pages = {219-224},
publisher = {Universitad de Cantabria,},
isbn = {84-688-6988-04},
}
Refereed and Invited Abstracts
Optimizing Compilation for Symbolic-Numeric Computing (Invited),
S.M. Watt, Proc. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2004), Timişoara Romania, September 26-30 2004, MITRON Press, pp. 18, ISBN 973-661-441-7.
@inproceedings{SMW-2004-synasc-snopt,
author = {S.M. Watt},
title = {Optimizing Compilation for Symbolic-Numeric Computing},
year = {2004},
booktitle = {6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation},
venue = {Timişoara Romania},
eventdate = {2004-09-26},
pages = {18},
publisher = {MITRON Press},
isbn = {973-661-441-7},
}
An Approach to Mathematical Notation Selection,
E. Smirnova and S.M. Watt, Proc. Second North American Workshop on Mathematical Knowledge Management (NA-MKM 2004), Phoenix AZ, USA, January 6 2004.
@inproceedings{SMW-2004-namkm-notation,
author = {E. Smirnova and S.M. Watt},
title = {An Approach to Mathematical Notation Selection},
year = {2004},
booktitle = {Second North American Workshop on Mathematical Knowledge Management},
venue = {Phoenix AZ, USA},
eventdate = {2004-01-06},
url = {http://imps.mcmaster.ca/na-mkm-2004/abstracts/smirnova-watt.pdf},
}
Research Reports (not subsequently published elsewhere)
Mathematics on the NET -- CA:MONET,
E. Smirnova and S.M. Watt, Research report, Final Project Report (25 pages), CANARIE E-Content Program, 2004.
@report{SMW-2004-mathematics-net-ca-monet,
author = {E. Smirnova and S.M. Watt},
title = {Mathematics on the {NET} -- {CA}:{MONET}},
year = {2004},
number = {Final Project Report (25 pages)},
institution = {CANARIE E-Content Program},
}
Symbolic Solver Services -- Wrapper Tool,
E. Smirnova and S.M. Watt, Research report, (61 pages), The MONET Consortium (IST-2001-34145), 2004.
@report{SMW-2004-monet-symwrapper,
author = {E. Smirnova and S.M. Watt},
title = {Symbolic Solver Services -- Wrapper Tool},
year = {2004},
number = {(61 pages)},
institution = {The MONET Consortium (IST-2001-34145)},
}
2003
Refereed Conference Papers, Journal Articles and Book Chapters
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms,
W.N. Naylor and S.M. Watt, Annals of Mathematics and Artificial Intelligence, Vol. 38, 2003, 2003, pp. 3-25, DOI 10.1023/a:1022955412266.
@article{SMW-2003-amai-metastyle,
author = {W.N. Naylor and S.M. Watt},
title = {Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms},
year = {2003},
journaltitle = {Annals of Mathematics and Artificial Intelligence},
volume = {38},
pages = {3-25},
doi = {10.1023/a:1022955412266},
issue = {2003},
}
An Exploration of Homotopy Solving in Maple,
K. Hazaveh, D.J. Jeffrey, G.J. Reid, S.M. Watt and A.D. Wittkopf, Proc. The Sixth Asian Symposium on Computer Mathematics (ASCM 2003), Beijing China, April 17-19 2003, pp. 145-162, DOI 10.1142/9789812704436_0012.
@inproceedings{SMW-2003-ascm-homotopy,
author = {K. Hazaveh and D.J. Jeffrey and G.J. Reid and S.M. Watt and A.D. Wittkopf},
title = {An Exploration of Homotopy Solving in {Maple}},
year = {2003},
booktitle = {The Sixth Asian Symposium on Computer Mathematics},
venue = {Beijing China},
eventdate = {2003-04-17},
pages = {145-162},
doi = {10.1142/9789812704436_0012},
}
Hybrid Methods,
R.M. Corless, E.L. Kaltofen and S.M. Watt, in Handbook of Computer Algebra, chapter 2.12.3, J. Grabmeier, E. Kaltofen, V. Weispfenning (eds.), Springer Verlag, Heidelberg 2003, 2003, pp. 112-125, ISBN 3-540-65466-6.
@incollection{SMW-2003-cahand-symnum,
author = {R.M. Corless and E.L. Kaltofen and S.M. Watt},
title = {Hybrid Methods},
year = {2003},
booktitle = {Handbook of Computer Algebra},
editor = {J. Grabmeier and E. Kaltofen and V. Weispfenning},
chapter = {2.12.3},
pages = {112-125},
publisher = {Springer Verlag, Heidelberg 2003},
isbn = {3-540-65466-6},
}
MathML,
S.M. Watt, in Handbook of Computer Algebra, chapter 2.19.7, J. Grabmeier, E. Kaltofen, V. Weispfenning (eds.), Springer Verlag, Heidelberg 2003, 2003, pp. 154-160, ISBN 3-540-65466-6.
@incollection{SMW-2003-cahand-mathml,
author = {S.M. Watt},
title = {{MathML}},
year = {2003},
booktitle = {Handbook of Computer Algebra},
editor = {J. Grabmeier and E. Kaltofen and V. Weispfenning},
chapter = {2.19.7},
pages = {154-160},
publisher = {Springer Verlag, Heidelberg 2003},
isbn = {3-540-65466-6},
}
Aldor,
S.M. Watt, in Handbook of Computer Algebra, chapter 4.1.2, J. Grabmeier, E. Kaltofen, V. Weispfenning (eds.), Springer Verlag, Heidelberg 2003, 2003, pp. 265-270, ISBN 3-540-65466-6.
@incollection{SMW-2003-cahand-aldor,
author = {S.M. Watt},
title = {{Aldor}},
year = {2003},
booktitle = {Handbook of Computer Algebra},
editor = {J. Grabmeier and E. Kaltofen and V. Weispfenning},
chapter = {4.1.2},
pages = {265-270},
publisher = {Springer Verlag, Heidelberg 2003},
isbn = {3-540-65466-6},
}
Standard Definitions
Mathematical Markup Language (MathML) Version 2.0 (Second Edition),
D. Carlisle, P. Ion, R. Miner, N. Poppelier (editors), R. Ausbrooks, S. Buswell, D. Carlisle, S. Dalmas, S. Devitt, A. Diaz, M. Froumentin, R. Hunter, P. Ion, M. Kohlhase, R. Miner, N. Poppelier, B. Smith, N. Soiffer, R. Sutor, S. Watt, W3C Recommendation 21 October 2003, (541 pages), http://www.w3.org/TR/2003/REC-MathML2-20031021, World Wide Web Consortium.
@standard{SMW-2003-mathematical-markup-language-mathml-version-2-0,
author = {R. Ausbrooks and S. Buswell and D. Carlisle and S. Dalmas and S. Devitt and A. Diaz and M. Froumentin and R. Hunter and P. Ion and M. Kohlhase and R. Miner and N. Poppelier and B. Smith and N. Soiffer and R. Sutor and S. Watt},
title = {Mathematical Markup Language ({MathML}) Version 2.0 (Second Edition)},
year = {2003},
editor = {D. Carlisle and P. Ion and R. Miner and N. Poppelier},
pagetotal = {541},
publisher = {World Wide Web Consortium},
url = {http://www.w3.org/TR/2003/REC-MathML2-20031021},
issue = {W3C Recommendation 21 October 2003},
}
Books
Aldor User Guide,
S.M. Watt, M. Moreno Maza, Aldor.org 2003, (302 pages).
@book{SMW-2003-aldor-user-guide,
author = {S.M. Watt and M. Moreno Maza},
title = {{Aldor} User Guide},
year = {2003},
pagetotal = {302},
publisher = {Aldor.org 2003},
url = {http://www.aldor.org/docs/aldorug.pdf},
}
Selected Other Contributions
Approximate Computation of Pseudovarieties,
R.M. Corless, Hiroshi Kai and S.M. Watt, SIGSAM Bulletin, Vol. 37, No. 3, Issue 145, September 2003, 2003, pp. 67-71.
@misc{SMW-2003-sigsam-pseudovar,
author = {R.M. Corless and Hiroshi Kai and S.M. Watt},
title = {Approximate Computation of Pseudovarieties},
year = {2003},
journaltitle = {{SIGSAM} Bulletin},
volume = {37},
number = {3},
pages = {67-71},
issue = {Issue 145, September 2003},
}
2002
Refereed Conference Papers, Journal Articles and Book Chapters
Reasoning about the Elementary Functions of Complex Analysis,
R.J. Bradford, R.M. Corless, J.H. Davenport, D.J. Jeffrey and S.M. Watt, Annals of Mathematics and Artificial Intelligence, Vol. 36, 2002, 2002, pp. 303-318, DOI 10.1023/A:1016007415899.
@article{SMW-2002-amai-reasoning,
author = {R.J. Bradford and R.M. Corless and J.H. Davenport and D.J. Jeffrey and S.M. Watt},
title = {Reasoning about the Elementary Functions of Complex Analysis},
year = {2002},
journaltitle = {Annals of Mathematics and Artificial Intelligence},
volume = {36},
pages = {303-318},
doi = {10.1023/A:1016007415899},
issue = {2002},
}
Conserving Implicit Mathematical Semantics in Conversion between TeX and MathML,
S.M. Watt, TUGBoat, Vol. 23, No. 1, 2002, 2002, pp. 108.
@article{SMW-2002-tug-textomml,
author = {S.M. Watt},
title = {Conserving Implicit Mathematical Semantics in Conversion between {TeX} and {MathML}},
year = {2002},
journaltitle = {TUGBoat},
volume = {23},
number = {1},
pages = {108},
issue = {2002},
}
A Study in the Integration of Computer Algebra Systems: Memory Management in a Maple-Aldor Environment (Invited),
S.M. Watt, Proc. International Congress of Mathematical Software (ICMS), Beijing China, August 17-19 2002, World Scientific 2002, pp. 405-410, DOI 10.1142/9789812777171_0042.
@inproceedings{SMW-2002-icms-maldormm,
author = {S.M. Watt},
title = {A Study in the Integration of Computer Algebra Systems: Memory Management in a {Maple}-{Aldor} Environment},
year = {2002},
booktitle = {International Congress of Mathematical Software},
venue = {Beijing China},
eventdate = {2002-08-17},
pages = {405-410},
publisher = {World Scientific 2002},
doi = {10.1142/9789812777171_0042},
}
Exploiting Implicit Mathematical Semantics in Conversion between TeX and MathML,
S.M. Watt, Proc. Internet Accessible Mathematical Communication (IAMC 2002), Lille France, July 2002, (13 pages).
@inproceedings{SMW-2002-iamc-textomml,
author = {S.M. Watt},
title = {Exploiting Implicit Mathematical Semantics in Conversion between {TeX} and {MathML}},
year = {2002},
booktitle = {Internet Accessible Mathematical Communication},
venue = {Lille France},
eventdate = {2002-07},
pagetotal = {13},
url = {http://www.symbolicnet.org/conferences/iamc02},
}
A Family of Modular XML Schemas for MathML,
S.M. Watt and Yuzhen Xie, Proc. Internet Accessible Mathematical Communication (IAMC 2002), Lille France, July 2002, (5 pages).
@inproceedings{SMW-2002-iamc-mmlschema,
author = {S.M. Watt and Yuzhen Xie},
title = {A Family of Modular {XML} Schemas for {MathML}},
year = {2002},
booktitle = {Internet Accessible Mathematical Communication},
venue = {Lille France},
eventdate = {2002-07},
pagetotal = {5},
url = {http://www.symbolicnet.org/conferences/iamc02},
}
An Interactive Mathematical Handwriting Recognizer for the Pocket PC,
Bo Wan and S.M. Watt, Proc. International Conference on MathML and Math on the Web (MathML 2002), Chicago USA, June 28-30 2002, (7 pages).
@inproceedings{SMW-2002-mathmlwww-pocketpc,
author = {Bo Wan and S.M. Watt},
title = {An Interactive Mathematical Handwriting Recognizer for the Pocket {PC}},
year = {2002},
booktitle = {International Conference on {MathML} and Math on the Web},
venue = {Chicago USA},
eventdate = {2002-06-28},
pagetotal = {7},
url = {http://www.mathmlconference.org/2002},
}
Content-Faithful Transformations for MathML,
S. Huerter, I. Rodionov and S.M. Watt, Proc. International Conference on MathML and Math on the Web (MathML 2002), Chicago USA, June 28-30 2002, (9 pages).
@inproceedings{SMW-2002-mathmlwww-cfaithful,
author = {S. Huerter and I. Rodionov and S.M. Watt},
title = {Content-Faithful Transformations for {MathML}},
year = {2002},
booktitle = {International Conference on {MathML} and Math on the Web},
venue = {Chicago USA},
eventdate = {2002-06-28},
pagetotal = {9},
url = {http://www.mathmlconference.org/2002},
}
A Lisp Subset Based on MathML,
Yuzhen Xie, S.M. Watt, and L. Padovani, Proc. International Conference on MathML and Math on the Web (MathML 2002), Chicago USA, June 28-30 2002, (7 pages).
@inproceedings{SMW-2002-mathmlwww-lispsubset,
author = {Yuzhen Xie and S.M. Watt and L. Padovani},
title = {A {Lisp} Subset Based on {MathML}},
year = {2002},
booktitle = {International Conference on {MathML} and Math on the Web},
venue = {Chicago USA},
eventdate = {2002-06-28},
pagetotal = {7},
url = {http://www.mathmlconference.org/2002},
}
A Geometric-Numeric Algorithm for Absolute Factorization of Multivariate Polynomials,
R.M. Corless, A. Galligo, I.S. Kotsireas and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 2002), Lille France, July 7-10 2002, ACM Press 2002, pp. 37-45, DOI 10.1145/780506.780512.
@inproceedings{SMW-2002-issac-geofact,
author = {R.M. Corless and A. Galligo and I.S. Kotsireas and S.M. Watt},
title = {A Geometric-Numeric Algorithm for Absolute Factorization of Multivariate Polynomials},
year = {2002},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Lille France},
eventdate = {2002-07-07},
pages = {37-45},
publisher = {ACM Press 2002},
doi = {10.1145/780506.780512},
}
Patents
Computer-Program Compilers Comprising a Program Augmentation Capability, U.S. Patent Number 6,397,380,
C.J. Bittner, B.M. Grossman, R.D. Jenks, S.M. Watt and R.Q. Williams, International Class G06F 009/45.
@patent{SMW-2002-us-6397380,
author = {C.J. Bittner and B.M. Grossman and R.D. Jenks and S.M. Watt and R.Q. Williams},
title = {Computer-Program Compilers Comprising a Program Augmentation Capability, U.S. Patent Number 6,397,380},
year = {2002},
note = {International Class G06F 009/45},
}
2001
Refereed Conference Papers, Journal Articles and Book Chapters
Meta Stylesheets for the Conversion of Mathematical Documents into Multiple Forms,
W.N. Naylor and S.M. Watt, Proc. International Workshop on Mathematical Knowledge Management (MKM 2001), Linz Austria, September 24-26 2001.
@inproceedings{SMW-2001-mkm-metastyle,
author = {W.N. Naylor and S.M. Watt},
title = {Meta Stylesheets for the Conversion of Mathematical Documents into Multiple Forms},
year = {2001},
booktitle = {International Workshop on Mathematical Knowledge Management},
venue = {Linz Austria},
eventdate = {2001-09-24},
url = {http://www.emis.de/proceedings/MKM2001},
}
On the Relationship Between OpenMath and MathML,
W.N. Naylor and S.M. Watt, Proc. Internet Accessible Mathematical Communication (IAMC 2001), London Canada, July 22 2001.
@inproceedings{SMW-2001-iamc-ommml,
author = {W.N. Naylor and S.M. Watt},
title = {On the Relationship Between {OpenMath} and {MathML}},
year = {2001},
booktitle = {Internet Accessible Mathematical Communication},
venue = {London Canada},
eventdate = {2001-07-22},
url = {http://icm.mcs.kent.edu/research/iamc01proceedings.html},
}
Towards Factoring Bivariate Approximate Polynomials,
R.M. Corless, M.W. Giesbrecht, M. van Hoeij, I.S. Kotsireas and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 2001), London Candada, July 23-25 2001, ACM Press 2001, pp. 85-92, DOI 10.1145/384101.384114.
@inproceedings{SMW-2001-issac-approxfact,
author = {R.M. Corless and M.W. Giesbrecht and M. van Hoeij and I.S. Kotsireas and S.M. Watt},
title = {Towards Factoring Bivariate Approximate Polynomials},
year = {2001},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {London Candada},
eventdate = {2001-07-23},
pages = {85-92},
publisher = {ACM Press 2001},
doi = {10.1145/384101.384114},
}
Standard Definitions
Mathematical Markup Language (MathML) Version 2.0,
D. Carlisle, P. Ion, N. Poppelier, R. Miner (editors), R. Ausbrooks, S. Buswell, S. Dalmas, S. Devitt, A. Diaz, R. Hunter, B. Smith, N. Soiffer, R. Sutor, S. Watt, W3C Recommendation 21-February-2001, http://www.w3.org/TR/2001/REC-MathML2-20010221, World Wide Web Consortium.
@standard{SMW-2001-mathematical-markup-language-mathml-version-2-0,
author = {R. Ausbrooks and S. Buswell and S. Dalmas and S. Devitt and A. Diaz and R. Hunter and B. Smith and N. Soiffer and R. Sutor and S. Watt},
title = {Mathematical Markup Language ({MathML}) Version 2.0},
year = {2001},
editor = {D. Carlisle and P. Ion and N. Poppelier and R. Miner},
publisher = {World Wide Web Consortium},
url = {http://www.w3.org/TR/2001/REC-MathML2-20010221},
issue = {W3C Recommendation 21-February-2001},
}
Patents
Computer-Program Compilers Comprising a Program Augmentation Capability, U.S. Patent Number 6,223,341,
C.J. Bittner, B.M. Grossman, R.D. Jenks, S.M. Watt and R.Q. Williams, International Class G06F 009/45.
@patent{SMW-2001-us-6223341,
author = {C.J. Bittner and B.M. Grossman and R.D. Jenks and S.M. Watt and R.Q. Williams},
title = {Computer-Program Compilers Comprising a Program Augmentation Capability, U.S. Patent Number 6,223,341},
year = {2001},
note = {International Class G06F 009/45},
}
2000
Refereed Conference Papers, Journal Articles and Book Chapters
“According to Abramowitz and Stegun” or arccoth needn't be uncouth,
R.M. Corless, J.H. Davenport, D.J. Jeffrey and S.M. Watt, ACM SIGSAM Bulletin, Vol. 34, No. 2, Issue 132 June 2000 (Special Issue on OpenMath), 2000, pp. 58-65, DOI 10.1145/362001.362023.
@article{SMW-2000-sigsam-according,
author = {R.M. Corless and J.H. Davenport and D.J. Jeffrey and S.M. Watt},
title = {“According to Abramowitz and Stegun” or arccoth needn't be uncouth},
year = {2000},
journaltitle = {{ACM} {SIGSAM} Bulletin},
volume = {34},
number = {2},
pages = {58-65},
doi = {10.1145/362001.362023},
issue = {Issue 132 June 2000 (Special Issue on OpenMath)},
}
Reasoning about the Elementary Functions of Complex Analysis,
R.M. Corless, J.H. Davenport, D.J. Jeffrey, G. Litt and S.M. Watt, Proc. Artificial Intelligence with Symbolic Computation (AISC 2000), Madrid, Spain, July 17-19 2000, Springer Verlag, Lecture Notes in Artificial Intelligence, No. 1930, pp. 115-126, DOI 10.1007/3-540-44990-6_9.
@inproceedings{SMW-2000-aisc-reasoning,
author = {R.M. Corless and J.H. Davenport and D.J. Jeffrey and G. Litt and S.M. Watt},
title = {Reasoning about the Elementary Functions of Complex Analysis},
year = {2000},
booktitle = {Artificial Intelligence with Symbolic Computation},
venue = {Madrid, Spain},
eventdate = {2000-07-17},
number = {1930},
pages = {115-126},
publisher = {Springer Verlag},
series = {Lecture Notes in Artificial Intelligence},
doi = {10.1007/3-540-44990-6_9},
}
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra,
R.M. Corless, M.W. Giesbrecht, I. Kotsireas and S.M. Watt, Proc. Artificial Intelligence with Symbolic Computation (AISC 2000), Madrid, Spain, July 17-19 2000, Springer Verlag, Lecture Notes in Artificial Intelligence, No. 1930, pp. 174-183, DOI 10.1007/3-540-44990-6_13.
@inproceedings{SMW-2000-aisc-implicitize,
author = {R.M. Corless and M.W. Giesbrecht and I. Kotsireas and S.M. Watt},
title = {Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra},
year = {2000},
booktitle = {Artificial Intelligence with Symbolic Computation},
venue = {Madrid, Spain},
eventdate = {2000-07-17},
number = {1930},
pages = {174-183},
publisher = {Springer Verlag},
series = {Lecture Notes in Artificial Intelligence},
doi = {10.1007/3-540-44990-6_13},
}
Research Reports (not subsequently published elsewhere)
Content-Faithful Stylesheets for MathML,
I. Rodionov and S.M. Watt, Research report, TR-00-14, Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario, 2000, (15 pages).
@report{SMW-2000-orcca-cfaithful,
author = {I. Rodionov and S.M. Watt},
title = {Content-Faithful Stylesheets for {MathML}},
year = {2000},
number = {TR-00-14},
pagetotal = {15},
institution = {Ontario Research Centre for Computer Algebra (ORCCA), University of Western Ontario},
}
1999
Refereed Conference Papers, Journal Articles and Book Chapters
Approximate Polynomial Decomposition,
R.M. Corless, M.W. Giesbrecht, D.J. Jeffrey and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1999), Vancouver, Canada, July 28-31 1999, ACM Press 1999, pp. 213-219, DOI 10.1145/309831.309939.
@inproceedings{SMW-1999-issac-apdecomp,
author = {R.M. Corless and M.W. Giesbrecht and D.J. Jeffrey and S.M. Watt},
title = {Approximate Polynomial Decomposition},
year = {1999},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Vancouver, Canada},
eventdate = {1999-07-28},
pages = {213-219},
publisher = {ACM Press 1999},
doi = {10.1145/309831.309939},
}
Standard Definitions
Mathematical Markup Language (MathML) 1.01 Specification,
P. Ion, R. Miner (editors), S. Buswell, S. Devitt, A. Diaz, P. Ion, R. Miner, N. Poppelier, B. Smith, N. Soiffer, R. Sutor and S. Watt, W3C Recommendation 07-July-1999, http://www.w3.org/1999/07/REC-MathML-19990707, World Wide Web Consortium.
@standard{SMW-1999-mathematical-markup-language-mathml-1-01-specification,
author = {S. Buswell and S. Devitt and A. Diaz and P. Ion and R. Miner and N. Poppelier and B. Smith and N. Soiffer and R. Sutor and S. Watt},
title = {Mathematical Markup Language ({MathML}) 1.01 Specification},
year = {1999},
editor = {P. Ion and R. Miner},
publisher = {World Wide Web Consortium},
url = {http://www.w3.org/1999/07/REC-MathML-19990707},
issue = {W3C Recommendation 07-July-1999},
}
Refereed and Invited Abstracts
Interoperability of Languages with Generics, using Aldor, C++ and Java,
Y. Chicha, F. Defaix and S.M. Watt, Proc. 1999 Frisco Workshop, Oxford, UK, April 28-29 1999, FRISCO Consortium ESPRIT LTR 21.024, pp. 9-10.
@inproceedings{SMW-1999-frisco-interop,
author = {Y. Chicha and F. Defaix and S.M. Watt},
title = {Interoperability of Languages with Generics, using {Aldor}, C++ and {Java}},
year = {1999},
booktitle = {1999 Frisco Workshop},
venue = {Oxford, UK},
eventdate = {1999-04-28},
pages = {9-10},
publisher = {FRISCO Consortium ESPRIT LTR 21.024},
url = {http://www.nag.co.uk/Projects/Frisco/ws/proceedings.ps},
issue = {Report 5.6.1},
}
Approximate Polynomial Decomposition,
R.M. Corless, M.W. Giesbrecht, D.J. Jeffrey, Xianping Liu and S.M. Watt, Proc. 1999 Frisco Workshop, Oxford, UK, April 28-29 1999, FRISCO Consortium ESPRIT LTR 21.024, pp. 6-8.
@inproceedings{SMW-1999-frisco-apdecomp,
author = {R.M. Corless and M.W. Giesbrecht and D.J. Jeffrey and Xianping Liu and S.M. Watt},
title = {Approximate Polynomial Decomposition},
year = {1999},
booktitle = {1999 Frisco Workshop},
venue = {Oxford, UK},
eventdate = {1999-04-28},
pages = {6-8},
publisher = {FRISCO Consortium ESPRIT LTR 21.024},
url = {http://www.nag.co.uk/Projects/Frisco/ws/proceedings.ps},
issue = {Report 5.6.1},
}
Research Reports (not subsequently published elsewhere)
Automation of the Aldor/C++ Interface: User's Guide,
Y. Chicha, F. Defaix and S.M. Watt, Research report, D2.2.2c (119 pages), FRISCO Consoritum, 1999, (also UWO Dept of Computer Science TR-537).
@report{SMW-1999-frisco-aldorcpp-ug,
author = {Y. Chicha and F. Defaix and S.M. Watt},
title = {Automation of the {Aldor}/C++ Interface: User's Guide},
year = {1999},
number = {D2.2.2c (119 pages)},
institution = {FRISCO Consoritum},
note = {(also UWO Dept of Computer Science TR-537)},
}
Automation of the Aldor/C++ Interface: Technical Reference,
Y. Chicha, F. Defaix and S.M. Watt, Research report, D2.2.2b (21 pages), FRISCO Consoritum, 1999, (also UWO Dept of Computer Science TR-538).
@report{SMW-1999-frisco-aldorcpp-tr,
author = {Y. Chicha and F. Defaix and S.M. Watt},
title = {Automation of the {Aldor}/C++ Interface: Technical Reference},
year = {1999},
number = {D2.2.2b (21 pages)},
institution = {FRISCO Consoritum},
note = {(also UWO Dept of Computer Science TR-538)},
}
Selected Other Contributions
Examples of MathML,
S.M. Watt and Xuehong Li, ACM SIGSAM Bulletin, Vol. 33, No. 4, Issue 130, December 1999, 1999.
@misc{SMW-1999-sigsam-mathml,
author = {S.M. Watt and Xuehong Li},
title = {Examples of {MathML}},
year = {1999},
journaltitle = {{ACM} {SIGSAM} Bulletin},
volume = {33},
number = {4},
issue = {Issue 130, December 1999},
}
1998
Standard Definitions
Mathematical Markup Language (MathML) 1.0 Specification,
P. Ion, R. Miner (editors), S. Buswell, S. Devitt, A. Diaz, N. Poppelier, B. Smith, N. Soiffer, R. Sutor and S. Watt, W3C Recommendation 07-April-1998, http://www.w3.org/TR/1998/REC-MathML-19980407, World Wide Web Consortium.
@standard{SMW-1998-mathematical-markup-language-mathml-1-0-specification,
author = {S. Buswell and S. Devitt and A. Diaz and N. Poppelier and B. Smith and N. Soiffer and R. Sutor and S. Watt},
title = {Mathematical Markup Language ({MathML}) 1.0 Specification},
year = {1998},
editor = {P. Ion and R. Miner},
publisher = {World Wide Web Consortium},
url = {http://www.w3.org/TR/1998/REC-MathML-19980407},
issue = {W3C Recommendation 07-April-1998},
}
Editorial Works
Symbolic-Numeric Algebra for Polynomials,
S.M. Watt and H.J. Stetter (editors), Journal of Symbolic Computation (Special Issue), Vol. 26, No. 6, 1998.
@collection{SMW-1998-jsc-snapintro,
title = {Symbolic-Numeric Algebra for Polynomials},
year = {1998},
journaltitle = {Journal of Symbolic Computation (Special Issue)},
editor = {S.M. Watt and H.J. Stetter},
volume = {26},
number = {6},
}
Research Reports (not subsequently published elsewhere)
A C++ to XML Translator,
Y. Chicha, F. Defaix and S.M. Watt, Research report, D2.2.2a (50 pages), FRISCO Consoritum, 1998, (also UWO Dept of Computer Science TR-536).
@report{SMW-1998-frisco-cppxml,
author = {Y. Chicha and F. Defaix and S.M. Watt},
title = {A C++ to {XML} Translator},
year = {1998},
number = {D2.2.2a (50 pages)},
institution = {FRISCO Consoritum},
note = {(also UWO Dept of Computer Science TR-536)},
}
Selected Other Contributions
Report on the SNAP minisymposium at SIAM '98,
R.M. Corless and S.M. Watt, ACM SIGSAM Bulletin, Vol. 32, No. 2, Issue 124, 1998, 1998, pp. 35-37.
@misc{SMW-1998-sigsam-snap,
author = {R.M. Corless and S.M. Watt},
title = {Report on the {SNAP} minisymposium at {SIAM} '98},
year = {1998},
journaltitle = {{ACM} {SIGSAM} Bulletin},
volume = {32},
number = {2},
pages = {35-37},
issue = {Issue 124, 1998},
}
1997
Refereed Conference Papers, Journal Articles and Book Chapters
A Numerical Absolute Primality Test for Bivariate Polynomials,
A. Galligo and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1997), Kihei, Hawaii, USA, July 21-23 1997, ACM Press 1997, pp. 217-224, DOI 10.1145/258726.258788.
@inproceedings{SMW-1997-issac-ptest,
author = {A. Galligo and S.M. Watt},
title = {A Numerical Absolute Primality Test for Bivariate Polynomials},
year = {1997},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Kihei, Hawaii, USA},
eventdate = {1997-07-21},
pages = {217-224},
publisher = {ACM Press 1997},
doi = {10.1145/258726.258788},
}
An OpenMath v1.0 Implementation,
S. Dalmas, M. Gaëtano and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1997), Kihei, Hawaii, USA, July 21-23 1997, ACM Press 1997, pp. 241-248.
@inproceedings{SMW-1997-issac-openmath,
author = {S. Dalmas and M. Gaëtano and S.M. Watt},
title = {An {OpenMath} v1.0 Implementation},
year = {1997},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Kihei, Hawaii, USA},
eventdate = {1997-07-21},
pages = {241-248},
publisher = {ACM Press 1997},
}
Research Reports (not subsequently published elsewhere)
An Object Model Correspondence for Aldor and C++,
M. Gaëtano and S.M. Watt, Research report, D2.2.1 (18 pages), FRISCO Consoritum, 1997.
@report{SMW-1997-frisco-aldorcppobs,
author = {M. Gaëtano and S.M. Watt},
title = {An Object Model Correspondence for {Aldor} and C++},
year = {1997},
number = {D2.2.1 (18 pages)},
institution = {FRISCO Consoritum},
}
An HTML-Native Math Proposal,
S. Buswell, S. Dalmas, S. Devitt, A. Diaz, M. Gaëtano, R. Sutor, T. van Belle and S. Watt, Research report, W3C Working Group on HTML Mathematics, March 1997.
@report{SMW-1997-w3c-htmlmath,
author = {S. Buswell and S. Dalmas and S. Devitt and A. Diaz and M. Gaëtano and R. Sutor and T. van Belle and S. Watt},
title = {An {HTML}-Native Math Proposal},
year = {1997},
date = {March 1997},
institution = {W3C Working Group on HTML Mathematics},
}
1996
Refereed and Invited Abstracts
Absolute Factorization of Bivariate Polynomials with Floating Point Coefficients,
A. Galligo and S.M. Watt, 1996 Symposium on Symbolic-Numeric Algebra for Polynomials, Sophia Antipolis, France, July 15-17 1996, INRIA 1996.
@inproceedings{SMW-1996-snap-absfact,
author = {A. Galligo and S.M. Watt},
title = {Absolute Factorization of Bivariate Polynomials with Floating Point Coefficients},
year = {1996},
eventtitle = {1996 Symposium on Symbolic-Numeric Algebra for Polynomials},
venue = {Sophia Antipolis, France},
eventdate = {1996-07-15},
publisher = {INRIA 1996},
url = {http://www-sop.inria.fr/galaad/conf/1996/SNAP96/procs.ps},
}
1995
Refereed Conference Papers, Journal Articles and Book Chapters
The Singular Value Decomposition for Approximate Polynomial Systems,
R.M. Corless, P.M. Gianni, B.M. Trager and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1995), Montreal, Canada, July 10-12 1995, ACM Press 1995, pp. 195-207, DOI 10.1145/220346.220371.
@inproceedings{SMW-1995-issac-svd,
author = {R.M. Corless and P.M. Gianni and B.M. Trager and S.M. Watt},
title = {The Singular Value Decomposition for Approximate Polynomial Systems},
year = {1995},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Montreal, Canada},
eventdate = {1995-07-10},
pages = {195-207},
publisher = {ACM Press 1995},
doi = {10.1145/220346.220371},
}
On the Implementation of Dynamic Evaluation,
P.A. Broadbery, T. Gómez-Díaz and S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1995), Montreal, Canada, July 10-12 1995, ACM Press 1995, pp. 77-84, DOI 10.1145/220346.220356.
@inproceedings{SMW-1995-issac-dynev,
author = {P.A. Broadbery and T. Gómez-Díaz and S.M. Watt},
title = {On the Implementation of Dynamic Evaluation},
year = {1995},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Montreal, Canada},
eventdate = {1995-07-10},
pages = {77-84},
publisher = {ACM Press 1995},
doi = {10.1145/220346.220356},
}
1994
Refereed Conference Papers, Journal Articles and Book Chapters
A First Report on the A♯ Compiler,
S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, J.M. Steinbach and R.S. Sutor, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1994), Oxford, England, July 20-22 1994, ACM Press 1994, pp. 25-31, DOI 10.1145/190347.190356. (Extended version R6).
@inproceedings{SMW-1994-issac-asharp,
author = {S.M. Watt and P.A. Broadbery and S.S. Dooley and P. Iglio and J.M. Steinbach and R.S. Sutor},
title = {A First Report on the {$A^{\sharp}$} Compiler},
year = {1994},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Oxford, England},
eventdate = {1994-07-20},
pages = {25-31},
publisher = {ACM Press 1994},
doi = {10.1145/190347.190356},
}
Books
AXIOM Library Compiler User Guide,
S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach and R.S. Sutor, The Numerical Algorithms Group, Ltd., Oxford 1994, (xx + 508 pages), ISBN 1-85206-106-5.
@book{SMW-1994-axiom-library-compiler-user-guide,
author = {S.M. Watt and P.A. Broadbery and S.S. Dooley and P. Iglio and S.C. Morrison and J.M. Steinbach and R.S. Sutor},
title = {{AXIOM} Library Compiler User Guide},
year = {1994},
pagetotal = {xx + 508},
publisher = {The Numerical Algorithms Group, Ltd., Oxford 1994},
isbn = {1-85206-106-5},
}
Research Reports (not subsequently published elsewhere)
A First Report on the A♯ Compiler (including benchmarks)(Label R6),
S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach and R.S. Sutor, Research report, RC 19529, IBM Research, 1994.
@report{SMW-1994-ibmtr-asharp,
author = {S.M. Watt and P.A. Broadbery and S.S. Dooley and P. Iglio and S.C. Morrison and J.M. Steinbach and R.S. Sutor},
title = {A First Report on the {$A^{\sharp}$} Compiler (including benchmarks)},
year = {1994},
number = {RC 19529},
institution = {IBM Research},
}
FOAM: A First Order Abstract Machine, V 0.35,
S.M. Watt, P.A. Broadbery, P. Iglio, S.C. Morrison and J.M. Steinbach, Research report, RC 19528, IBM Research, 1994.
@report{SMW-1994-ibmtr-foam,
author = {S.M. Watt and P.A. Broadbery and P. Iglio and S.C. Morrison and J.M. Steinbach},
title = {{FOAM}: A First Order Abstract Machine, V 0.35},
year = {1994},
number = {RC 19528},
institution = {IBM Research},
}
A♯ Language Reference, V0.35,
S.M. Watt, Research Report, RC 19530, IBM, 1994.
@report{SMW-1994-ibmtr-asharp-reference,
author = {S.M. Watt},
title = {{$A^{\sharp}$} Language Reference, {V0}.35},
year = {1994},
number = {RC 19530},
institution = {IBM},
type = {Research Report},
}
1993
Refereed Conference Papers, Journal Articles and Book Chapters
Algebraic Simplification and Automatic Differentiation (Invited),
S.M. Watt, Proc. Workshop Report on the First Theory Institute on Computational Differentiation, Argonne National Laboratory, USA, May 24-26 1993, ANL/MCS-TM-183, pp. 34-35.
@inproceedings{SMW-1993-ad-simpl,
author = {S.M. Watt},
title = {Algebraic Simplification and Automatic Differentiation},
year = {1993},
booktitle = {Workshop Report on the First Theory Institute on Computational Differentiation},
venue = {Argonne National Laboratory, USA},
eventdate = {1993-05-24},
pages = {34-35},
publisher = {ANL/MCS-TM-183},
}
1992
Refereed Conference Papers, Journal Articles and Book Chapters
Some Examples of Domains and Packages,
S.M. Watt and R.S. Sutor, in Axiom: The Scientific Computation System, chapter 9, R.D. Jenks and R.S. Sutor, Springer Verlag, New York 1992, 1992, pp. 309-480, ISBN 0-387-97885-0, DOI 10.1007/978-1-4612-2940-7_11.
@incollection{SMW-1992-axiom-domex,
author = {S.M. Watt and R.S. Sutor},
title = {Some Examples of Domains and Packages},
year = {1992},
booktitle = {{Axiom}: The Scientific Computation System},
bookauthor = {R.D. Jenks and R.S. Sutor},
chapter = {9},
pages = {309-480},
publisher = {Springer Verlag, New York 1992,},
doi = {10.1007/978-1-4612-2940-7_11},
isbn = {0-387-97885-0},
}
Books
First Leaves: A Tutorial Introduction to Maple V,
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt, Springer Verlag New York 1992, (xviii + 253 pages), ISBN 0-387-97621-3, DOI 10.1007/978-1-4615-6996-1.
@book{SMW-1992-first-leaves-tutorial-introduction-maple-v,
author = {B.W. Char and K.O. Geddes and G.H. Gonnet and B.L. Leong and M.B. Monagan and S.M. Watt},
title = {First Leaves: A Tutorial Introduction to {Maple} V},
year = {1992},
pagetotal = {xviii + 253},
publisher = {Springer Verlag New York 1992},
doi = {10.1007/978-1-4615-6996-1},
isbn = {0-387-97621-3},
}
1991
Books
Maple V Language Reference Manual,
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt, Springer Verlag New York 1991, (xv + 267 pages), ISBN 0-387-97622-1, DOI 10.1007/978-1-4615-7386-9.
@book{SMW-1991-maple-v-language-reference-manual,
author = {B.W. Char and K.O. Geddes and G.H. Gonnet and B.L. Leong and M.B. Monagan and S.M. Watt},
title = {{Maple} V Language Reference Manual},
year = {1991},
pagetotal = {xv + 267},
publisher = {Springer Verlag New York 1991},
doi = {10.1007/978-1-4615-7386-9},
isbn = {0-387-97622-1},
}
Maple V Library Reference Manual,
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt, Springer Verlag New York 1991, (xxv + 698 pages), ISBN 0-387-97592-6, DOI 10.1007/978-1-4757-2133-1.
@book{SMW-1991-maple-v-library-reference-manual,
author = {B.W. Char and K.O. Geddes and G.H. Gonnet and B.L. Leong and M.B. Monagan and S.M. Watt},
title = {{Maple} V Library Reference Manual},
year = {1991},
pagetotal = {xxv + 698},
publisher = {Springer Verlag New York 1991},
doi = {10.1007/978-1-4757-2133-1},
isbn = {0-387-97592-6},
}
Editorial Works
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation,
S. M. Watt (editors), ACM Press New York, 1991, ISBN 0-89791-437-6, DOI 10.1145/120694.
@collection{SMW-1991-proceedings-1991-international-symposium-symbolic-algebraic-computation,
title = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation},
year = {1991},
editor = {S. M. Watt},
publisher = {ACM Press New York},
doi = {10.1145/120694},
isbn = {0-89791-437-6},
}
1990
Refereed Conference Papers, Journal Articles and Book Chapters
The Scratchpad II Type System: Domains and Subdomains,
S.M. Watt, R.D. Jenks, R.S. Sutor and B.M. Trager, Proc. Computing Tools For Scientific Problem Solving, Academic Press 1990, pp. 63-82.
@inproceedings{SMW-1990-miola-spadtypes,
author = {S.M. Watt and R.D. Jenks and R.S. Sutor and B.M. Trager},
title = {The Scratchpad {II} Type System: Domains and Subdomains},
year = {1990},
booktitle = {Computing Tools For Scientific Problem Solving},
editor = {A. Miola},
pages = {63-82},
publisher = {Academic Press 1990},
}
1989
Books
First Leaves for the Macintosh: A Tutorial Introduction to Maple,
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt, Brooks-Cole, Pacific Grove, California, 1989, ISBN 0-534-10222-0.
@book{SMW-1989-first-leaves-macintosh-tutorial-introduction-maple,
author = {B.W. Char and K.O. Geddes and G.H. Gonnet and B.L. Leong and M.B. Monagan and S.M. Watt},
title = {First Leaves for the Macintosh: A Tutorial Introduction to {Maple}},
year = {1989},
publisher = {Brooks-Cole, Pacific Grove, California, 1989},
isbn = {0-534-10222-0},
}
Editorial Works
Computers and Mathematics,
E. Kaltofen and S.M. Watt (editors), Springer Verlag New York, 1989, ISBN 0-387-97019-3.
@collection{SMW-1989-computers-mathematics,
title = {Computers and Mathematics},
year = {1989},
editor = {E. Kaltofen and S.M. Watt},
publisher = {Springer Verlag New York},
isbn = {0-387-97019-3},
}
1988
Refereed Conference Papers, Journal Articles and Book Chapters
A Fixed Point Method For Power Series Computation,
S.M. Watt, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1988), Rome, Italy, July 4-8 1988, Springer Verlag 1989, LNCS, No. 358, pp. 206-217, DOI 10.1007/3-540-51084-2_19.
@inproceedings{SMW-1988-issac-fixpt,
author = {S.M. Watt},
title = {A Fixed Point Method For Power Series Computation},
year = {1988},
booktitle = {International Symposium on Symbolic and Algebraic Computation},
venue = {Rome, Italy},
eventdate = {1988-07-04},
number = {358},
pages = {206-217},
publisher = {Springer Verlag 1989},
series = {{LNCS}},
doi = {10.1007/3-540-51084-2_19},
}
Books
First Leaves: A Tutorial Introduction to Maple,
B.W. Char, K.O. Geddes, G.H. Gonnet, M.B. Monagan and S.M. Watt, Watcom Publications, Waterloo, 1988, ISBN 0-921329-68-7.
@book{SMW-1988-first-leaves-tutorial-introduction-maple,
author = {B.W. Char and K.O. Geddes and G.H. Gonnet and M.B. Monagan and S.M. Watt},
title = {First Leaves: A Tutorial Introduction to {Maple}},
year = {1988},
publisher = {Watcom Publications, Waterloo, 1988},
isbn = {0-921329-68-7},
}
Maple Reference Manual,
B.W. Char, K.O. Geddes, G.H. Gonnet, M.B. Monagan and S.M. Watt, Watcom Publications, Waterloo, 1988, ISBN 0-921329-15-6.
@book{SMW-1988-maple-reference-manual,
author = {B.W. Char and K.O. Geddes and G.H. Gonnet and M.B. Monagan and S.M. Watt},
title = {{Maple} Reference Manual},
year = {1988},
publisher = {Watcom Publications, Waterloo, 1988},
isbn = {0-921329-15-6},
}
Refereed and Invited Abstracts
Construction of Algebraic Error Control Codes on the Elliptic Riemann Surface,
M. Hassner, W. Burge, S.M. Watt, Proc. IEEE Symposium on Information Theory, Japan, June 19-24 1988, IEEE Press 1988, pp. 57.
@inproceedings{SMW-1988-ieee-riemannecc,
author = {M. Hassner and W. Burge and S.M. Watt},
title = {Construction of Algebraic Error Control Codes on the Elliptic Riemann Surface},
year = {1988},
booktitle = {{IEEE} Symposium on Information Theory},
venue = {Japan},
eventdate = {1988-06-19},
pages = {57},
publisher = {IEEE Press 1988},
}
1987
Refereed Conference Papers, Journal Articles and Book Chapters
Scratchpad II: An Abstract Datatype System for Mathematical Computation,
R.D. Jenks, R.S. Sutor and S.M. Watt, Proc. IMA Workshop on Scientific Software, Minnesota, USA, March 23-26 1987, Mathematical Aspects of Scientific Software, J. R. Rice ed., IMA Volumes in Mathematics and Its Applications, Vol 14, Springer-Verlag 1988, pp. 157-182.
@inproceedings{SMW-1987-ima-spadadt,
author = {R.D. Jenks and R.S. Sutor and S.M. Watt},
title = {Scratchpad {II}: An Abstract Datatype System for Mathematical Computation},
year = {1987},
booktitle = {{IMA} Workshop on Scientific Software},
venue = {Minnesota, USA},
eventdate = {1987-03-23},
pages = {157-182},
publisher = {Mathematical Aspects of Scientific Software, J. R. Rice ed., IMA Volumes in Mathematics and Its Applications, Vol 14, Springer-Verlag 1988},
}
Infinite Structures in Scratchpad II,
W.H. Burge and S.M. Watt, Proc. 1987 European Conference on Computer Algebra (EUROCAL 87), Leipzig, German Democratic Republic, June 2-5 1987, Springer Verlag 1989, LNCS, No. 378, pp. 138-148, DOI 10.1007/3-540-51517-8_103.
@inproceedings{SMW-1987-eurocal-infinite,
author = {W.H. Burge and S.M. Watt},
title = {Infinite Structures in Scratchpad {II}},
year = {1987},
booktitle = {1987 European Conference on Computer Algebra},
venue = {Leipzig, German Democratic Republic},
eventdate = {1987-06-02},
number = {378},
pages = {138-148},
publisher = {Springer Verlag 1989},
series = {{LNCS}},
doi = {10.1007/3-540-51517-8_103},
}
Refereed and Invited Abstracts
Abstract Datatypes, Multiple Views and Multiple Inheritance in Scratchpad II,
S.M. Watt and R.D. Jenks, Programming Language Technology ITL Conference, Tucson Arizona, February 10-12 1987, IBM Corporation.
@inproceedings{SMW-1987-itl-spadviews,
author = {S.M. Watt and R.D. Jenks},
title = {Abstract Datatypes, Multiple Views and Multiple Inheritance in Scratchpad {II}},
year = {1987},
eventtitle = {Programming Language Technology {ITL} Conference},
venue = {Tucson Arizona},
eventdate = {1987-02-10},
publisher = {IBM Corporation},
}
Selected Other Contributions
Domains and Subdomains in Scratchpad II,
S. M. Watt, Scratchpad II Newsletter, Vol. 2, No. 1, Nov 1 1987, 1987, pp. 3-5.
@misc{SMW-1987-snews-domsubdom,
author = {S. M. Watt},
title = {Domains and Subdomains in Scratchpad {II}},
year = {1987},
journaltitle = {Scratchpad {II} Newsletter},
volume = {2},
number = {1},
pages = {3-5},
issue = {Nov 1 1987},
}
Construction of Algebraic Error Control Codes (ECC) on the Elliptic Riemann Surface,
M. Hassner, W.H. Burge and S.M. Watt, Scratchpad II Newsletter, Vol. 2, No. 1, Nov 1, 1987, 1987, pp. 5-8.
@misc{SMW-1987-snews-ecc,
author = {M. Hassner and W.H. Burge and S.M. Watt},
title = {Construction of Algebraic Error Control Codes ({ECC}) on the Elliptic Riemann Surface},
year = {1987},
journaltitle = {Scratchpad {II} Newsletter},
volume = {2},
number = {1},
pages = {5-8},
issue = {Nov 1, 1987},
}
Streams and Power Series,
W.H. Burge, S.M. Watt and S.C. Morrison, Scratchpad II Newsletter, Vol. 2, No. 1, Nov 1, 1987, 1987, pp. 9-12.
@misc{SMW-1987-snews-psstreams,
author = {W.H. Burge and S.M. Watt and S.C. Morrison},
title = {Streams and Power Series},
year = {1987},
journaltitle = {Scratchpad {II} Newsletter},
volume = {2},
number = {1},
pages = {9-12},
issue = {Nov 1, 1987},
}
Mappings as First Class Objects,
S.M. Watt and W.H. Burge, Scratchpad II Newsletter, Vol. 2, No. 1, Nov 1, 1987, 1987, pp. 13-17.
@misc{SMW-1987-snews-mappings,
author = {S.M. Watt and W.H. Burge},
title = {Mappings as First Class Objects},
year = {1987},
journaltitle = {Scratchpad {II} Newsletter},
volume = {2},
number = {1},
pages = {13-17},
issue = {Nov 1, 1987},
}
1986
Refereed Conference Papers, Journal Articles and Book Chapters
Algorithms for Linear Ordinary Differential Operators,
J. Della Dora and S.M. Watt, Proc. Computers and Mathematics Conference, Stanford, California, July 30-August 1 1986.
@inproceedings{SMW-1986-algorithms-linear-ordinary-differential-operators,
author = {J. Della Dora and S.M. Watt},
title = {Algorithms for Linear Ordinary Differential Operators},
year = {1986},
booktitle = {Computers and Mathematics Conference},
venue = {Stanford, California},
eventdate = {1986-07-30},
}
Theses
Bounded Parallelism in Computer Algebra,
Stephen M. Watt, Ph.D. thesis, Dept. of Computer Science, U. Waterloo (Canada), 1986, (viii + 110 pages), supervisor: K.O. Geddes.
@thesis{SMW-1985-smw-phd,
author = {Stephen M. Watt},
title = {Bounded Parallelism in Computer Algebra},
year = {1986},
pagetotal = {viii + 110},
publisher = {University of Waterloo 1985},
institution = {U. Waterloo (Canada)},
type = {Ph.D. thesis},
series = {{PhD} Thesis, Computer Science},
department = {Dept. of Computer Science},
supervisor = {K.O. Geddes},
}
Research Reports (not subsequently published elsewhere)
Factorisation d'Opérateurs Différentiels du Second Ordre,
J. Della Dora and S.M. Watt, Research report, RR 634 -M-, Institut National Polytechnique de Grenoble TIM3, November 1986.
@report{SMW-1986-inpg-factop,
author = {J. Della Dora and S.M. Watt},
title = {Factorisation d'Opérateurs Différentiels du Second Ordre},
year = {1986},
date = {November 1986},
number = {RR 634 -M-},
institution = {Institut National Polytechnique de Grenoble TIM3},
}
Bounded Parallelism in Computer Algebra,
S.M. Watt, Research Report, CS-86-12, U. Waterloo, 1986.
@report{SMW-1986-uw-bounded-parallelism-report,
author = {S.M. Watt},
title = {Bounded Parallelism in Computer Algebra},
year = {1986},
number = {CS-86-12},
institution = {U. Waterloo},
type = {Research Report},
}
Selected Other Contributions
Algebra Snapshot: Linear Ordinary Differential Operators,
S.M. Watt and J. Della Dora, Scratchpad II Newsletter, Vol. 1, No. 2, Jan 15 1986, 1986, pp. 14-18.
@misc{SMW-1986-snews-lodo,
author = {S.M. Watt and J. Della Dora},
title = {Algebra Snapshot: Linear Ordinary Differential Operators},
year = {1986},
journaltitle = {Scratchpad {II} Newsletter},
volume = {1},
number = {2},
pages = {14-18},
issue = {Jan 15 1986},
}
1985
Refereed Conference Papers, Journal Articles and Book Chapters
A System for Parallel Computer Algebra Programs,
S.M. Watt, Proc. 1985 European Conference on Computer Algebra (EUROCAL'85), Linz, Austria, April 1-3 1985, Springer Verlag, LNCS, No. 204, pp. 537-538.
@inproceedings{SMW-1985-eurosam-llmaple,
author = {S.M. Watt},
title = {A System for Parallel Computer Algebra Programs},
year = {1985},
booktitle = {1985 European Conference on Computer Algebra},
venue = {Linz, Austria},
eventdate = {1985-04-01},
number = {204},
pages = {537-538},
publisher = {Springer Verlag},
series = {{LNCS}},
}
Books
Maple User's Guide,
B.W. Char, K.O. Geddes, G.H. Gonnet and S.M. Watt, Watcom Publications, Waterloo, 1985, ISBN 0-919884-51-2.
@book{SMW-1985-maple-user-s-guide,
author = {B.W. Char and K.O. Geddes and G.H. Gonnet and S.M. Watt},
title = {{Maple} User's Guide},
year = {1985},
publisher = {Watcom Publications, Waterloo, 1985},
isbn = {0-919884-51-2},
}
1984
Refereed Conference Papers, Journal Articles and Book Chapters
On the Design and Performance of the Maple System,
B.W. Char, G.J. Fee, K.O. Geddes, G.H. Gonnet, M.B. Monagan and S.M. Watt, Proc. 1984 Macsyma Users' Conference, Schenectady, New York, July 23-35 1984, General Electric Corporation, pp. 199-219.
@inproceedings{SMW-1984-muc-design,
author = {B.W. Char and G.J. Fee and K.O. Geddes and G.H. Gonnet and M.B. Monagan and S.M. Watt},
title = {On the Design and Performance of the {Maple} System},
year = {1984},
booktitle = {1984 Macsyma Users' Conference},
venue = {Schenectady, New York},
eventdate = {1984-07-23},
pages = {199-219},
publisher = {General Electric Corporation},
}
Research Reports (not subsequently published elsewhere)
On the Design and Performance of the Maple System (extended version),
B.W. Char, G.J. Fee, K.O. Geddes, G.H. Gonnet, M.B. Monagan and S.M. Watt, Research report, CS-84-13, University of Waterloo, 1984.
@report{SMW-1984-uw-mdesign,
author = {B.W. Char and G.J. Fee and K.O. Geddes and G.H. Gonnet and M.B. Monagan and S.M. Watt},
title = {On the Design and Performance of the {Maple} System (extended version)},
year = {1984},
number = {CS-84-13},
institution = {University of Waterloo},
}
1983
Research Reports (not subsequently published elsewhere)
Arrays and Tables in Maple,
S.M. Watt, Research report, CS-83-10, University of Waterloo, 1983.
@report{SMW-1983-uw-marrays,
author = {S.M. Watt},
title = {Arrays and Tables in {Maple}},
year = {1983},
number = {CS-83-10},
institution = {University of Waterloo},
}
1981
Theses
Intrinsic Symmetries and Other Constraints in General Relativity,
Stephen M. Watt, MMath thesis, Dept. of Applied Mathematics, U. Waterloo (Canada), 1981, (xiii + 190 pages), supervisor: C.B. Collins.
@thesis{SMW-1981-smw-mmath,
author = {Stephen M. Watt},
title = {Intrinsic Symmetries and Other Constraints in General Relativity},
year = {1981},
pagetotal = {xiii + 190},
publisher = {University of Waterloo 1981},
institution = {U. Waterloo (Canada)},
type = {MMath thesis},
series = {MMath Thesis, Applied Mathematics},
department = {Dept. of Applied Mathematics},
supervisor = {C.B. Collins},
}
1979
Theses
The Classification of Spatially Homogeneous and Inhomogeneous Cosmological Models,
Stephen M. Watt, BSc honours thesis, Dept. of Physics, U. New Brunswick (Canada), 1979, supervisor: B.O.J. Tupper.
@thesis{SMW-1979-smw-bsc-thesis,
author = {Stephen M. Watt},
title = {The Classification of Spatially Homogeneous and Inhomogeneous Cosmological Models},
year = {1979},
institution = {U. New Brunswick (Canada)},
type = {BSc honours thesis},
department = {Dept. of Physics},
supervisor = {B.O.J. Tupper},
}