×

Found 1,156 Documents (Results 1–100)

Transcendence of \(p\)-adic values of generalized hypergeometric series with transcendental polyadic parameters. (English. Russian original) Zbl 07735230

Dokl. Math. 107, No. 2, 109-111 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 29-32 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Differential transcendence of solutions for \(q\)-difference equation of Ramanujan function. (English) Zbl 1515.39003

Filipuk, Galina (ed.) et al., Recent trends in formal and analytic solutions of diff. equations. Virtual conference, University of Alcalá, Alcalá de Henares, Spain, June 28 – July 2, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 782, 143-153 (2023).
MSC:  39A13 12H10 33D15
PDFBibTeX XMLCite
Full Text: DOI

Transcendental number theory. With a new foreword by David Masser. Reprint of the 1990 paperback edition. (English) Zbl 1496.11001

Cambridge Mathematical Library. Cambridge: Cambridge University Press (ISBN 978-1-00-922994-4/pbk; 978-1-00-922993-7/ebook). xiv, 169 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Transcendence and linear relations of 1-periods. (English) Zbl 1502.14002

Cambridge Tracts in Mathematics 227. Cambridge: Cambridge University Press (ISBN 978-1-316-51993-6/hbk; 978-1-00-901972-9/ebook). xx, 243 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Siegel’s problem for \(E\)-functions of order 2. (English) Zbl 07615278

Bostan, Alin (ed.) et al., Transcendence in algebra, combinatorics, geometry and number theory. TRANS19 – transient transcendence in Transylvania, Brașov, Romania, May 13–17, 2019. Revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 373, 473-488 (2021).
MSC:  11J91 14F10 11J81
PDFBibTeX XMLCite
Full Text: DOI

Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021).
MSC:  68Q60 65G50 68N15
PDFBibTeX XMLCite
Full Text: DOI 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

all top 3

Software