Mathematics of 21st Century: A Personal View

1 pages•Published: June 19, 2013

Abstract

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’s theory of Gröbner bases, which provides a general method for dealing with multivariate nonlinear polynomial systems.

In: Laura Kovacs and Temur Kutsia (editors). SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science, vol 15, pages 1.

Links:	https://easychair.org/publications/paper/vCc
	https://doi.org/10.29007/19ls

BibTeX entry

@inproceedings{SCSS2013:Mathematics_21st_Century_Personal,
  author    = {Bruno Buchberger},
  title     = {Mathematics of 21st Century: A Personal View},
  booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
  editor    = {Laura Kovacs and Temur Kutsia},
  series    = {EPiC Series in Computing},
  volume    = {15},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/vCc},
  doi       = {10.29007/19ls},
  pages     = {1},
  year      = {2013}}

Download PDF Open PDF in browser