Start date cannot be after end date.
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Math 8994: Discontinuous Galerkin methods: An introduction - The effect of the nonconformity of the meshes
Presenter
- Bernardo Cockburn
April 20, 2011
IMA
Math 8994: Discontinuous Galerkin methods: An introduction - Accuracy and superconvergence
Presenter
- Bernardo Cockburn
April 6, 2011
IMA
Math 8994: Discontinuous Galerkin methods: An introduction - Hybridizablemethods: Static condensation
Presenter
- Bernardo Cockburn
March 30, 2011
IMA
Math 8994: Discontinuous Galerkin methods: An introduction - DG methods for diffusion problems
Presenter
- Bernardo Cockburn
March 2, 2011
IMA
Math 8994: Discontinuous Galerkin methods: An introduction - The RKDG method for gas dynamics
Presenter
- Bernardo Cockburn
February 23, 2011
IMA
Math 8994: Discontinuous Galerkin methods: An introduction - The RKDG method for scalar conservation laws
Presenter
- Bernardo Cockburn
February 16, 2011
IMA
Math 8994: Discontinuous Galerkin methods: An introduction - Nonlinear scalar conservation laws
Presenter
- Bernardo Cockburn
February 9, 2011
IMA
Math 8994: Discontinuous Galerkin methods: An introduction - Linear, symmetric hyperbolic systems
Presenter
- Bernardo Cockburn
February 2, 2011
IMA
Electrokinetic phenomena in particulate suspensions: an introduction
Presenter
- David Saintillan
December 5, 2009
IMA
Doing Algebraic Geometry in Macaulay2- - an introduction
Presenter
- Mike Stillman
March 10, 2009
SLMath