4163 results in Numerical analysis and computational science
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 25 June 2020, pp. 1-21
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Numerical methods for nonlocal and fractional models
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. 1-124
- Print publication:
- May 2020
-
- Article
- Export citation
ANU volume 29 Cover and Front matter
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. f1-f6
- Print publication:
- May 2020
-
- Article
-
- You have access
- Export citation
The numerics of phase retrieval
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. 125-228
- Print publication:
- May 2020
-
- Article
- Export citation
Fast algorithms using orthogonal polynomials
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. 573-699
- Print publication:
- May 2020
-
- Article
- Export citation
Randomized numerical linear algebra: Foundations and algorithms
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. 403-572
- Print publication:
- May 2020
-
- Article
- Export citation
ANU volume 29 Cover and Back matter
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. b1-b2
- Print publication:
- May 2020
-
- Article
-
- You have access
- Export citation
Essentially non-oscillatory and weighted essentially non-oscillatory schemes
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. 701-762
- Print publication:
- May 2020
-
- Article
- Export citation
Computing quantum dynamics in the semiclassical regime
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. 229-401
- Print publication:
- May 2020
-
- Article
- Export citation
RSL volume 13 issue 2 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 24 April 2020, pp. f1-f4
- Print publication:
- June 2020
-
- Article
-
- You have access
- Export citation
RSL volume 13 issue 2 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 24 April 2020, pp. b1-b2
- Print publication:
- June 2020
-
- Article
-
- You have access
- Export citation
RSL volume 13 issue 1 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 20 March 2020, pp. b1-b2
- Print publication:
- March 2020
-
- Article
-
- You have access
- Export citation
RSL volume 13 issue 1 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 20 March 2020, pp. f1-f4
- Print publication:
- March 2020
-
- Article
-
- You have access
- Export citation
FORMAL QUALITATIVE PROBABILITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 20 February 2020, pp. 882-909
- Print publication:
- December 2021
-
- Article
- Export citation
DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 12 December 2019, pp. 133-164
- Print publication:
- March 2022
-
- Article
- Export citation
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 09 December 2019, pp. 187-224
- Print publication:
- March 2021
-
- Article
- Export citation
RSL volume 12 issue 4 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 17 December 2019, pp. f1-f4
- Print publication:
- December 2019
-
- Article
-
- You have access
- Export citation
RSL volume 12 issue 4 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 17 December 2019, pp. b1-b2
- Print publication:
- December 2019
-
- Article
-
- You have access
- Export citation
NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 26 November 2019, pp. 776-796
- Print publication:
- December 2020
-
- Article
- Export citation
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 18 November 2019, pp. 250-284
- Print publication:
- March 2021
-
- Article
- Export citation