VSDITLU: a verifiable symbolic definite integral table look-up.

A. A. Adams Hanne Gottliebsen Steve Linton Ursula Martin

Published in: CADE (1999)

Keyphrases

database
symbolic representation
sufficient conditions
symbolic description
secret sharing
high level
databases
symbolic reasoning
data sets
search algorithm
color images
information systems
real world
multi party
intermediate level
lookup table
neural learning