Publications

Filters: Author is Saludes, Jordi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
No Keywords
Saludes J, Xambó S. Multilingual Sage. Tbilisi Mathematical Journal. In Press;5(2). Abstract Array
Saludes J. MathBar.pgf. 2013. Abstract Array Download: MathBar.pgf (616.21 KB)
Final Project Meeting - Barcelona 2013
GF
Saludes J, Xambó S. Multilingual Sage. Tbilisi Mathematical Journal. In Press;5(2). Abstract Array
gfep
Saludes J. MathBar.pgf. 2013. Abstract Array Download: MathBar.pgf (616.21 KB)
Mathematics
MGL
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)
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)
MOLTO dissemination
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. 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. Toward multilingual mechanized mathematics assistants Sendra JR, Villarino C, eds. EACA 2012 (Proceedings). 2012:163–166.Array