RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @incollection{RISC2670,
    author = {B. Buchberger},
    title = {{Computer-Algebra: Das Ende der Mathematik? (Computer Algebra: The End of Mathematics?)}},
    booktitle = {{Mitteilungen der Deutschen Mathematiker-Vereinigung}},
    language = {german},
    volume = {2},
    pages = {16--19},
    publisher = {Copyright: Birkhaeuser Verlag AG, Basel, Switzerland},
    isbn_issn = {ISSN 0947-4471, ISSN 1399-590},
    year = {2000},
    annote = {2000-05-22-A},
    note = {(English Translation in: ACM SIGSAM Bulletin, March 2002. Danish Translation in: Matilde, Nr. 8, February 2000, pp. 4-7, Univ. of Kobenhavn)},
    refereed = {yes},
    keywords = {Keywords: mathematical software systems, numerics, symbolics, automated theorem proving, trivialized mathematics, didactics of mathematics, purists, populists, sociology of mathematics, key technology},
    length = {4}
    }