Wolfgang Windsteiger,
"Exploring an Algorithm for Polynomial Interpolation in the Theorema System"
, in T. Hardin and R. Rioboo: Calculemus'03, Aracne Editrice S.R.L., Seite(n) 130-136, 9-2003, ISBN: 88-7999-545-6
Original Titel:
Exploring an Algorithm for Polynomial Interpolation in the Theorema System
Sprache des Titels:
Englisch
Original Buchtitel:
Calculemus'03
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Aracne Editrice S.R.L.
Seitenreferenz:
130-136
Erscheinungsmonat:
9
Erscheinungsjahr:
2003
ISBN:
88-7999-545-6
Anzahl der Seiten:
7
Notiz zur Publikation:
Proceedings of Calculemus'03, September 10-12, Rome, Italy.
Forschungs-