Discovery and analysis of e-mail-driven business processes
Information Systems
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, ...