Login / Signup
Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials.
Sophie Bernard
Yves Bertot
Laurence Rideau
Pierre-Yves Strub
Published in:
CoRR (2015)
Keyphrases
</>
formal proofs
regression model
multivariate data
statistical process control
databases
computer vision
statistical tests
empirical bayes
neural network
information retrieval
case study
multi agent
feature vectors
mixed data