Login / Signup
Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials.
Sophie Bernard
Yves Bertot
Laurence Rideau
Pierre-Yves Strub
Published in:
CPP (2016)
Keyphrases
</>
formal proofs
low order
multivariate normal
multivariate data
statistical tests
regression model
neural network
databases
fuzzy logic
hidden markov models
multiscale
real time
multivariate time series
positive definite
data mining
mixed data
algebraic geometry
lagrange interpolation
hermite transform