NotesFAQContact Us
Collection
Advanced
Search Tips
Back to results
Peer reviewed Peer reviewed
ERIC Number: EJ338152
Record Type: CIJE
Publication Date: 1986
Pages: N/A
Abstractor: N/A
ISBN: N/A
ISSN: N/A
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
Language: English
Sponsor: N/A
Authoring Institution: N/A