4162 results in Numerical analysis and computational science
Minimal genus and fibering of canonical surfaces via disk decomposition
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 May 2014, pp. 77-108
-
- Article
-
- You have access
- Export citation
Numerical analysis of history-dependent quasivariational inequalities with applications in contact mechanics
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 24 April 2014, pp. 919-942
- Print publication:
- May 2014
-
- Article
- Export citation
Interface model coupling via prescribed local flux balance
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 24 April 2014, pp. 895-918
- Print publication:
- May 2014
-
- Article
- Export citation
Space-time variational saddle point formulations of Stokes and Navier–Stokes equations∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 24 April 2014, pp. 875-894
- Print publication:
- May 2014
-
- Article
- Export citation
Fictitious domain methods using cut elements: III. A stabilized Nitsche method for Stokes’ problem
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 22 April 2014, pp. 859-874
- Print publication:
- May 2014
-
- Article
- Export citation
BILATERAL RELEVANT LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 16 April 2014, pp. 250-272
- Print publication:
- June 2014
-
- Article
- Export citation
TRUTH AND SPEED-UP
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 16 April 2014, pp. 319-340
- Print publication:
- June 2014
-
- Article
- Export citation
Multiscale Finite Element approach for “weakly” random problems and related issues
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 08 April 2014, pp. 815-858
- Print publication:
- May 2014
-
- Article
- Export citation
A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 03 April 2014, pp. 484-498
- Print publication:
- September 2014
-
- Article
- Export citation
Classification of subgroups isomorphic to $\mathrm{PSL}_2(27)$ in the Monster
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 33-46
-
- Article
-
- You have access
- Export citation
MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 273-298
- Print publication:
- June 2014
-
- Article
- Export citation
Computing fundamental domains for the Bruhat–Tits tree for ${\rm GL}_2(\mathbf{Q}_p)$, $p$-adic automorphic forms, and the canonical embedding of Shimura curves
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 1-23
-
- Article
-
- You have access
- Export citation
MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 299-318
- Print publication:
- June 2014
-
- Article
- Export citation
On a conjecture of Rudin on squares in arithmetic progressions
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 58-76
-
- Article
-
- You have access
- Export citation
Wieferich pairs and Barker sequences, II
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 24-32
-
- Article
-
- You have access
- Export citation
Numerical analysis of modular regularization methods for the BDF2 time discretization of the Navier-Stokes equations∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 765-793
- Print publication:
- May 2014
-
- Article
- Export citation
Convergence analysis of the lowest order weakly penalized adaptive discontinuous Galerkin methods
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 753-764
- Print publication:
- May 2014
-
- Article
- Export citation
Deterministic polynomial factoring and association schemes
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 123-140
-
- Article
-
- You have access
- Export citation
Parallel Schwarz Waveform Relaxation Algorithm for an N-dimensional semilinear heat equation∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 795-813
- Print publication:
- May 2014
-
- Article
- Export citation
Calculating conjugacy classes in Sylow $p$-subgroups of finite Chevalley groups of rank six and seven
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 109-122
-
- Article
-
- You have access
- Export citation