Stephen Watt
Western University Canada, Computer Science, Faculty Member
Research Interests:
Research Interests:
Page 1. A Geometric-Numeric Algorithm for Absolute Factorization of Multivariate Polynomials£ Robert M. Corless Ý André Galligo Þ Ilias S. Kotsireas ÝÜ Stephen M. Watt Ý Ý The Ontario Research Centre for Computer Algebra ...
Research Interests:
Research Interests:
We explore the notion of generalization in the setting of symbolic mathematical computing. By "generalization" we mean the process of taking a number of... more
We explore the notion of generalization in the setting of symbolic mathematical computing. By "generalization" we mean the process of taking a number of instances of mathematical expressions and producing new expressions that may be specialized to all the instances. We identify a number of ways in which generalization may be useful in the setting of computer algebra. We formalize