Publications

Filters: First Letter Of Keyword is W  [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   [Show ALL]
WP7
Chechev M, Gonzàlez M, Màrquez L, España-Bonet C. The Patents Retrieval Prototype in the MOLTO project. In: WWW2012 Conference. WWW2012 Conference. Lyon, France; 2012.Array Download: patentsretrieval.pdf (397.01 KB)
España-Bonet C, Enache R, Slaski A, et al. Patent translation within the MOLTO project. In: Workshop on Patent Translation, MT Summit XIII. 4thth ed. Workshop on Patent Translation, MT Summit XIII.; 2011:70-78.Array Download: patentsMOLTO4.pdf (282.42 KB)
WP6
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
Saludes J, Xambó S. WP6 - review presentation 2011. 2011.Array Download: wp6-y1.pdf (330.05 KB)
Saludes J, Ribó A. Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
Saludes J. State of the WP6 at the 3d progress meeting. Submitted.Array Download: wp6-3pm.pdf (84.5 KB)
Saludes J, Xambó S. The GF mathematics library. 2011.Array Download: gfmath.pdf (136.56 KB)
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
Anon. Simple drill grammar library. 2011.Array Download: D6.1.pdf (155.32 KB)
Saludes J, Xambó S. Multilingual Sage. Tbilisi Mathematical Journal. In Press;5(2). Abstract 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)