selected publications
-
academic article
- Towards MKM in the large: modular representation and scalable software architecture. arXiv (Cornell University). 370-384. 2010
-
chapter
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. Lecture Notes in Computer Science. 117-131. 2016
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture. Springer eBooks. 370-384. 2010
- Compensating the Computational Bias of Spreadsheets with MKM Techniques. Lecture Notes in Computer Science. 357-372. 2009
- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. Springer eBooks. 147-161. 2003