4161 results in Numerical analysis and computational science
RSL volume 9 issue 2 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 01 June 2016, pp. b1-b4
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
RSL volume 9 issue 2 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 01 June 2016, pp. f1-f4
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
An application of the
$p$-adic analytic class number formula
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 June 2016, pp. 217-228
-
- Article
-
- You have access
- Export citation
Finding 47:23 in the Baby Monster
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 June 2016, pp. 229-234
-
- Article
-
- You have access
- Export citation
Linear algebra software for large-scale accelerated multicore computing*
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. 1-160
- Print publication:
- 01 May 2016
-
- Article
- Export citation
Probabilistic analyses of condition numbers*
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. 321-382
- Print publication:
- 01 May 2016
-
- Article
- Export citation
ANU volume 25 Cover and Front matter
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. f1-f8
- Print publication:
- 01 May 2016
-
- Article
-
- You have access
- Export citation
A survey of direct methods for sparse linear systems
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. 383-566
- Print publication:
- 01 May 2016
-
- Article
- Export citation
On the computation of measure-valued solutions
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. 567-679
- Print publication:
- 01 May 2016
-
- Article
- Export citation
Partial differential equations and stochastic methods in molecular dynamics*
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. 681-880
- Print publication:
- 01 May 2016
-
- Article
- Export citation
ANU volume 25 Cover and Back matter
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. b1-b2
- Print publication:
- 01 May 2016
-
- Article
-
- You have access
- Export citation
An introduction to continuous optimization for imaging
-
- Journal:
- Acta Numerica / Volume 25 / 01 May 2016
- Published online by Cambridge University Press:
- 23 May 2016, pp. 161-319
- Print publication:
- 01 May 2016
-
- Article
-
- You have access
- HTML
- Export citation
RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 12 April 2016, pp. 238-250
- Print publication:
- June 2016
-
- Article
- Export citation
EMBRACING THE TECHNICALITIES: EXPRESSIVE COMPLETENESS AND REVENGE
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 11 April 2016, pp. 325-358
- Print publication:
- June 2016
-
- Article
- Export citation
AGREEMENT THEOREMS FOR SELF-LOCATING BELIEF
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 April 2016, pp. 380-407
- Print publication:
- June 2016
-
- Article
- Export citation
REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 04 April 2016, pp. 752-809
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
A fourth-order seven-point cubature on regular hexagons
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 April 2016, pp. 175-185
-
- Article
-
- You have access
- Export citation
Modular elliptic curves over the field of twelfth roots of unity
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 April 2016, pp. 155-174
-
- Article
-
- You have access
- Export citation
Numerical semigroups with a given set of pseudo-Frobenius numbers
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 April 2016, pp. 186-205
-
- Article
-
- You have access
- Export citation
OBLIGATION AS WEAKEST PERMISSION: A STRONGLY COMPLETE AXIOMATIZATION
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 01 April 2016, pp. 370-379
- Print publication:
- June 2016
-
- Article
- Export citation