11436 search results - page 18 / 2288 » Modeling Real Reasoning |
TPHOL
2007
IEEE
14 years 5 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
CC
2006
Springer
14 years 2 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
ITS
2000
Springer
14 years 2 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
CSL
2009
Springer
14 years 5 months ago
2009
Springer
TPHOL
2005
IEEE
14 years 4 months ago
2005
IEEE
