Stephen Watt

To make computers handle mathematics intelligently. This work has centered on the following key questions: Programming Languages : What language ideas and technology can improve mathematical software? Algorithms and Domains : How can we expand the areas amenable to effective symbolic computation? Interfaces : How should computer algebra systems interact with each other and other software? Knowledge Management : How to organize and query the world’s mathematical knowledge? Collaboration : What software solutions can enhance mathematical collaboration, including mathematical handwriting recognition? On-line STEM Education : How can mathematically sophisticated software improve learning of STEM subjects?

Stephen Watt is Professor at the University of Waterloo, affiliated with Computer Science. This summary considered 2 collected sources. Listed research or teaching areas include To make computers handle mathematics intelligently. This work has centered on the following key questions: Programming Languages : What language ideas and technology can improve mathematical software? Algorithms and Domains : How can we expand the areas amenable to effective symbolic computation? Interfaces : How should computer algebra systems interact with each other and other software? Knowledge Management : How to organize and query the world’s mathematical knowledge? Collaboration : What software solutions can enhance mathematical collaboration, including mathematical handwriting recognition? On-line STEM Education : How can mathematically sophisticated software improve learning of STEM subjects?.