On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods.

Jeffrey Uhlmann Jie Wang

Published in: SN Comput. Sci. (2021)

Keyphrases

significant improvement
empirical studies
optimization methods
real time
data sets
learning algorithm
cross validation
databases
multiscale
expert systems
high dimensional
computationally expensive
statistical methods