Sciweavers

18 search results - page 4 / 4
» aisc 2010
Sort
View
AISC
2010
Springer
13 years 9 months ago
Notations Around the World: Census and Exploitation
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...
Paul Libbrecht
AISC
2010
Springer
13 years 9 months ago
Adapting Mathematical Domain Reasoners
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
Bastiaan Heeren, Johan Jeuring
AISC
2010
Springer
13 years 8 months ago
How to Correctly Prune Tropical Trees
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...
Jean-Vincent Loddo, Luca Saiu