RISC RISC Research Institute for Symbolic Computation  
  • @incollection{RISC2261,
    author = {B. Buchberger and T. Jebelean and W. Windsteiger and T. Kutsia and K. Nakagawa and J. Robu and F. Piroi and A. Craciun and N. Popov and G. Kusper and M. Rosenkranz},
    title = {{F 1302: Solving and Proving in General Domains}},
    booktitle = {{Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002}},
    language = {english},
    pages = {4--5},
    publisher = {Johannes Kepler University Linz, Austria},
    year = {2002},
    month = {February},
    annote = {2002-02-00-A},
    editor = {U. Langer and F. Winkler},
    refereed = {no},
    length = {2}
    }