Publications

Filters: First Letter Of Last Name is S  [Clear All Filters]
Submitted
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
Saludes J. State of the WP6 at the 3d progress meeting. Submitted.Array Download: wp6-3pm.pdf (84.5 KB)
Saludes J. Using GF from Python. Submitted.Array Download: python-gf.pdf (1.67 MB)
In Press
Saludes J, Xambó S. Multilingual Sage. Tbilisi Mathematical Journal. In Press;5(2). Abstract Array
2013
Saludes J. MathBar.pgf. 2013. Abstract Array Download: MathBar.pgf (616.21 KB)
Saludes J, Caprotti O, Xambó S. A grammar-based approach to multilingual mathematics. 2013;5th International Workshop on Mathematical e-Learning. Available at: https://sites.google.com/site/5emath2013madrid/.Array Download: eMath5Madrid.pdf (492.67 KB)
2012
Ranta A. Machine translation and type theory. In: Dybjer P, Palmgren E, Lindström S, Sundholm G, eds. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Vol 27. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.; 2012:281-311. Available at: http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14.Array Download: final-mttt.pdf (591.34 KB)
Caprotti O, Saludes J. The GF Mathematical Grammar Library. In: Conference on Intelligent Computer Mathematics /OpenMath Workshop. 2012th ed. Conference on Intelligent Computer Mathematics /OpenMath Workshop.; 2012.Array Download: gf-mgl.pdf (219.79 KB); GF.matlib.xhtml (10.01 KB)
Saludes J, Xambó S. Toward multilingual mechanized mathematics assistants Sendra JR, Villarino C, eds. EACA 2012 (Proceedings). 2012:163–166.Array
Saludes J, Ribó A. Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
Archambault D, Caprotti O, Ranta A, Saludes J. Using GF in multimodal assistants for mathematics. In: Digitization and E-Inclusion in Mathematics and Science 2012; 2012. Available at: http://www.gaea.jcn.nihon-u.ac.jp/deims12/program.htm. Abstract Array Download: ArchambaultCaprottiRantaSaludes.pdf (179.15 KB)
Damova M, Kiryakov A, Grinberg M, et al. Creation and Integration of Reference Ontologies for Efficient LOD Management. In: Stellato DA, Pazienza DMT, eds. Semi-Automatic Ontology Development: Processes and Resources. 1stst ed. Semi-Automatic Ontology Development: Processes and Resources. Hershey PA, USA; 2012:162-201. Available at: http://www.igi-global.com/book/semi-automatic-ontology-development/58294.Array
van Grondelle J. New Audiences for Ontologies : Dealing with Complexity in Business Processes. In: Simperl E, Cimiano P, Polleres A, Corcho O, Presutti V, eds. The Semantic Web: Research and Applications, Proceedings of ESWC 2012. The Semantic Web: Research and Applications, Proceedings of ESWC 2012. Crete, Greece; 2012:2. Available at: http://link.springer.com/chapter/10.1007/978-3-642-30284-8_2.Array