Publications

Filters: Author is Sebastian Xambó  [Clear All Filters]
In Press
Saludes J, Xambó S.  In Press.  Multilingual Sage. Tbilisi Mathematical Journal. 5(2) Abstract Array
2013
Saludes J, Caprotti O, Xambó S.  2013.  A grammar-based approach to multilingual mathematics. 5th International Workshop on Mathematical e-LearningArray Download: eMath5Madrid.pdf (492.67 KB)
2012
Saludes J, Xambó S.  2012.  Toward multilingual mechanized mathematics assistants. EACA 2012 (Proceedings). :163–166.Array
2011
Saludes J, Xambó S.  2011.  WP6 - review presentation 2011. Array Download: wp6-y1.pdf (330.05 KB)
Saludes J, Xambó S.  2011.  The GF Mathematics Library. Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Electronic Proceedings in Theoretical Computer Science :102–110. Abstract Array
[1296] Saludes J, Xambó S.  2011.  The GF mathematics library. Array Download: gfmath.pdf (136.56 KB)
[1188] Xambó S, Saludes J.  2011.  Math Exercises Library. Abstract Array Download: mgl-1.pdf (110.99 KB)
Ribó A, Saludes J, Xambó S.  2011.  Simple drill library snapshot. Array Download: mgl.tar.gz (974.6 KB)
2010
[1246] Saludes J, Xambó S.  2010.  MOLTO Mathematical Grammar Library. Array Download: mOlto-MGL.pdf (605.86 KB)