×

找到4个软件包(结果1-4)

可观察性测试

22篇文献引用(2001–2022)
软件作者: 亚历山大·塞多拉维奇
相关软件: COMBOS公司;雏菊;西安…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

经常性Jac

4份文件引用(2019–2023)
软件作者: 张欢、张鹏川、谢秋菊
相关软件: Reluplex;深度愚人;AI2…
主要字段: 实函数(26-XX);计算机科学(68-XX)

深LLL

3份文件引用(2014–2020)
软件作者: Felix Fontein;Michael Schneider;瓦格纳,乌尔斯
相关软件: BKZ;波特兰;NTL…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

波特兰

3份文件引用(2014–2020)
软件作者: 费利克斯·方丹;Michael Schneider;乌尔斯·瓦格纳
相关软件: BKZ;DeepLLL;NTL…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段