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 
S
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. 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
X
Xambó S, Saludes J. Math Exercises Library. 2011. Abstract Array Download: mgl-1.pdf (110.99 KB)