Login / Signup
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
R. Baker Kearfott
Markus Neher
Shin'ichi Oishi
Fabien Rico
Published in:
Numerical Software with Result Verification (2003)
Keyphrases
</>
interactive systems
case study
human computer interaction
digital entertainment
real world
user interface
lessons learned
digital libraries
open source
problem based learning
neural network
detailed descriptions
databases
website
data sets
object oriented
decision making
genetic algorithm
visualization tools