Transcendental Functions and Continuity Checking in PVS.

Hanne Gottliebsen

Published in: TPHOLs (2000)

Keyphrases

multimedia
case study
artificial intelligence
data mining
information systems
image segmentation
three dimensional
theorem proving
formal verification
timed automata