4162 results in Numerical analysis and computational science
Squarefree values of trinomial discriminants
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 January 2015, pp. 148-169
-
- Article
-
- You have access
- Export citation
MODAL LOGICS OF METRIC SPACES
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 18 December 2014, pp. 178-191
- Print publication:
- March 2015
-
- Article
- Export citation
CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 18 December 2014, pp. 506-528
- Print publication:
- September 2015
-
- Article
- Export citation
THE EXPRESSIVE POWER OF TRUTH
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 15 December 2014, pp. 345-369
- Print publication:
- June 2015
-
- Article
- Export citation
SUPERVALUATION ON TREES FOR KRIPKE’S THEORY OF TRUTH
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 15 December 2014, pp. 46-74
- Print publication:
- March 2015
-
- Article
- Export citation
RSL volume 7 issue 4 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 10 December 2014, pp. b1-b4
- Print publication:
- December 2014
-
- Article
-
- You have access
- Export citation
RSL volume 7 issue 4 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 10 December 2014, pp. f1-f4
- Print publication:
- December 2014
-
- Article
-
- You have access
- Export citation
A database of number fields
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 December 2014, pp. 595-618
-
- Article
-
- You have access
- Export citation
COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 27 November 2014, pp. 164-177
- Print publication:
- March 2015
-
- Article
- Export citation
AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 18 November 2014, pp. 529-539
- Print publication:
- September 2015
-
- Article
- Export citation
THE THEORY OF SPECTRUM EXCHANGEABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 06 November 2014, pp. 108-130
- Print publication:
- March 2015
-
- Article
- Export citation
A classification of all 1-Salem graphs
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 November 2014, pp. 582-594
-
- Article
-
- You have access
- Export citation
Moving Dirichlet boundary conditions∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 6 / November 2014
- Published online by Cambridge University Press:
- 10 October 2014, pp. 1859-1876
- Print publication:
- November 2014
-
- Article
- Export citation
On some implicit and semi-implicit staggered schemes for the shallow water and Euler equations
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 6 / November 2014
- Published online by Cambridge University Press:
- 10 October 2014, pp. 1807-1857
- Print publication:
- November 2014
-
- Article
- Export citation
SELF-REFERENCE IN ARITHMETIC I
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 07 October 2014, pp. 671-691
- Print publication:
- December 2014
-
- Article
- Export citation
SELF-REFERENCE IN ARITHMETIC II
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 07 October 2014, pp. 692-712
- Print publication:
- December 2014
-
- Article
- Export citation
Regularity and approximability of the solutions to the chemical master equation∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 6 / November 2014
- Published online by Cambridge University Press:
- 03 October 2014, pp. 1757-1775
- Print publication:
- November 2014
-
- Article
- Export citation
A tensor approximation method based on ideal minimal residual formulations for the solution of high-dimensional problems∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 48 / Issue 6 / November 2014
- Published online by Cambridge University Press:
- 03 October 2014, pp. 1777-1806
- Print publication:
- November 2014
-
- Article
- Export citation
ON WEAK GROUND
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 02 October 2014, pp. 713-744
- Print publication:
- December 2014
-
- Article
- Export citation
Computing symmetry groups of polyhedra
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 October 2014, pp. 565-581
-
- Article
-
- You have access
- Export citation