Pattern Based Composition of Web Services for Symbolic Computations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Hi-index | 0.00 |
The MathLang project aims at computerizing mathematical texts according to various degrees of formalisations, and without any prior commitment to a particular logical framework (e.g., having to choose either set theory or category theory or type theory, ...