Publications
Filters: Author is Saludes, Jordi [Clear All Filters]
MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
.
The GF mathematics library. 2011.Array Download: gfmath.pdf (136.56 KB)
.
.
Mathbar. 2011. Available at: http://www.grammaticalframework.org/demos/minibar/mathbar.html.Array
.
Simple drill library snapshot 2011.Array Download: mgl.tar.gz (974.6 KB)
.
The GF Mathematics Library. In: 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
.
WP6 - review presentation 2011. 2011.Array Download: wp6-y1.pdf (330.05 KB)
.
.
WP6 Case study: mathematics - 2nd year review. 2012.Array Download: report.zip (1.85 KB)
.
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)
.
Using GF in multimodal assistants for mathematics. 2012.Array Download: DEIMS_TiddlyWiki.zip (7.09 MB)
.
Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
.
Toward multilingual mechanized mathematics assistants EACA 2012 (Proceedings). 2012:163–166.Array
.
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)
.
Assistant for solving word problems. 2013. Available at: http://tfs.cc/trac/browser/molto/mgl/wproblems. Abstract
Array
.
.
gfsage: feedback option and translation between Spanish and English. 2013. Available at: http://www.screenr.com/GD3s. Abstract
Array
.
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)
.
D6.3 Assistant for solving word problems. 2013. Available at: http://www.molto-project.eu/wiki/living-deliverables/d63-assistant-solving-word-problems.Array Download: D6.3.pdf (119.52 KB)
.
Dialog.pgf. 2013. Available at: http://www.molto-project.eu/sites/default/files/web-service/grammars/Dialog.pgf. Abstract
Array Download: Dialog.pgf (72.96 KB)
.
.
.
.
.