4162 results in Numerical analysis and computational science
Convergent finite element discretizations of the Navier-Stokes-Nernst-Planck-Poisson system
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 3 / May 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 531-571
- Print publication:
- May 2010
-
- Article
- Export citation
Electrowetting of a 3D drop: numerical modelling with electrostatic vector fields
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 647-670
- Print publication:
- July 2010
-
- Article
- Export citation
RSL volume 3 issue 1 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 05 February 2010, pp. f1-f4
- Print publication:
- March 2010
-
- Article
-
- You have access
- Export citation
RSL volume 3 issue 1 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 05 February 2010, pp. b1-b2
- Print publication:
- March 2010
-
- Article
-
- You have access
- Export citation
INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 05 February 2010, pp. 1-25
- Print publication:
- March 2010
-
- Article
- Export citation
Optimal snapshot location for computing POD basis functions
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 3 / May 2010
- Published online by Cambridge University Press:
- 04 February 2010, pp. 509-529
- Print publication:
- May 2010
-
- Article
- Export citation
Adaptive finite element methods for elliptic problems: Abstract framework and applications
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 3 / May 2010
- Published online by Cambridge University Press:
- 04 February 2010, pp. 485-508
- Print publication:
- May 2010
-
- Article
- Export citation
Analysis of a semi-Lagrangian method for the spherically symmetric Vlasov-Einstein system
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 3 / May 2010
- Published online by Cambridge University Press:
- 04 February 2010, pp. 573-595
- Print publication:
- May 2010
-
- Article
- Export citation
Corrector results for a parabolic problem with a memory effect
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 3 / May 2010
- Published online by Cambridge University Press:
- 04 February 2010, pp. 421-454
- Print publication:
- May 2010
-
- Article
- Export citation
A special finite element method based on component mode synthesis
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 3 / May 2010
- Published online by Cambridge University Press:
- 04 February 2010, pp. 401-420
- Print publication:
- May 2010
-
- Article
- Export citation
Skipping transition conditions in a posteriori error estimates for finite element discretizations of parabolic equations
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 3 / May 2010
- Published online by Cambridge University Press:
- 04 February 2010, pp. 455-484
- Print publication:
- May 2010
-
- Article
- Export citation
Computing Modular Polynomials
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 8 / 2005
- Published online by Cambridge University Press:
- 01 February 2010, pp. 195-204
-
- Article
-
- You have access
- Export citation
On the Computation of Integral Closures of Cyclic Extensions of Function Fields
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 10 / 2007
- Published online by Cambridge University Press:
- 01 February 2010, pp. 141-160
-
- Article
-
- You have access
- Export citation
Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 6 / 2003
- Published online by Cambridge University Press:
- 01 February 2010, pp. 40-67
-
- Article
-
- You have access
- Export citation
Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 5 / 2002
- Published online by Cambridge University Press:
- 01 February 2010, pp. 194-219
-
- Article
-
- You have access
- Export citation
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 6 / 2003
- Published online by Cambridge University Press:
- 01 February 2010, pp. 198-248
-
- Article
-
- You have access
- Export citation
Conjugacy Class Representatives in the Monster Group
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 8 / 2005
- Published online by Cambridge University Press:
- 01 February 2010, pp. 205-216
-
- Article
-
- You have access
- Export citation
The Tropical j-Invariant
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 12 / 2009
- Published online by Cambridge University Press:
- 01 February 2010, pp. 275-294
-
- Article
-
- You have access
- Export citation
Range of the First Three Eigenvalues of the Planar Dirichlet Laplacian
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 6 / 2003
- Published online by Cambridge University Press:
- 01 February 2010, pp. 1-17
-
- Article
-
- You have access
- Export citation
A Domain-Theoretic Approach to Integration in Hausdorff Spaces
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 3 / 2000
- Published online by Cambridge University Press:
- 01 February 2010, pp. 229-273
-
- Article
-
- You have access
- Export citation