4161 results in Numerical analysis and computational science
Algorithms for the approximate common divisor problem
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue A / 2016
- Published online by Cambridge University Press:
- 26 August 2016, pp. 58-72
-
- Article
-
- You have access
- Export citation
An algorithm for NTRU problems and cryptanalysis of the GGH multilinear map without a low-level encoding of zero
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue A / 2016
- Published online by Cambridge University Press:
- 26 August 2016, pp. 255-266
-
- Article
-
- You have access
- Export citation
Constructing genus-3 hyperelliptic Jacobians with CM
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue A / 2016
- Published online by Cambridge University Press:
- 26 August 2016, pp. 283-300
-
- Article
-
- You have access
- Export citation
Real multiplication through explicit correspondences
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue A / 2016
- Published online by Cambridge University Press:
- 26 August 2016, pp. 29-42
-
- Article
-
- You have access
- Export citation
Computing
$L$-series of geometrically hyperelliptic curves of genus three
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue A / 2016
- Published online by Cambridge University Press:
- 26 August 2016, pp. 220-234
-
- Article
-
- You have access
- Export citation
Roots of sparse polynomials over a finite field
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue A / 2016
- Published online by Cambridge University Press:
- 26 August 2016, pp. 196-204
-
- Article
-
- You have access
- Export citation
PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 17 August 2016, pp. 641-663
- Print publication:
- December 2016
-
- Article
- Export citation
THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 12 August 2016, pp. 511-521
- Print publication:
- September 2016
-
- Article
- Export citation
WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 08 August 2016, pp. 583-602
- Print publication:
- September 2016
-
- Article
- Export citation
ADDENDA ET CORRIGENDA TO “THE ARITHMETIC OF THE EVEN AND THE ODD”
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 01 August 2016, pp. 638-640
- Print publication:
- September 2016
-
- Article
- Export citation
MORITA EQUIVALENCE
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 29 July 2016, pp. 556-582
- Print publication:
- September 2016
-
- Article
- Export citation
COORDINATE-FREE LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 25 July 2016, pp. 522-555
- Print publication:
- September 2016
-
- Article
- Export citation
THE LOGIC OF LEIBNIZ’S GENERALES INQUISITIONES DE ANALYSI NOTIONUM ET VERITATUM
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 18 July 2016, pp. 686-751
- Print publication:
- December 2016
-
- Article
- Export citation
ON ANALOGUES OF THE CHURCH–TURING THESIS IN ALGORITHMIC RANDOMNESS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 July 2016, pp. 456-479
- Print publication:
- September 2016
-
- Article
- Export citation
VON NEUMANN’S CONSISTENCY PROOF
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 July 2016, pp. 429-455
- Print publication:
- September 2016
-
- Article
- Export citation
EXCLUSIVELY INDEXICAL DEDUCTION
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 603-637
- Print publication:
- September 2016
-
- Article
- Export citation
On the minimal modules for exceptional Lie algebras: Jordan blocks and stabilizers
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 July 2016, pp. 235-258
-
- Article
-
- You have access
- Export citation
CHARACTER AND OBJECT
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 20 June 2016, pp. 480-510
- Print publication:
- September 2016
-
- Article
- Export citation
THE AMBIGUITY OF KNOWABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 June 2016, pp. 421-428
- Print publication:
- September 2016
-
- Article
- Export citation
The linear programming relaxation permutation symmetry group of an orthogonal array defining integer linear program
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 June 2016, pp. 206-216
-
- Article
-
- You have access
- Export citation