RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @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}
    }