×

找到8个软件包（结果1-8）

引文 按字母顺序

斯巴达人

37篇文献引用(2020–2023)
软件作者： 斯琳塔·塞蒂
相关软件： 力比奥；马林鱼；GitHub…
主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…

我*

11份文件引用(2001–2004)
软件作者： 多伦多大学
相关软件： 安全UML；坦比斯；UEML…
主要字段： 计算机科学（68-XX）

DVNIZK公司

10篇文献引用(2018–2023)
软件作者： 白鹿座；杰弗里·库托
相关软件： xJsnark；github；gmp…
主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）

艾莉亚

4份文件引用(2018–2023)
软件作者： 乔纳森·布特尔（Jonathan Bootle）；安德烈亚·塞鲁利（Andrea Cerulli）；格罗斯、延斯；雅各布森，苏内；玛丽·马勒
相关软件： C的SNARK；力比奥；斯巴达人…
主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）

MTJ公司

引用于3份文件(2007–2017)
软件作者： B.海姆松德
相关软件： MARCA；HyperStar；J阶段…
主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…

普罗莫卡

2份文件引用(2016–2023)
软件作者： 阿克·古奈{i} n个；刘，杨；张杰
相关软件： –
主要字段： 计算机科学（68-XX）

HRL4英寸

1份文件引用(2022)
软件作者： 李成书、费霞、罗伯托·马丁·马汀、西尔维奥·萨瓦雷斯
相关软件： 全球；ArraMon；小屋…
主要字段： 计算机科学（68-XX）

JIMU公司

1份文件引用(2017)
软件作者： 朱瑞玉；黄、燕
相关软件： GraphSC；EMP工具包；ObliVM…
主要字段： 信息与通信理论，电路（94-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段