4162 results in Numerical analysis and computational science
POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
-
- Journal:
- The Review of Symbolic Logic / Volume 4 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 14 September 2010, pp. 150-170
- Print publication:
- March 2011
-
- Article
- Export citation
FORMULAS IN MODAL LOGIC S4
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 13 September 2010, pp. 600-627
- Print publication:
- December 2010
-
- Article
- Export citation
EXPRESSIBLE SEMANTICS FOR EXPRESSIBLE COUNTERFACTUALS
-
- Journal:
- The Review of Symbolic Logic / Volume 4 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 13 September 2010, pp. 63-80
- Print publication:
- March 2011
-
- Article
- Export citation
A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
-
- Journal:
- The Review of Symbolic Logic / Volume 4 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 13 September 2010, pp. 43-53
- Print publication:
- March 2011
-
- Article
- Export citation
THE INADEQUACY OF A PROPOSED PARACONSISTENT SET THEORY
-
- Journal:
- The Review of Symbolic Logic / Volume 4 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 13 September 2010, pp. 106-108
- Print publication:
- March 2011
-
- Article
- Export citation
15 - Arbitrarily high order of convergence of the worst-case error
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 465-508
-
- Chapter
- Export citation
14 - The decay of the Walsh coefficients of smooth functions
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 434-464
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp i-iv
-
- Chapter
- Export citation
Dedication
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp v-vi
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 1-15
-
- Chapter
- Export citation
11 - Cyclic digital nets and hyperplane nets
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 344-362
-
- Chapter
- Export citation
Index
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 597-600
-
- Chapter
- Export citation
12 - Multivariate integration in weighted Sobolev spaces
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 363-394
-
- Chapter
- Export citation
References
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 583-596
-
- Chapter
- Export citation
9 - Propagation rules for digital nets
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 285-297
-
- Chapter
- Export citation
3 - Geometric discrepancy
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 46-107
-
- Chapter
- Export citation
8 - Special constructions of digital nets and sequences
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 263-284
-
- Chapter
- Export citation
Digital Nets and Sequences
- Discrepancy Theory and Quasi–Monte Carlo Integration
-
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010
16 - Explicit constructions of point sets with the best possible order of L2-discrepancy
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 509-558
-
- Chapter
- Export citation
7 - Duality theory
-
- Book:
- Digital Nets and Sequences
- Published online:
- 05 July 2014
- Print publication:
- 09 September 2010, pp 244-262
-
- Chapter
- Export citation