Publications

Filters: Keyword is WP6  [Clear All Filters]
Audiovisual
Saludes J. gfsage: basic usage and voiced output. 2013. Available at: http://screenr.com/0D3s. Abstract Array
Saludes J. gfsage: feedback option and translation between Spanish and English. 2013. Available at: http://www.screenr.com/GD3s. Abstract Array
Saludes J. Tutor assistance in word problems. 2013. Available at: http://screenr.com/LsP7. Abstract Array
Conference Paper
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
Ranta A. Translating between Language and Logic: What Is Easy and What is Difficult?. In: Bjørner N, Sofronie-Stokkermans V, eds. CADE-23. Automated Deduction.Vol LNCS/LNAI 6803. CADE-23. Automated Deduction. http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3; 2011:5-25. Available at: http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf.Array
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)
Conference Proceedings
Saludes J, Xambó S. Toward multilingual mechanized mathematics assistants Sendra JR, Villarino C, eds. EACA 2012 (Proceedings). 2012:163–166.Array
Deliverable
Saludes J, Ribó A. Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
Anon. Simple drill grammar library. 2011.Array Download: D6.1.pdf (155.32 KB)
Journal Article
Saludes J, Xambó S. Multilingual Sage. Tbilisi Mathematical Journal. In Press;5(2). Abstract Array
Miscellaneous
Xambó S, Saludes J. Math Exercises Library. 2011. Abstract Array Download: mgl-1.pdf (110.99 KB)
Slide Presentation
Saludes J. Commanding Sage using natural language. 2012. Available at: http://prezi.com/zchqjschryd4/gfsage-commanding-a-cas-using-natural-language/.Array
Saludes J, Xambó S. The GF mathematics library. 2011.Array Download: gfmath.pdf (136.56 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)
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
Saludes J, Xambó S. MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
Saludes J. State of the WP6 at the 3d progress meeting. Submitted.Array Download: wp6-3pm.pdf (84.5 KB)
Archambault D, Caprotti O, Ranta A, Saludes J. Using GF in multimodal assistants for mathematics. 2012.Array Download: DEIMS_TiddlyWiki.zip (7.09 MB)
Saludes J. WP6 Case study: mathematics - 2nd year review. 2012.Array Download: report.zip (1.85 KB)
Saludes J, Xambó S. WP6 - review presentation 2011. 2011.Array Download: wp6-y1.pdf (330.05 KB)
Software
Saludes J. 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)
Saludes J. MathBar.pgf. 2013. Abstract Array Download: MathBar.pgf (616.21 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)
Web project page
Saludes J, Ranta A, Hallgren T. Mathbar. 2011. Available at: http://www.grammaticalframework.org/demos/minibar/mathbar.html.Array