RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC318,
    author = {W. Windsteiger},
    title = {{Exploring an Algorithm for Polynomial Interpolation in the Theorema System}},
    booktitle = {{Proceedings of the Calculemus 2003 Symposium}},
    language = {english},
    abstract = {We present a case study using the Theorema system to explore an algorithm for polynomial interpolation. The emphasis of the case study lies on formulating mathematical knowledge in one language that appears in its syntax close to common mathematical language but is precise enough to formulate all details necessary for proving. Moreover, the language allows the computation of concrete examples without any further translation into an executable language.},
    pages = {130--136},
    publisher = {Aracne Editrice S.R.L.},
    address = {Rome Italy},
    isbn_issn = {ISBN 88-7999-545-6},
    year = {2003},
    month = {September},
    editor = {T. Hardin and R. Rioboo},
    refereed = {yes},
    length = {7}