×

Found 229 Documents (Results 1–100)

Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. (English) Zbl 1479.03003

Springer Proceedings in Mathematics & Statistics 369. Singapore: Springer (ISBN 978-981-16-4172-5/hbk; 978-981-16-4173-2/ebook). xi, 229 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Properties of supersymmetric transformed alpha-nucleus potentials studied with electric-multipole transitions. (English) Zbl 1437.81144

Orr, N. A. (ed.) et al., Recent progress in few-body physics. Proceedings of the 22nd international conference on few-body problems in physics, FB22, Caen, France, July 9–13, 2018. Cham: Springer. Springer Proc. Phys. 238, 215-218 (2020).
MSC:  81V35 81Q60
PDFBibTeX XMLCite
Full Text: DOI

Big-bang nucleosynthesis. Thermonuclear history in the early universe. (English) Zbl 1423.85002

SpringerBriefs in Physics. Singapore: Springer (ISBN 978-981-13-2934-0/pbk; 978-981-13-2935-7/ebook). ix, 84 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Local risk-minimization for Barndorff-Nielsen and Shephard models with volatility risk premium. (English) Zbl 1409.91225

Kusuoka, Shigeo (ed.) et al., Advances in mathematical economics. Vol. 20. Selected papers based on the presentations at the 6th conference on mathematical analysis in economic theory, Tokyo, Japan, January 26–29, 2015. Singapore: Springer. Adv. Math. Econ. 20, 3-22 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Race against the teens – benchmarking mechanized math on pre-university problems. (English) Zbl 1475.68459

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 213-227 (2016).
PDFBibTeX XMLCite
Full Text: DOI

On modular relations. (English) Zbl 1379.11090

Kaneko, Masanobu (ed.) et al., Number theory. Plowing and starring through high wave forms. Proceedings of the 7th China-Japan Seminar, Fukuoka, Japan, October 28 – November 1, 2013. Hackensack, NJ: World Scientific (ISBN 978-981-4644-92-1/hbk; 978-981-4644-94-5/ebook). Series on Number Theory and Its Applications 11, 1-64 (2015).
MSC:  11R42 11M41 33C10
PDFBibTeX XMLCite
Full Text: DOI

Anonymous data collection system with mediators. (English) Zbl 1401.94137

Ors, Berna (ed.) et al., Cryptography and information security in the Balkans. First international conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16–17, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-21355-2/pbk; 978-3-319-21356-9/ebook). Lecture Notes in Computer Science 9024, 141-160 (2015).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Mathematics by machine. (English) Zbl 1325.68212

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 1-8 (2014).
MSC:  68T15 03B35 03C10 68T50
PDFBibTeX XMLCite
Full Text: DOI

Provably \(\Delta ^0_2\) and weakly descending chains. (English) Zbl 1277.03041

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). 1-21 (2012).
MSC:  03D55 03D30 03F30
PDFBibTeX XMLCite
Full Text: DOI arXiv

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. (English) Zbl 1253.03002

Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). x, 181 p. (2012).
PDFBibTeX XMLCite
Full Text: Link

How much can investors discount? (English) Zbl 1216.91031

Kusuoka, Shigeo (ed.) et al., Advances in mathematical economics. The workshop on mathematical economics 2009, Tokyo, Japan, November 13–15, 2009. Revised selected papers. Tokyo: Springer (ISBN 978-4-431-53882-0/hbk; 978-4-431-53883-7/ebook). Advances in Mathematical Economics 14, 1-16 (2011).
MSC:  91G20 46N10 91B30 91G40
PDFBibTeX XMLCite
Full Text: DOI

Intuitionistic fixed point theories over Heyting arithmetic. (English) Zbl 1228.03042

Feferman, Solomon (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (ISBN 978-1-84890-012-7/pbk). Tributes 13, 1-14 (2010).
MSC:  03F55 03F05
PDFBibTeX XMLCite
Full Text: arXiv

Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. (English) Zbl 1185.03004

Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). ix, 393 p. (2010).
PDFBibTeX XMLCite

Iterating the recursively Mahlo operations. (English) Zbl 1419.03053

Glymour, Clark (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 13th international congress, Beijing, China, August 2007. London: College Publications. 21-35 (2009).
MSC:  03F35 03F15
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software