DWeb3D: a toolkit for developing X3D applications in a simplified environment
Proceedings of the 15th International Conference on Web 3D Technology
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, ...