1672 search results - page 22 / 335 » Interactive Mathematical Documents |
75
Voted
CHI
2002
ACM
16 years 2 months ago
2002
ACM
126
Voted
SG
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
117
Voted
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
We present an online system for recognizing handwritten mathematical matrices in the context of an interactive computational tool called MathPaper. Automatic segmentation and reco...
103
click to vote
TPHOL
1996
IEEE
15 years 6 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
CORR
2007
Springer
15 years 1 months ago
2007
Springer
The Recoil Growth algorithm, proposed in 1999 by Consta et al., is one of the most efficient algorithm available in the literature to sample from a multi-polymer system. While the ...