gmp

此软件的关键字
zbMATH中的参考文献(参考文献 282篇文章 )
库斯塔,费尔南多·阿尔卡尔德; 格尔贝罗夫,古斯塔沃; Rojo,Álvaro Lozano:进化图上的伯努利和二项扩散(2022) 王,陈:Borwein猜想的分析证明(2022) 阿伯特,约翰; 比加迪,安娜玛丽亚; 罗比亚诺,洛伦佐:素数模的理想(2021) 安德烈里奇,弗拉迪卡; 博斯坦,阿林; Tatarevic,Milos:左阶乘残数的改进算法(2021) Berthomieu,Christian Eder,Mohab Safey El-Din:求解多项式系统的库(2021) 阿尔十四 埃夫勒,利昂; Gleixner,Ambros:精确有理混合整数规划的计算状态更新(2021) 格莱斯纳,安布罗斯; 亨德尔,格雷戈; 加姆拉斯,杰拉尔德; 阿彻伯格,托拜厄斯; 巴斯图比,迈克尔; 贝索尔德,蒂莫; 克里斯托弗,菲利普; 雅克,凯蒂; 科赫,托尔斯滕; 林德罗斯,杰夫; 吕贝克,马可; 米特尔曼,汉斯D。; 奥兹尤特,德尔雅; 拉尔夫斯,特德·K。; 多梅尼科鼠尾草苷; Shinano,Yuji:MIPLIB2017:第六个混合整数编程库的数据驱动编译(2021) Shoup,Victor:算术软件库(2021) 塔勒布,阿卜杜勒·拉赫曼; Vergnaud,Damien:加快数字签名的验证(2021年) Alexander Raß:高精度粒子群优化算法(HiPPSO)(2020) 不是zbMATH 贝尔西马斯,迪米特里斯; Sturt,Bradley:精确引导置信区间的计算:复杂性和确定性算法(2020) Brini,Andrea:(Eu 8)的伴随表象和Weyl环的外幂(2020) 德拉诺,尼古拉; 勒莫,迈赫迪; Lagrange,Sébastien:非线性最优控制:基于占用测度和区间分析的数值方案(2020) 多普,约翰内斯·沃姆; 加坦,约阿希姆·冯·祖尔; 勒本伯格,丹尼尔; 卢尔,一月; Simon Schneider:随机发生器的比较分析(2020) 法尔孔,劳尔姆。; Stones,Rebecca J.:列举部分拉丁矩形(2020) 费尔南德斯,巴斯蒂安:计算机辅助证明扩展耦合映射中对称性破坏的遍历性损失(2020) 金,姜浩; 范安光; 菲利浦森,欠下; 乔纳斯:用级数展开技术研究具有化学势的SU(3)自旋模型(2020) 马图尔,乌曼; 鲍尔,马修S。; 查达,罗希特; 西斯特拉,A.普拉萨德; Viswanathan,Mahesh:rational search精确定量概率模型检验(2020) Perry,John:计算Gröbner基的动态F4算法(2020) Sander,Oliver:DUNE--分布式和统一的数字环境(2020)