4162 results in Numerical analysis and computational science
FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1-22
- Print publication:
- March 2016
-
- Article
- Export citation
PROPOSITIONAL CONTINGENTISM
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 22 December 2015, pp. 123-142
- Print publication:
- March 2016
-
- Article
-
- You have access
- Export citation
A computational iterative method for solving nonlinear ordinary differential equations
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 December 2015, pp. 730-753
-
- Article
-
- You have access
- Export citation
On ${\it\lambda}$-invariants attached to cyclic cubic number fields
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 December 2015, pp. 684-698
-
- Article
-
- You have access
- Export citation
CoxIter – Computing invariants of hyperbolic Coxeter groups
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 December 2015, pp. 754-773
-
- Article
-
- You have access
- Export citation
PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 01 December 2015, pp. 44-75
- Print publication:
- March 2016
-
- Article
- Export citation
Good families of Drinfeld modular curves
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 December 2015, pp. 699-712
-
- Article
-
- You have access
- Export citation
A parallel root-finding algorithm
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 December 2015, pp. 713-729
-
- Article
-
- You have access
- Export citation
RSL volume 8 issue 4 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 17 November 2015, pp. f1-f4
- Print publication:
- December 2015
-
- Article
-
- You have access
- Export citation
MERGING OF OPINIONS AND PROBABILITY KINEMATICS
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 17 November 2015, pp. 611-648
- Print publication:
- December 2015
-
- Article
- Export citation
RSL volume 8 issue 4 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 17 November 2015, pp. b1-b3
- Print publication:
- December 2015
-
- Article
-
- You have access
- Export citation
Two compact incremental prime sieves
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 November 2015, pp. 675-683
-
- Article
-
- You have access
- Export citation
A software package for Mori dream spaces
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 November 2015, pp. 647-659
-
- Article
-
- You have access
- Export citation
Every $\text{PSL}_{2}(13)$ in the Monster contains $13A$-elements
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 November 2015, pp. 667-674
-
- Article
-
- You have access
- Export citation
Index
-
- Book:
- Numerical Methods in Engineering with MATLAB®
- Published online:
- 28 May 2018
- Print publication:
- 20 October 2015, pp 413-417
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Numerical Methods in Engineering with MATLAB®
- Published online:
- 28 May 2018
- Print publication:
- 20 October 2015, pp i-iv
-
- Chapter
- Export citation
10 - Introduction to Optimization
-
- Book:
- Numerical Methods in Engineering with MATLAB®
- Published online:
- 28 May 2018
- Print publication:
- 20 October 2015, pp 366-398
-
- Chapter
- Export citation
Preface
-
- Book:
- Numerical Methods in Engineering with MATLAB®
- Published online:
- 28 May 2018
- Print publication:
- 20 October 2015, pp ix-x
-
- Chapter
- Export citation
3 - Interpolation and Curve Fitting
-
- Book:
- Numerical Methods in Engineering with MATLAB®
- Published online:
- 28 May 2018
- Print publication:
- 20 October 2015, pp 99-138
-
- Chapter
- Export citation
List of Computer Programs
-
- Book:
- Numerical Methods in Engineering with MATLAB®
- Published online:
- 28 May 2018
- Print publication:
- 20 October 2015, pp 407-410
-
- Chapter
- Export citation