ISSAC：符号和代数计算国际研讨会
2022年7月
加拿大西安大略大学
中国科学院
符号和代数计算国际研讨会（ISSAC）是符号计算和计算机代数研究的首要会议。ISSAC是名称为SYMSAC、EUROCAL、EUROSAM和EUROCAM的会议的延续，在合并为ISSAC之前，这些会议在北美和欧洲之间交替举行。整个系列始于1966年的第一届ACM符号和代数操作研讨会，自1981年以来每年举行一次。该会议通常会提供一系列受邀演讲、教程、海报会议、软件演示和供应商展示，其中心内容是同行评议的贡献研究论文。
本文研究线性形式λ=β1eα1+。。。βmeαm，其中αi和βi是代数数。证明了λ的绝对值的一个显式下界，该下界是由“林德曼理论——魏尔斯特拉斯效应”通过构造。。。
我们研究了超几何序列的隶属度问题：给定有理数的超几何序列❬un❭∞n=0和目标t∈Q，决定t是否出现在序列中。我们展示了这个问题的可判定性，假设在。。。
我们给出了有效开发有理数和正整数之间的可计算双射的方法。也就是说，给定标准表示形式a/b中的一个有理数，其中a，b是整数，我们可以计算n，它在。。。
我们正在准备下载您的搜索结果。。。
文件准备好后，我们会在这里通知您。
您的搜索结果引用文件现已准备就绪。
您的搜索导出查询已过期。请重试。
