{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:16:49Z","timestamp":1725545809732},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>In this talk, we will exemplify the spirit of a new type of mathematics by a report on the Theorema system being developed in the speaker's  research group. Theorema is both a logic and a software frame for doing mathematics in the way sketched above. On the object level, Theorema allows to prove and program within the same logical frame and, on the meta-level, it allows to formulate reasoning techniques that help proving and programming on the object level. In particular, we will show how this type of doing mathematics allows to mimic the invention process behind the speaker\u2019s theory of Gr\u00f6bner bases, which provides a general method for dealing with multivariate nonlinear polynomial systems.<\/jats:p>","DOI":"10.29007\/19ls","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:59:06Z","timestamp":1516730346000},"page":"1--1","source":"Crossref","is-referenced-by-count":0,"title":["Mathematics of 21st Century: A Personal View"],"prefix":"10.29007","volume":"15","author":[{"given":"Bruno","family":"Buchberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:59:10Z","timestamp":1516730350000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/vCc"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/19ls","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}