4162 results in Numerical analysis and computational science
The complexity of the four colour theorem
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 August 2010, pp. 414-425
-
- Article
-
- You have access
- Export citation
The Mordell–Weil sieve: proving non-existence of rational points on curves
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 August 2010, pp. 272-306
-
- Article
-
- You have access
- Export citation
The minimal density of triangles in tripartite graphs
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 August 2010, pp. 388-413
-
- Article
-
- You have access
- Export citation
PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 23 July 2010, pp. 442-466
- Print publication:
- September 2010
-
- Article
- Export citation
DECIDABILITY OF INDEPENDENCE-FRIENDLY MODAL LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 13 July 2010, pp. 415-441
- Print publication:
- September 2010
-
- Article
- Export citation
LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 13 July 2010, pp. 485-519
- Print publication:
- September 2010
-
- Article
- Export citation
RAMSEY’S TEST, ADAMS’ THESIS, AND LEFT-NESTED CONDITIONALS
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 12 July 2010, pp. 467-484
- Print publication:
- September 2010
-
- Article
- Export citation
Application of the Kusuoka approximation with a tree-based branching algorithm to the pricing of interest-rate derivatives under the HJM model
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 July 2010, pp. 208-221
-
- Article
-
- You have access
- Export citation
Fundamental domains for genus-zero and genus-one congruence subgroups
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 July 2010, pp. 222-245
-
- Article
-
- You have access
- Export citation
A multi-D model for Raman amplification
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 45 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 24 June 2010, pp. 1-22
- Print publication:
- January 2011
-
- Article
- Export citation
A multilayer Saint-Venant system with mass exchanges for shallow water flows. Derivation and numerical validation*
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 45 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 24 June 2010, pp. 169-200
- Print publication:
- January 2011
-
- Article
- Export citation
A discrete contact model for crowd motion
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 45 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 24 June 2010, pp. 145-168
- Print publication:
- January 2011
-
- Article
- Export citation
RSL volume 3 issue 2 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 03 June 2010, pp. b1-b2
- Print publication:
- June 2010
-
- Article
-
- You have access
- Export citation
RSL volume 3 issue 2 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 03 June 2010, pp. f1-f4
- Print publication:
- June 2010
-
- Article
-
- You have access
- Export citation
SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 03 June 2010, pp. 175-227
- Print publication:
- June 2010
-
- Article
- Export citation
FULL MEREOGEOMETRIES
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 18 May 2010, pp. 521-567
- Print publication:
- December 2010
-
- Article
- Export citation
SUPER LIARS
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 11 May 2010, pp. 374-414
- Print publication:
- September 2010
-
- Article
- Export citation
Hexahedral H(div) and H(curl) finite elements*
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 45 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 10 May 2010, pp. 115-143
- Print publication:
- January 2011
-
- Article
- Export citation
A two-fluid hyperbolic model in a porous medium
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 6 / November 2010
- Published online by Cambridge University Press:
- 10 May 2010, pp. 1319-1348
- Print publication:
- November 2010
-
- Article
- Export citation
Explicit computations of Serre’s obstruction for genus-3 curves and application to optimal curves
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 May 2010, pp. 192-207
-
- Article
-
- You have access
- Export citation