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...
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...
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...
Francesco Giannino, Mario Rosario Guarracino, Vale...
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
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...