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)

Following a short introduction on the rationale and purpose for using algorithmic structures in the teaching of algebra, two topics from elementary algebra are presented in relation to control structures from computer programing, specifically: the multiplication of polynomials defined in terms of nested loops, and the distributive property…

Describes the Plane Geometry System computer software developed at the Educational Computer Systems laboratory in Sofia, Bulgaria. The system enables students to use the concept of "algorithm" to correspond to the process of "deductive proof" in the development of plane geometry. Provides an example of the software's capability…