Sign in
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