"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.