A Taste of CVC4 Part 2: Quantified Formulas Cesare Tinelli Andrew Reynolds

Source URL: lara.epfl.ch

On the dynamics of high Reynolds number turbulent axisymmetric and plane separating/reattaching flows ´ Weiss and S´ebastien Deck and Jean-Christophe Robinet and Pierre Pierre-Elie Sagaut

Source URL: jch.robinet.pagesperso-orange.fr

Satisfiability Modulo Theories : Beyond Decision Procedures Andrew Reynolds May 20, 2015 SMT Solvers for Software Verification/Security

Source URL: lara.epfl.ch

PRL 105, week ending 20 AUGUSTPHYSICAL REVIEW LETTERS

Source URL: stockerlab.ethz.ch

• Fluid dynamics
• Stratified flow
• Internal wave
• Turbulence
• Fluid mechanics
• Stokes flow
• Reynolds number
• Viscosity
• Incompressible flow

Quantitative flow analysis of swimming dynamics with coherent Lagrangian vortices F. Huhn, W. M. van Rees, M. Gazzola, D. Rossinelli, G. Haller, and P. Koumoutsakos Citation: Chaos 25, ); doi:

Source URL: www.mattiagazzola.com

• Fluid dynamics
• Aerodynamics
• Mechanics
• Continuum mechanics
• Vortex
• Turbulence
• Lift
• Lagrangian coherent structure
• Reynolds number
• Hydrodynamical helicity
• Vorticity
• Strouhal number

XXII FLUID MECHANICS CONFERENCE Słok near Bełchatów city, 11-14 September 2016 Residual distribution scheme with local preconditioning in simulation of the complex 3D high-Reynolds flows. J Majewski1

Source URL: www.kkmp2016.pwr.edu.pl

Model Finding for Recursive Functions in SMT Andrew Reynolds Jasmin Christian Blanchette Cesare Tinelli SMT July 18, 2015

Source URL: lara.epfl.ch

CVC3 Proof Conversion to LFSC 1 Andrew Reynolds Cesare Tinelli

Source URL: lara.epfl.ch

Induction in CVC4 Andrew Reynolds December 3rd, 2014 Overview • Satisfiability Modulo Theories (SMT)

Source URL: lara.epfl.ch

FL44CH16-Stocker ARI ANNUAL REVIEWS

Source URL: stockerlab.ethz.ch

• Fluid dynamics
• Chemistry
• Continuum mechanics
• Engineering
• Scallop theorem
• Plankton
• Drag
• Stokes flow
• Bacteria
• Fluid mechanics
• Reynolds number
• Settling