Coding mathematical function

Next lemmas: mathematical group | mathematical logic | mathematical notation | mathematical operation | mathematical process | mathematical product | mathematical proof | mathematical relation

This program is based on the thesauri dictionaries of OpenOffice according to the LGPL license.