NotesFAQContact Us
Collection
Advanced
Search Tips
50 Years of ERIC
50 Years of ERIC
The Education Resources Information Center (ERIC) is celebrating its 50th Birthday! First opened on May 15th, 1964 ERIC continues the long tradition of ongoing innovation and enhancement.

Learn more about the history of ERIC here. PDF icon

Showing all 2 results
Peer reviewed Peer reviewed
Direct linkDirect link
Pech, Pavel – International Journal for Technology in Mathematics Education, 2005
Computer algebra methods based on results of commutative algebra like Groebner bases of ideals and elimination of variables make it possible to solve complex, elementary and non elementary problems of geometry, which are difficult to solve using a classical approach. Computer algebra methods permit the proof of geometric theorems, automatic…
Descriptors: Geometric Concepts, Geometry, Algebra, Mathematics Instruction
Peer reviewed Peer reviewed
Direct linkDirect link
Hora, Jaroslav; Pech, Pavel – International Journal for Technology in Mathematics Education, 2005
Computing limits of functions is a traditional part of mathematical analysis which is very difficult for students. Now an algorithm for the elimination of quantifiers in the field of real numbers is implemented in the program Mathematica. This offers a non-traditional view on this classical theme. (Contains 1 table.)
Descriptors: Mathematics, Computation, Mathematics Education, Computer Software