{"id":838,"date":"2015-06-05T09:45:54","date_gmt":"2015-06-05T07:45:54","guid":{"rendered":"http:\/\/synasc.ro\/2017\/?page_id=838"},"modified":"2020-05-29T09:00:51","modified_gmt":"2020-05-29T07:00:51","slug":"stephan-watt","status":"publish","type":"page","link":"http:\/\/synasc.ro\/2020\/invited-speakers-2\/stephan-watt\/","title":{"rendered":"Stephen M. Watt"},"content":{"rendered":"<h2 style=\"text-align: center;\"><strong><a href=\"http:\/\/www.csd.uwo.ca\/~watt\/\" target=\"_blank\" rel=\"noopener noreferrer\">Stephen M. Watt<\/a><br \/><\/strong><\/h2>\n<h2 style=\"text-align: center;\"><i>David R. Cheriton School of Computer Science<\/i><\/h2>\n<h2 style=\"text-align: center;\">University of Waterloo, Canada<\/h2>\n<h2 style=\"text-align: center;\"><em>Title:<\/em>Web Technologies for Next Generation Symbolic Computation<\/h2>\n<p>\u00a0<\/p>\n<div style=\"text-align: center;\"><i>Abstract<\/i><\/div>\n<div>\u00a0<\/div>\n<p>Systems for symbolic mathematical computation have risen to wide-spread acceptance over the past 50 years, from the early interactive systems of Reduce and Macsyma, to the popular general systems such as Maple and Mathematica, and open source and specialized tools.\u00a0 \u00a0 For the most part, these systems have not strayed far from the original model of a teletype conversation between a user and system, with the addition of batch computing, typeset formula display and graphical rendering of objects.\u00a0 \u00a0Over the same period, other software tools have evolved to embrace media convergence,\u00a0 dynamic environments and multi-party interaction.\u00a0 In this talk we explore how these technologies can be applied and extended for symbolic mathematics.\u00a0 \u00a0In particular, we will touch on the priority of mathematical collaboration, the deepening relationships among document analysis, computer algebra and proof assistants, and the suitability of specific technologies such as TypeScript, WebAssembly and Node for symbolic mathematical systems implementation.\u00a0 We will conclude with some thoughts on how a next generation of symbolic mathematics tools can impact education, industry and every-day life.<\/p>\n<div style=\"text-align: justify;\">\u00a0<\/div>\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Stephen M. Watt David R. Cheriton School of Computer Science University of Waterloo, Canada Title:Web Technologies for Next Generation Symbolic Computation \u00a0 Abstract \u00a0 Systems for symbolic mathematical computation have risen to wide-spread acceptance over the past 50 years, from the early interactive systems of Reduce and Macsyma, to the popular general systems such as [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":613,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-838","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/838","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/comments?post=838"}],"version-history":[{"count":21,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/838\/revisions"}],"predecessor-version":[{"id":2480,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/838\/revisions\/2480"}],"up":[{"embeddable":true,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/613"}],"wp:attachment":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/media?parent=838"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}