We describe a method to build an environment for processing mathematical domains of computation. Basically, the environment may aid the user in: (i) specifying correct abstract computational structures and their models, (ii) completing the sets of properties of operators by means of a learning method and (iii) determining the correct domain in which a mathematical computation must be performed. The system is built upon a hybrid knowledge representation system.
CITATION STYLE
Calmet, J., & Tjandra, I. A. (1991). Representation of mathematical knowledge. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 542 LNAI Part F2, pp. 469–478). Springer Verlag. https://doi.org/10.1007/3-540-54563-8_110
Mendeley helps you to discover research relevant for your work.