4162 results in Numerical analysis and computational science
10 - Sage: Creating a Viable Free Open Source Alternative to Magma, Maple, Mathematica, and MATLAB
-
-
- Book:
- Foundations of Computational Mathematics, Budapest 2011
- Published online:
- 05 December 2012
- Print publication:
- 15 November 2012, pp 230-238
-
- Chapter
- Export citation
FROM CAUSAL MODELS TO COUNTERFACTUAL STRUCTURES
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 12 November 2012, pp. 305-322
- Print publication:
- June 2013
-
- Article
- Export citation
A linear recurrence sequence of composite numbers
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 15 / May 2012
- Published online by Cambridge University Press:
- 01 November 2012, pp. 360-373
-
- Article
-
- You have access
- Export citation
ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 23 October 2012, pp. 160-181
- Print publication:
- March 2013
-
- Article
- Export citation
ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 October 2012, pp. 129-146
- Print publication:
- March 2013
-
- Article
- Export citation
THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 October 2012, pp. 710-719
- Print publication:
- December 2012
-
- Article
- Export citation
ANTIREALISM AND CONSTRUCTIVISM: BROUWER’S WEAK COUNTEREXAMPLES
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 03 October 2012, pp. 147-159
- Print publication:
- March 2013
-
- Article
- Export citation
GRADATIONAL ACCURACY AND NONCLASSICAL SEMANTICS
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 03 October 2012, pp. 513-537
- Print publication:
- December 2012
-
- Article
- Export citation
Efficient implementation of the Hardy–Ramanujan–Rademacher formula
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 15 / May 2012
- Published online by Cambridge University Press:
- 01 October 2012, pp. 341-359
-
- Article
-
- You have access
- Export citation
CANONICAL FORMULAS FOR wK4
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 19 September 2012, pp. 731-762
- Print publication:
- December 2012
-
- Article
- Export citation
FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 19 September 2012, pp. 87-128
- Print publication:
- March 2013
-
- Article
- Export citation
THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 666-678
- Print publication:
- December 2012
-
- Article
- Export citation
Identifying supersingular elliptic curves
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 15 / May 2012
- Published online by Cambridge University Press:
- 01 September 2012, pp. 317-325
-
- Article
-
- You have access
- Export citation
On the use of expansion series for stream ciphers
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 15 / May 2012
- Published online by Cambridge University Press:
- 01 September 2012, pp. 326-340
-
- Article
-
- You have access
- Export citation
RSL volume 5 issue 3 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. f1-f4
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
INTRODUCTION
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 05 September 2012, p. 379
- Print publication:
- September 2012
-
- Article
- Export citation
Galois groups of chromatic polynomials
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 15 / May 2012
- Published online by Cambridge University Press:
- 01 September 2012, pp. 281-307
-
- Article
-
- You have access
- Export citation
RSL volume 5 issue 3 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. b1-b2
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
Complete addition laws on abelian varieties
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 15 / May 2012
- Published online by Cambridge University Press:
- 01 September 2012, pp. 308-316
-
- Article
-
- You have access
- Export citation
The discrete compactness property for anisotropic edge elements on polyhedral domains∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 31 August 2012, pp. 169-181
- Print publication:
- January 2013
-
- Article
- Export citation