4162 results in Numerical analysis and computational science
Adaptivity and variational stabilization for convection-diffusion equations∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 27 March 2012, pp. 1247-1273
- Print publication:
- September 2012
-
- Article
- Export citation
CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 26 March 2012, pp. 354-378
- Print publication:
- June 2012
-
- Article
- Export citation
ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 20 March 2012, pp. 294-353
- Print publication:
- June 2012
-
- Article
- Export citation
Computation of the drag force on a sphere close to a wall: The roughness issue
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 15 March 2012, pp. 1201-1224
- Print publication:
- September 2012
-
- Article
- Export citation
VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 06 March 2012, pp. 212-238
- Print publication:
- June 2012
-
- Article
- Export citation
INDISPENSABILITY ARGUMENTS AND INSTRUMENTAL NOMINALISM
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 06 March 2012, pp. 687-709
- Print publication:
- December 2012
-
- Article
- Export citation
NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 05 March 2012, pp. 205-211
- Print publication:
- June 2012
-
- Article
- Export citation
Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 22 February 2012, pp. 1175-1199
- Print publication:
- September 2012
-
- Article
- Export citation
ON ONTOLOGY AND REALISM IN MATHEMATICS
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 21 February 2012, pp. 480-512
- Print publication:
- September 2012
-
- Article
- Export citation
A priori error estimates for a state-constrained elliptic optimal control problem
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 1107-1120
- Print publication:
- September 2012
-
- Article
- Export citation
Reduced resistive MHD in Tokamaks with general density
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 1081-1106
- Print publication:
- September 2012
-
- Article
- Export citation
Modelling and simulation of liquid-vapor phase transition in compressible flows based on thermodynamical equilibrium∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 1029-1054
- Print publication:
- September 2012
-
- Article
- Export citation
RSL volume 5 issue 1 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. b1-b3
- Print publication:
- March 2012
-
- Article
-
- You have access
- Export citation
A family of discontinuous Galerkin mixed methods for nearly and perfectly incompressible elasticity∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 1003-1028
- Print publication:
- September 2012
-
- Article
- Export citation
Finite element approximation of finitely extensible nonlinear elastic dumbbell models for dilute polymers
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 4 / July 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 949-978
- Print publication:
- July 2012
-
- Article
- Export citation
Finite element approximations of the three dimensional Monge-Ampère equation
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 979-1001
- Print publication:
- September 2012
-
- Article
- Export citation
Representation formulas for L∞ norms of weakly convergent sequences of gradient fields in homogenization
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 1121-1146
- Print publication:
- September 2012
-
- Article
- Export citation
s∗-compressibility of the discrete Hartree-Fock equation
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 1055-1080
- Print publication:
- September 2012
-
- Article
- Export citation
Convergence of some adaptive FEM-BEM coupling for elliptic but possibly nonlinear interface problems
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 46 / Issue 5 / September 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. 1147-1173
- Print publication:
- September 2012
-
- Article
- Export citation
RSL volume 5 issue 1 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 13 February 2012, pp. f1-f4
- Print publication:
- March 2012
-
- Article
-
- You have access
- Export citation