ERIC Number: EJ338152
Record Type: CIJE
Publication Date: 1986
Verifying a Computer Algorithm Mathematically.
Olson, Alton T.
Journal of Computers in Mathematics and Science Teaching, v5 n2 p52-54 Win 1985-86
Presents an example of mathematics from an algorithmic point of view, with emphasis on the design and verification of this algorithm. The program involves finding roots for algebraic equations using the half-interval search algorithm. The program listing is included. (JN)
Publication Type: Journal Articles; Reports - Descriptive; Computer Programs
Education Level: N/A
Audience: Teachers; Practitioners
Authoring Institution: N/A