×

找到1157个文档(结果1-100)

整个函数的高阶差分算子的唯一性。 (英语) Zbl 1527.39009号

PDF格式BibTeX公司 XML格式引用
全文: DOI程序

具有超越多元参数的广义超几何级数的(p)-元值的超越性。 (英语。俄文原件) Zbl 07735230号

多克。数学。 107,编号2,109-111(2023); Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。510, 29-32 (2023).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

Ramanujan函数的(q)-差分方程解的微分超越性。 (英语) Zbl 1515.39003号

Filipuk,Galina(编辑)等人,微分方程形式和解析解的最新趋势。2021年6月28日至7月2日,西班牙阿尔卡拉德赫纳雷斯阿尔卡拉大学,虚拟会议。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。782, 143-153 (2023).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

中值定理的推广及应用综述。 (英语) Zbl 1517.26010号

Boulier,François(编辑)等人,科学计算中的计算机代数。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 1-17 (2022).
MSC公司:26对25
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

先验数论。David Masser的新前言。重印1990年平装版。 (英语) Zbl 1496.11001号

剑桥数学图书馆剑桥:剑桥大学出版社(ISBN 978-1-00-922994-4/pbk;978-1-00.922993-7/电子书)。xiv,169页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

1-周期的超越性和线性关系。 (英语) Zbl 1502.14002号

剑桥数学丛书227.剑桥:剑桥大学出版社(ISBN 978-1-316-51993-6/hbk;978-1-00-901972-9/电子书)。xx,243页。(2022).
PDF格式BibTeX公司 XML格式引用

Siegel关于2阶(E)-函数的问题。 (英语) Zbl 1529.11092号

Bostan,Alin(编辑)等人,《代数、组合学、几何和数论中的超越》。TRANS19–2019年5月13日至17日,罗马尼亚Brașov,特兰西瓦尼亚的短暂超越。订正和延期缴款。查姆:斯普林格。Springer程序。数学。《美国联邦法律大全》第373卷第473-488页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

KeY中浮点Java程序的演绎验证。 (英语) Zbl 1474.68186号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 242-261 (2021).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件