Verified Interactive Computation of Definite Integrals.

Runqing Xu Liming Li Bohua Zhan

Published in: CADE (2021)

Keyphrases

computer graphics
user friendly
data visualization
machine learning
information retrieval
parallel computation
product configuration
data sets
neural network
search engine
learning environment
expert systems
user interaction
interactive systems
highly interactive