4162 results in Numerical analysis and computational science
TRANSITIVE PRIMAL INFON LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 21 March 2013, pp. 281-304
- Print publication:
- June 2013
-
- Article
- Export citation
MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 19 March 2013, pp. 348-365
- Print publication:
- June 2013
-
- Article
- Export citation
A LOGIC OF JUSTIFICATION AND TRUTHMAKING
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 18 March 2013, pp. 323-342
- Print publication:
- June 2013
-
- Article
- Export citation
A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 18 March 2013, pp. 229-253
- Print publication:
- June 2013
-
- Article
- Export citation
THE POTENTIAL HIERARCHY OF SETS
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 14 March 2013, pp. 205-228
- Print publication:
- June 2013
-
- Article
- Export citation
BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 13 March 2013, pp. 513-523
- Print publication:
- September 2013
-
- Article
- Export citation
Macroscopic contact angle and liquid drops on rough solid surfaces via homogenization and numerical simulations
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 10 March 2013, pp. 837-858
- Print publication:
- May 2013
-
- Article
- Export citation
Convergence analysis of smoothing methods for optimal control of stationary variational inequalities with control constraints∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 04 March 2013, pp. 771-787
- Print publication:
- May 2013
-
- Article
- Export citation
On power series solutions for the Euler equation, and the Behr–Nečas–Wu initial datum
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 04 March 2013, pp. 663-688
- Print publication:
- May 2013
-
- Article
- Export citation
A piecewise P2-nonconforming quadrilateral finite element
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 04 March 2013, pp. 689-715
- Print publication:
- May 2013
-
- Article
- Export citation
Symmetric parareal algorithms for Hamiltonian systems
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 04 March 2013, pp. 717-742
- Print publication:
- May 2013
-
- Article
- Export citation
RSL volume 6 issue 1 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 04 March 2013, pp. b1-b3
- Print publication:
- March 2013
-
- Article
-
- You have access
- Export citation
INTRODUCTION
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 04 March 2013, pp. 1-5
- Print publication:
- March 2013
-
- Article
- Export citation
RSL volume 6 issue 1 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 04 March 2013, pp. f1-f4
- Print publication:
- March 2013
-
- Article
-
- You have access
- Export citation
Computing zeta functions of nondegenerate hypersurfaces with few monomials
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 16 / October 2013
- Published online by Cambridge University Press:
- 14 February 2013, pp. 9-44
-
- Article
-
- You have access
- Export citation
A comprehensive perturbation theorem for estimating magnitudes of roots of polynomials
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 16 / October 2013
- Published online by Cambridge University Press:
- 14 February 2013, pp. 1-8
-
- Article
-
- You have access
- Export citation
6 - Numerical Integration
-
- Book:
- Numerical Methods in Engineering with Python 3
- Published online:
- 05 June 2014
- Print publication:
- 21 January 2013, pp 199-245
-
- Chapter
- Export citation
Index
-
- Book:
- Numerical Methods in Engineering with Python 3
- Published online:
- 05 June 2014
- Print publication:
- 21 January 2013, pp 421-423
-
- Chapter
- Export citation
Preface
-
- Book:
- Numerical Methods in Engineering with Python 3
- Published online:
- 05 June 2014
- Print publication:
- 21 January 2013, pp ix-xii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Numerical Methods in Engineering with Python 3
- Published online:
- 05 June 2014
- Print publication:
- 21 January 2013, pp i-iv
-
- Chapter
- Export citation