RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC253,
    author = {M. Mnuk and F. Winkler},
    title = {{CASA - A System for Computer Aided Constructive Algebraic Geometry}},
    booktitle = {{International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96)}},
    language = {english},
    series = {LNCS 1128},
    pages = {297--307},
    publisher = {Springer-Verlag},
    isbn_issn = {ISBN-10: 3540616977; ISBN-13: 978-3540616979},
    year = {1996},
    month = {October},
    editor = {J. Calmet and C. Limongelli},
    refereed = {yes},
    length = {11},
    conferencename = {DISCO'96 (Karlsruhe, Germany, September 1996)}
    }