{"id":439,"date":"2021-08-04T07:16:25","date_gmt":"2021-08-04T07:16:25","guid":{"rendered":"http:\/\/synasc.ro\/2021\/?page_id=439"},"modified":"2021-11-23T09:55:42","modified_gmt":"2021-11-23T09:55:42","slug":"peter-paule","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2021\/peter-paule\/","title":{"rendered":""},"content":{"rendered":"\n<h2 class=\"has-text-align-center wp-block-heading\">Mechanization of mathematics: some examples for discussion<\/h2>\n\n\n\n<h3 class=\"has-text-align-center wp-block-heading\">by Peter Paule, Research Institute for Symbolic Computation, Johannes Kepler University, Linz<\/h3>\n\n\n\n<p class=\"has-text-align-center\"><strong>Abstract:<\/strong><\/p>\n\n\n\n<p>&#8220;None of my inventions came by accident. I see a worthwhile need to be met and I make trial after trial until it comes. What it boils down to is one per cent inspiration and ninety-nine percent perspiration.&#8221;<\/p>\n\n\n\n<p>Owing to computers it increasingly has become possible to automate the perspiration phase in Edison&#8217;s statement. Recent AI developments stimulated renewed interest in the question of how far non-routine parts of mathematical work can be automated.<\/p>\n\n\n\n<p>In this talk we present concrete examples of non-trivial applications of RISC computer algebra algorithms in enumerative combinatorics, special functions, and number theory. Related aspects of mechanization of mathematics are left for discussion.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Mechanization of mathematics: some examples for discussion by Peter Paule, Research Institute for Symbolic Computation, Johannes Kepler University, Linz Abstract: &#8220;None of my inventions came by accident. I see a worthwhile need to be met and I make trial after trial until it comes. What it boils down to is one per cent inspiration and [&hellip;]<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-439","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/439","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/comments?post=439"}],"version-history":[{"count":3,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/439\/revisions"}],"predecessor-version":[{"id":600,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/439\/revisions\/600"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/media?parent=439"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}