Symbolic Computation Group

David R. Cheriton School of Computer Science
University of Waterloo, Waterloo, Ontario, Canada

Recent Papers

This is a short list of some recent publications by researchers associated with SCG. For more details see individual researchers' home pages.

2015

2014

2013

2012

2011

  • Y. Huang, P.A. Forsyth and G. Labahn, Methods for pricing American options under regime switching, SIAM Journal on Scientific Computing 33(5) (2011) 2144-2168.
  • S. Maclean, D. Tausky, G. Labahn, E. Lank and M. Marzouk, Is the iPad useful for sketch input? A comparison with the Tablet PC, Proceedings of the 8th Eurographics Symposium on Sketch-Based Interfaces and Modeling (SBIM 2011), ACM, (2011) 7-14
  • S. Maclean, G. Labahn, E. Lank, M. Marzouk and D. Tausky, Grammar-based techniques for creating ground-truthed sketch corpora, International Journal of Document Analysis and Recognition, 14(1) (2011) 65-74.
  • S. Gupta and A. Storjohann, Computing Hermite forms of polynomial matrices. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'11), ACM Press, 2011, 8pp. pdf
  • S. Sarkar and A. Storjohann, Normalization of row reduced matrices. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'11), ACM Press, 2011, 7pp. pdf
  • C. Bright and A. Storjohann, Vector rational number reconstruction. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'11), ACM Press, 2011, 7pp. pdf
  • M. Giesbrecht and D. Roche. Detecting lacunary perfect powers and computing their roots, Journal of Symbolic Computation, v. 46, pp. 1242-1259, 2011. arXiv. DOI.
  • M. Giesbrecht and D Roche. Diversification improves interpolation. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2011, pp. 123-130. Extended abstract: DOI. Preprint in arXiv.
  • M. Giesbrecht and S. Watt, In honour of Keith Geddes on his 60th birthday, v. 46, issue 7, pp. 735-740. DOI.
  • Computational Tools for Mathematical Collaboration (Invited), Stephen M. Watt, pp. 16-18, Proc. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, (SYNASC 2011), Sept 26-29 2011, Timişoara Romania, IEEE Computer Society.
  • Polynomial Approximation in Handwriting Recognition (Invited), Stephen M. Watt, pp. 3-7, Proc. 4th International Workshop on Symbolic-Numeric Computation, (SNC 2011), June 7-9 2011, San Jose, California, ACM Press.
  • An Architecture for Generic Extensions, Cosmin Oancea and Stephen M. Watt, Science of Computer Programming, Vol. 76, No. 4, pp. 258-277, April 2011, Elsevier.

2010

  • S. MacLean and G. Labahn, Elastic matching in linear time and constant space. Proceedings of Ninth IAPR International Workshop on Document Analysis Systems, (Short paper), pp. 551-554 (2010)
  • J. von zur Gathen, Mark Giesbrecht and K. Ziegler. Composition collisions at degree p2. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2010, pp. 123-130. Extended abstract: DOI. Full version: arXiv
  • M. Giesbrecht, D. Roche, and H. Tilak. Computing sparse multiples of polynomials, International Symposium on Algorithms and Computation (ISAAC 2010). Lecture Notes in Computer Science v. 6506, pp. 266-278, 2010. DOI
  • M. Giesbrecht and D. Roche, Interpolation of shifted-lacunary polynomials. Computational Complexity. Volume 19, No 3., pp. 333-354, 2010. DOI, arXiv
  • Digital Ink Compression via Functional Approximation, Vadim Mazalov and Stephen M. Watt, pp. 688-694, Proc. 12th International Conference on Frontiers in Handwriting Recognition, (ICFHR 2010), November 16-18 2010, Kolkata, India, IEEE Computer Society.
  • Type Specialization in Aldor, Laurentiu Dragan and Stephen M. Watt, pp. 73-84, Proc. 12th International Workshop on Computer Algebra in Scientific Computing, (CASC 2010), September 5-12 2010, Tsakhkadzor, Armenia, Springer Verlag LNCS 6244.
  • An Analytic Model for Colluding Processes, Stephen M. Watt, Vestnik Tambov University: Natural and Technical Sciences, Vol. 15, No. 6, pp. 1730-1747, Tambov University, ISSN 1810-0198.
  • An Interface for Math e-Learning on Pen-Based Mobile Devices, Mitsushi Fujimoto and Stephen M. Watt, Electronic Proc. Mathematical User Interfaces Workshop 2010, (MATHUI 2010), July 10 2010, Paris, France, http://www.activemath.org/workshops/MathUI/10/proc.
  • Symbolic Domain Decomposition, Jacques Carette, Alan P. Sexton, Volker Sorge and Stephen M. Watt, pp. 172-188, Proc. 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, (Calculemus 2010), July 6-7 2010, Paris, France, Springer Verlag LNAI 6167.
  • Improved Classification through Runoff Elections, Oleg Golubitsky and Stephen M. Watt, pp. 59-63, Proc. International Workshop on Document Analysis Systems, (DAS 2010), June 9-11 2010, Boston, USA, ACM Press.
  • Toward Affine Recognition of Handwritten Mathematical Characters, Oleg Golubitsky, Vadim Mazalov and Stephen M. Watt, pp. 35-42, Proc. International Workshop on Document Analysis Systems, (DAS 2010), June 9-11 2010, Boston, USA, ACM Press.
  • Distance-Based Classification of Handwritten Symbols, Oleg Golubitsky and Stephen M. Watt, International Journal on Document Analysis and Recognition, Vol. 13, No. 2, pp. 133-146, June, 2010, Springer.

2009

2008

2007

2006

2005

2004

2003

  • T. Mulders and Arne Storjohann. On lattice reduction for polynomial matrices. Journal of Symbolic Computation, 35(4), pp. 377-401, 2003.
  • Arne Storjohann. High-order lifting and integrality certification. Journal of Symbolic Computation, 36(3-4), pp. 613-648, 2003.
  • K.O. Geddes and W.W. Zheng. Exploiting fast hardware floating point in high precision computation. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2003, J.R. Sendra (ed.), ACM Press, pp. 118, New York, 2003.
  • Mark Giesbrecht and Yang Zhang. Factoring and Decomposing Ore Polynomials over Fq(t). Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2003, pp. 127-134, 2003.
  • J. Gerhard, Mark Giesbrecht, Arne Storjohann and E. Zima. Shiftless decomposition and polynomial-time rational summation. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2003, pp. 119-126, 2003.
  • Mark Giesbrecht, E. Kaltofen and W.-s. Lee. Algorithms for Computing Sparsest Shifts of Polynomials in Standard, Chebyshev, and Pochhammer Bases. Journal of Symbolic Computation, 36(3-4), pp. 287-683, 2003.
  • Mark Giesbrecht, Arne Storjohann and G. Villard. Algorithms for matrix canonical forms. Invited Submission: Computer Algebra Handbook · Foundations, Applications, Systems, Springer Verlag, pp. 38-41, 2003.
  • 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, pp. 3-25, 2003.
  • An Exploration of Homotopy Solving in Maple, K. Hazaveh, D.J. Jeffrey, G.J. Reid, S.M. Watt and A.D. Wittkopf, pp. 145-162, Proc. The Sixth Asian Symposium on Computer Mathematics, (ASCM 2003), April 17-19 2003, Beijing China.
  • Hybrid Methods, R.M. Corless, E.L. Kaltofen and S.M. Watt, pp. 112-125, in Handbook of Computer Algebra J. Grabmeier, E. Kaltofen, V. Weispfenning (editors) , Springer Verlag, Heidelberg 2003 , ISBN 3-540-65466-6.
  • MathML, S.M. Watt, pp. 154-160, in Handbook of Computer Algebra J. Grabmeier, E. Kaltofen, V. Weispfenning (editors) , Springer Verlag, Heidelberg 2003 , ISBN 3-540-65466-6.
  • Aldor, S.M. Watt, pp. 265-270, in Handbook of Computer Algebra J. Grabmeier, E. Kaltofen, V. Weispfenning (editors) , Springer Verlag, Heidelberg 2003 , ISBN 3-540-65466-6.
  • 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.
  • Aldor User Guide, S.M. Watt, M. Moreno Maza, http://www.aldor.org/docs/aldorug.pdf, (302 pages), Aldor.org 2003.
  • Approximate Computation of Pseudovarieties, R.M. Corless, Hiroshi Kai and S.M. Watt, SIGSAM Bulletin, Vol. 37, No. 3, pp. 67-71, Issue 145, September 2003.

2002

2001

2000

See individual researchers' home pages for a complete list of publications.

 

Last modified on Tuesday, 24 November 2015, at 21:51 hours.