Formalization Techniques for Asymptotic Reasoning in Classical Analysis.

Reynald Affeldt Cyril Cohen Damien Rouhling

Published in: J. Formaliz. Reason. (2018)

Keyphrases

databases
genetic algorithm
formal analysis
neural network
feature selection
bayesian networks
quantitative analysis
probabilistic reasoning
reasoning systems