4162 results in Numerical analysis and computational science
11 - Semidefinite relaxations for semi-algebraic optimization
-
- Book:
- An Introduction to Polynomial and Semi-Algebraic Optimization
- Published online:
- 05 February 2015
- Print publication:
- 19 February 2015, pp 164-173
-
- Chapter
- Export citation
FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 13 February 2015, pp. 540-552
- Print publication:
- September 2015
-
- Article
- Export citation
REMARKS ON NAIVE SET THEORY BASED ON LP
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 12 February 2015, pp. 279-295
- Print publication:
- June 2015
-
- Article
- Export citation
CONSISTENCY AND THE THEORY OF TRUTH
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 11 February 2015, pp. 424-466
- Print publication:
- September 2015
-
- Article
- Export citation
THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 10 February 2015, pp. 306-327
- Print publication:
- June 2015
-
- Article
- Export citation
EDWARD NELSON (1932–2014)
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 05 February 2015, pp. 607-610
- Print publication:
- September 2015
-
- Article
- Export citation
An Introduction to Polynomial and Semi-Algebraic Optimization
-
- Published online:
- 05 February 2015
- Print publication:
- 19 February 2015
SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 03 February 2015, pp. 467-487
- Print publication:
- September 2015
-
- Article
- Export citation
HOW A SEMANTICS FOR TONK SHOULD BE
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 03 February 2015, pp. 488-505
- Print publication:
- September 2015
-
- Article
- Export citation
Construction of spline curves on smooth manifolds by action of Lie groups
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 February 2015, pp. 217-230
-
- Article
-
- You have access
- Export citation
Computing separable isogenies in quasi-optimal time
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 February 2015, pp. 198-216
-
- Article
-
- You have access
- Export citation
Genus-2 curves and Jacobians with a given number of points
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 February 2015, pp. 170-197
-
- Article
-
- You have access
- Export citation
AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 26 January 2015, pp. 257-278
- Print publication:
- June 2015
-
- Article
- Export citation
NAIVE SET THEORY AND NONTRANSITIVE LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 26 January 2015, pp. 553-571
- Print publication:
- September 2015
-
- Article
- Export citation
IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 16 January 2015, pp. 370-410
- Print publication:
- June 2015
-
- Article
- Export citation
GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 12 January 2015, pp. 192-205
- Print publication:
- March 2015
-
- Article
- Export citation
CONTINGENCY AND KNOWING WHETHER
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 09 January 2015, pp. 75-107
- Print publication:
- March 2015
-
- Article
- Export citation
PEOPLE WITH COMMON PRIORS CAN AGREE TO DISAGREE
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 05 January 2015, pp. 11-45
- Print publication:
- March 2015
-
- Article
- Export citation
McCammond’s normal forms for free aperiodic semigroups revisited
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 January 2015, pp. 130-147
-
- Article
-
- You have access
- Export citation
Finite basis problem for semigroups of order six
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 18 / Issue 1 / 2015
- Published online by Cambridge University Press:
- 01 January 2015, pp. 1-129
-
- Article
-
- You have access
- Export citation