4162 results in Numerical analysis and computational science
Continuous limits of discrete perimeters
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 16 December 2009, pp. 207-230
- Print publication:
- March 2010
-
- Article
- Export citation
Comparison of Vlasov solvers for spacecraft charging simulation
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 16 December 2009, pp. 109-131
- Print publication:
- January 2010
-
- Article
- Export citation
Convergence of discontinuous Galerkin approximations of an optimal control problem associated to semilinear parabolic PDE's
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 16 December 2009, pp. 189-206
- Print publication:
- January 2010
-
- Article
- Export citation
REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 786-798
- Print publication:
- December 2009
-
- Article
- Export citation
RSL volume 2 issue 4 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 10 December 2009, pp. b1-b2
- Print publication:
- December 2009
-
- Article
-
- You have access
- Export citation
A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 593-611
- Print publication:
- December 2009
-
- Article
- Export citation
BENACERRAF’S DILEMMA AND INFORMAL MATHEMATICS
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 769-785
- Print publication:
- December 2009
-
- Article
- Export citation
A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 684-699
- Print publication:
- December 2009
-
- Article
- Export citation
LOGICS FOR THE RELATIONAL SYLLOGISTIC
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 647-683
- Print publication:
- December 2009
-
- Article
- Export citation
MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR’S THEORY OF INFINITE NUMBER INEVITABLE?
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 612-646
- Print publication:
- December 2009
-
- Article
-
- You have access
- Export citation
MINIMAL TRUTH AND INTERPRETABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 799-815
- Print publication:
- December 2009
-
- Article
- Export citation
A FORMAL SYSTEM FOR EUCLID’S ELEMENTS
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 01 December 2009, pp. 700-768
- Print publication:
- December 2009
-
- Article
- Export citation
RSL volume 2 issue 4 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 10 December 2009, pp. f1-f4
- Print publication:
- December 2009
-
- Article
-
- You have access
- Export citation
Weighted regularization for composite materials in electromagnetism
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 03 November 2009, pp. 75-108
- Print publication:
- January 2010
-
- Article
- Export citation
A finite element scheme for the evolution of orientational order in fluid membranes
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 09 October 2009, pp. 1-31
- Print publication:
- January 2010
-
- Article
- Export citation
Wavelet compression of anisotropic integrodifferential operators on sparse tensor product spaces
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 09 October 2009, pp. 33-73
- Print publication:
- January 2010
-
- Article
- Export citation
Relaxation and numerical approximation of a two-fluid two-pressure diphasic model
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 43 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 09 October 2009, pp. 1063-1097
- Print publication:
- November 2009
-
- Article
- Export citation
Intransitivity and Vagueness - Corrigendum
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 05 October 2009, p. 591
- Print publication:
- September 2009
-
- Article
-
- You have access
- Export citation
A NOTE ON TWO THEOREMS BY ADAMS AND McGEE
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 05 October 2009, pp. 509-516
- Print publication:
- September 2009
-
- Article
- Export citation
AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 05 October 2009, pp. 517-549
- Print publication:
- September 2009
-
- Article
- Export citation