1582 search results - page 4 / 317 » Mathematical Tools for Physics |
CIE
2007
Springer
14 years 2 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
KI
2006
Springer
13 years 8 months ago
2006
Springer
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...
SOCRATES
2008
13 years 10 months ago
2008
Recently, many efforts have been devoted to the implementation of web based learning tools, that have found widespread diffusion in high schools, graduate and undergraduate univer...
IIE
2006
13 years 8 months ago
2006
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
SYNASC
2006
IEEE
14 years 2 months ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...