×

Found 236 Documents (Results 1–100)

100
MathJax

Sets and computations. (English) Zbl 1375.03006

Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 33. Hackensack, NJ: World Scientific (ISBN 978-981-3223-51-6/hbk; 978-981-3223-53-0/ebook). x, 269 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

On a stochastic \(p(\omega,t,x)\)-Laplace equation. 2nd edition. (English) Zbl 1350.60062

Ahusborde, É. (ed.) et al., Thirteenth international conference Zaragoza-Pau on mathematics and its applications. Proceedings of the conference, Jaca, Spain, September 17–18, 2014. Zaragoza: Prensas de la Universidad de Zaragoza (ISBN 978-84-16515-68-4/pbk). Monografías Matemáticas “García de Galdeano” 40, 125-134 (2016).
PDF BibTeX XML Cite

Recursion theory. Computational aspects of definability. (English) Zbl 1334.03003

De Gruyter Series in Logic and Its Applications 8. Berlin: De Gruyter (ISBN 978-3-11-027555-1/hbk; 978-3-11-027564-3/ebook). xiii, 306 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI

\(E\)-recursion 2012. (English) Zbl 1336.03050

Chong, Chitat (ed.) et al., \(E\)-recursion, forcing and \(C^*\)-algebras. Hackensack, NJ: World Scientific (ISBN 978-981-4602-63-1/hbk; 978-981-4603-25-6/pbk; 978-981-4602-65-5/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 27, 183-217 (2014).
MSC:  03D60 03D65 03E40
PDF BibTeX XML Cite
Full Text: DOI

\(E\)-recursion, forcing and \(C^*\)-algebras. (English) Zbl 1295.03004

Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 27. Hackensack, NJ: World Scientific (ISBN 978-981-4602-63-1/hbk; 978-981-4603-25-6/pbk; 978-981-4602-65-5/ebook). ix, 217 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Notes on forcing axioms. (English) Zbl 1294.03007

Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 26. Hackensack, NJ: World Scientific (ISBN 978-981-4571-57-9/hbk; 978-981-4571-59-3/ebook). xiii, 219 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Computable Dowd-type generic oracles. (English) Zbl 1280.03046

Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 128-146 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Contractive systems with inputs. (English) Zbl 1198.93097

Willems, Jan C. (ed.) et al., Perspectives in mathematical system theory, control, and signal processing. A Festschrift in honor of Yutaka Yamamoto on the occasion of his 60th birthday. Invited papers of the symposium, Kyoto, Japan, March 29–31, 2010. Berlin: Springer (ISBN 978-3-540-93917-7/pbk; 978-3-540-93918-4/ebook). Lecture Notes in Control and Information Sciences 398, 217-228 (2010).
MSC:  93C15 93C10 93B28
PDF BibTeX XML Cite
Full Text: DOI

A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002

Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

Many quotient algebras of the integers modulo co-analytic ideals. (English) Zbl 1087.03028

Blass, Andreas (ed.) et al., Logic and its applications. Result of the conference on logic and its applications in algebra and geometry, Ann Arbor, MI, USA, April 11–13, 2003 and the workshop on combinatorial set theory, excellent classes, and Schanuel conjecture, Ann Arbor, MI, USA, April 14–15, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3474-6/pbk). Contemporary Mathematics 380, 271-281 (2005).
PDF BibTeX XML Cite

On a modified curvilinear path step-size algorithm. (English) Zbl 1024.65507

Lipitakis, Elias A. (ed.), HERCMA 2001. Proceedings of the 5th Hellenic-European conference on computer mathematics and its applications, Athens, Greece, September 20-22, 2001. 2 volumes. Athens: LEA. 441-443 (2002).
MSC:  65K05 90C30
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Software