Towards a Numerical Proof of Turbulence Closure.

Giulio Ortali Alessandro Corbetta Gianluigi Rozza Federico Toschi

Published in: CoRR (2022)

Keyphrases

theorem prover
sensitivity analysis
computer vision
information systems
three dimensional
multiresolution
long range
theorem proving
numerical analysis
linear logic