{"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-29T10:24:43","modified_gmt":"2020-05-29T08:24:43","slug":"stephan-watt","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2019\/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 \/>\n<\/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;\"><strong><b>A Review of Algorithms on Symbolic Domains<\/b><br \/>\n<\/strong><\/h2>\n<div><\/div>\n<div style=\"text-align: center;\"><i>Abstract<\/i><\/div>\n<div><\/div>\n<div style=\"text-align: justify;\">This talk is about computing with mathematical quantities where the sizes or shapes are not known in advance.\u00a0 We consider<\/div>\n<div style=\"text-align: justify;\">\n<ul>\n<li>polynomials where the exponents can be given by symbolic expressions,<\/li>\n<li>matrices with blocks or other internal structure of symbolic size, and<\/li>\n<li>piece-wise functions where the shapes of the domains are given by symbolic expressions.<\/li>\n<\/ul>\n<p>For polynomials with symbolic exponents, there are various straightforward operations, such as squaring $x^{2n} &#8211; 1$ to get $x^{4n}-2x^{2n}+1$, or differentiating to get $2nx^{2n-1}$.\u00a0 We review algorithms to compute more sophisticated operations such as the GCD, factorization and functional decomposition of such polynomials.<\/p>\n<p>For symbolic matrices, we show how to do arithmetic on matrices with blocks, bands and other structures where the dimensions are given by symbolic expressions.<\/p>\n<p>Finally, we consider the case of piece-wise functions, where the regions of definition are given symbolically. \u00a0 We show how hybrid sets, a generalization of multi-sets allowing negative multiplicities, can be used to reduce the computational complexity of working with these objects, and lead to a particularly elegant formulation of Stokes&#8217; theorem.<\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Stephen M. Watt David R. Cheriton School of Computer Science University of Waterloo, Canada A Review of Algorithms on Symbolic Domains Abstract This talk is about computing with mathematical quantities where the sizes or shapes are not known in advance.\u00a0 We consider polynomials where the exponents can be given by symbolic expressions, matrices with blocks [&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":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/838","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/comments?post=838"}],"version-history":[{"count":20,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/838\/revisions"}],"predecessor-version":[{"id":2143,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/838\/revisions\/2143"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/613"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/media?parent=838"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}