×

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

2L_枚举

14篇文献引用(2015–2024)
软件作者: 亚当·波恩(Adam Bohn);尤里·法恩扎;塞缪尔·菲奥里尼;Fisikopoulos、Vissarion;马可·马奇亚;坎斯坦钦·帕什科维奇
相关软件: 01聚乙烯;麦考利2号;SageMath…
主要字段: 组合数学(05-XX);交换代数(13-XX);凸和离散几何(52-XX)…

Algolib公司

5份文件引用(2004–2022)
软件作者: INRIA的Algo团队
相关软件: 枫树;组织环境信息系统;HOL灯…
主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);计算机科学(68-XX)

QuickLex公司

3份文件引用(2016–2021)
软件作者: Chang,Yen-Jung;维杰·加格。
相关软件: j预测值;AVIO;快速通道…
主要字段: 计算机科学(68-XX)

坎比

2份文件引用(2017–2019)
软件作者: Akhilesh Srikanth;Burak Sahin;威廉·R·哈里斯。
相关软件: Coq;沙丘;AProVE…
主要字段: 计算机科学(68-XX)

枚举RankKey

1份文件引用(2016)
软件作者: 尼古拉斯·维拉特·查维伦(Nicolas Veyrat-Charvillon)
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

双重追求

在0个文档中引用
软件作者: Christopher Baik、Zhongjun Jin、Michael Cafarela、H.V.Jagadish
相关软件:
主要字段:

筛选结果依据…