Publication Date
| In 2015 | 0 |
| Since 2014 | 0 |
| Since 2011 (last 5 years) | 0 |
| Since 2006 (last 10 years) | 0 |
| Since 1996 (last 20 years) | 2 |
Descriptor
| Computation | 2 |
| Mathematical Logic | 2 |
| Validity | 2 |
| Algebra | 1 |
| College Mathematics | 1 |
| Computer Assisted Instruction | 1 |
| Computer Software | 1 |
| Computer Uses in Education | 1 |
| Discovery Learning | 1 |
| Equations (Mathematics) | 1 |
| More ▼ | |
Source
| International Journal for… | 2 |
Author
| Pech, Pavel | 2 |
| Hora, Jaroslav | 1 |
Publication Type
| Journal Articles | 2 |
| Reports - Descriptive | 1 |
| Reports - Evaluative | 1 |
Education Level
| Higher Education | 2 |
| Secondary Education | 1 |
Audience
Showing all 2 results
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
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

Peer reviewed
Direct link
