"Use of Formulae Bases in Teaching and Learning Mathematics"

Margarita Spiridonova*
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences
Acad. G. Bonchev Street, B. 8
Sofia 1113
Bulgaria
E-mail:mspirid@math.bas.bg


   A Formulae Base (FB) is considered as a structured set of 
formulae. A simple query language provides convenient access 
to each formula. 
   The main features of an experimental FB implemented using 
the computer algebra system Mathematica are described. The use
of this FB is illustrated with formulae from plane geometry 
and from trigonometry. 
   How to present and how to select the formulae in a FB; 
how to use a FB in the environment of a computer algebra 
system like Mathematica; how to create problem oriented and 
domain oriented sub-bases and how to use them in mathematics 
education - some answers to these questions are suggested.