Arithmetic Specification for Scientific Computation in ADA.

Rudi Klatte Christian P. Ullrich Jürgen Wolff von Gudenberg

Published in: IEEE Trans. Computers (1985)

Keyphrases

scientific data
information systems
science education
high level
scientific discovery
scientific disciplines
real time
machine learning
information retrieval
artificial intelligence
formal verification
scientific knowledge