Publications

Filters: Author is Saludes, Jordi  [Clear All Filters]
2010
Angelov K, Caprotti O, Enache R, et al. MOLTO web service, first version. 2010. Abstract Array Download: D10.2.pdf (682.03 KB)
Saludes J, Xambó S. MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
2011
Saludes J, Xambó S. The GF mathematics library. 2011.Array Download: gfmath.pdf (136.56 KB)
Xambó S, Saludes J. Math Exercises Library. 2011. Abstract Array Download: mgl-1.pdf (110.99 KB)
Ribó A, Saludes J, Xambó S. Simple drill library snapshot Hierro A, Angelov K, Caprotti O, et al., eds. 2011.Array Download: mgl.tar.gz (974.6 KB)
Saludes J, Xambó S. The GF Mathematics Library. In: Quaresma P, Back R-J, eds. Proceedings First Workshop on CTP Components for Educational Software (THedu'11).Vol Electronic Proceedings in Theoretical Computer Science . Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Wrocław, Poland; 2011:102–110. Available at: http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf. Abstract Array
Saludes J, Xambó S. WP6 - review presentation 2011. 2011.Array Download: wp6-y1.pdf (330.05 KB)
2012
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)
Saludes J, Ribó A. Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
Saludes J, Xambó S. Toward multilingual mechanized mathematics assistants Sendra JR, Villarino C, eds. EACA 2012 (Proceedings). 2012:163–166.Array
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)
2013