CGAL公司 417份文件引用(2000–2024) 软件作者: CGAL编辑委员会 相关软件: LEDA;二维三角剖分;三角形… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
J工具 141份文件引用(2008–2024) 软件作者: 克劳德·本扎肯;纳迪娅·布劳纳 相关软件: 组织环境信息系统;MiniSat;GitHub… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
得到 51篇文献引用(1991–2023) 软件作者: 伯恩哈德·库兹勒;沃尔,伯恩哈德;弗兰茨·温克勒 相关软件: Mathematica;枫树;马西玛… 主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
低等级模型 引用于45份文件(2016–2023) 软件作者: 马德琳·乌德尔;霍恩,科琳;扎德、雷扎;斯蒂芬·博伊德 相关软件: Pyglrm;softImpute;LBFGS-B… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
MiniMaxSat卫星 39篇文献引用(2008–2023) 软件作者: 费德里科·赫拉斯;哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯 相关软件: 周六4j;最大HS;QMaxSAT… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
放射性核素 24篇文献引用(2002–2020) 软件作者: Randal E.Bryant;Shuvendu K.Lahiri;桑吉特·塞希亚 相关软件: 糠;PVS;迷你卫星… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
HiTag2标签 10篇文献引用(2009–2021) 软件作者: – 相关软件: 粮食;RAKAPOSHI;OpenCL… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);交换代数(13-XX)…
EVC公司 引用于8份文件(2001–2012) 软件作者: 米罗斯拉夫·韦列夫(Miroslav N.Velev)。;Randal E.布莱恩特。 相关软件: Velev SAT基准;糠;伯克敏… 主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)…
PULCinella公司 引用于8份文件(1993–2017) 软件作者: Saffiotti,A。;E.乌姆凯勒。 相关软件: 奥斯卡;C4.5;信念 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
dCAQE公司 6篇文献引用(2019–2022) 软件作者: Tentrup,Leander;马库斯·拉贝。 相关软件: HQPre;iProver;CAQE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IRIT公司 5份文件引用(2004–2021) 软件作者: G.Elber,以色列海法Technion计算机科学系 相关软件: VTK;犰狳;CMake… 主要字段: 偏微分方程(35-XX);凸和离散几何(52-XX);数值分析(65-XX)…
PRECiSA公司 6篇文献引用(2018–2022) 软件作者: 蒂托洛,劳拉;马可·A·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。 相关软件: RangeLab;z3;ASTREE… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
关系代数 6篇文献引用(2016–2018) 软件作者: 阿拉斯代尔·阿姆斯特朗、西蒙·福斯特、乔治·斯特鲁斯、贾克·韦伯 相关软件: 存档正式证据;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
截止日期 1份文件引用(2019) 软件作者: Daniel Adler、Christian Gläser、Oleg Nenadic、Jens Oehlschlägel、Walter Zucchini 相关软件: R;雪;晶格… 主要字段: 统计学(62-XX)
ROBDD公司 5份文件引用(1992–2003) 软件作者: Brace,K.S。;伦德尔,R.L。;R.E.布莱恩特。 相关软件: NQTHM公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
TinyGarble公司 5份文件引用(2016–2023) 软件作者: Songhori,E.M.、Hussain,S.U.、Sadeghi,A.、Schneider,T.、Koushanfar,F。 相关软件: 美味的;ABY;倾斜-C… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
羽毛 1份文件引用(2019) 软件作者: Marcelo S.Reis、Gustavo Estrela、Carlos Eduardo Ferreira、Junior Barrera 相关软件: 威卡;ElemStatLearn;吗啡… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
FOOL(足球) 4份文件引用(2015–2021) 软件作者: 科特利尼科夫(Kotelnikov),叶夫根尼(Evgenii);劳拉·科夫亚茨(Laura Kov'acs);安德烈·沃伦科夫 相关软件: TPTP;大锤;SMT-LIB… 主要字段: 计算机科学(68-XX)
IGLUE公司 3份文件引用(2001–2020) 软件作者: Mephu Nguifo,Engelbert;帕特里克·恩吉沃亚 相关软件: FCALGS;AddIntent;概念浏览器… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
元Prime 4份文件引用(2000年至2015年) 软件作者: O.Coudert,J.C.Madre 相关软件: 准备/套件;MOCUS公司;DBNet… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
社交网络 引用于2份文件(2015–2021) 软件作者: Alireza S.Mahani、Asad Hasan、Marshall Jiang、Mansour T.A.Sharabiani 相关软件: 斯坦;JAGS;USampler女士… 主要字段: 统计学(62-XX)
CBEAM公司 3份文件引用(2014–2021) 软件作者: Saarinen,Markku-Juhani O。 相关软件: 凯卡克;Salsa20;Chaskey… 主要字段: 信息与通信理论,电路(94-XX)
CP浮动 3份文件引用(2022–2023) 软件作者: 法西,M。;米凯蒂斯,M。 相关软件: mctoolbox;MPFR;CholQR… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
布尔运河化 引用于2份文件(2022–2023) 软件作者: 迪米特洛娃,埃琳娜;布兰迪林·斯蒂格勒;卡德尔卡,克劳斯;Murrugarra,大卫 相关软件: 蟒蛇;麦考利2 主要字段: 信息与通信理论,电路(94-XX)
FourierSAT公司 引用于2份文件(2021) 软件作者: Kyrillidis、Anastasios;Shrivastava,Anshumali;Vardi,Moshe Y。;张志伟 相关软件: MiniSat;玲玲;弯曲… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
VBF公司 引用于2份文件(2016–2017) 软件作者: 何塞·安东尼奥·阿尔瓦雷斯-库贝罗,佩德罗·祖菲里亚 相关软件: KASUMI;SageMath;VBFlib… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
电路 1份文件引用(2019) 软件作者: NIST;雷内·佩拉尔塔;路易斯·T·A·N·布兰登;圣达什切克;莫里斯·德沃金;Meltem Sönmez Turan公司 相关软件: github 主要字段: 阶、格、有序代数结构(06-XX);信息与通信理论,电路(94-XX)
密码路径 1份文件引用(2021) 软件作者: 约翰·彼得·因德罗伊;尼古拉斯·科斯特斯(Nicolas Costes);赫瓦尔德拉德姆 相关软件: 精彩;ADD-标签;dd… 主要字段: 数论(11-XX);群论与推广(20-XX);计算机科学(68-XX)…
国际标准化组织3 1份文件引用(2017) 软件作者: 费利克斯·温特勒(Felix Winterer)、卡斯滕·谢布勒(Karsten Scheibler)、利奥诺·温特勒、马蒂亚斯·绍尔(Matthias Sauer) 相关软件: – 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)
医学博士 在0个文档中引用 软件作者: 卢克·麦吉尼斯(Luke McGuinness)、莉娜·施密特(Lena Schmidt)、图伊娅·桑基拉(Tuija Sonkkila)、纳伊科·雅恩(Najko Jahn) 相关软件: R(右) 主要字段: –
海报 1份文件引用(2018) 软件作者: 柯蒂斯·格林(Curtis Greene)、尤金妮·亨西格(Eugenie Hunsicker) 相关软件: – 主要字段: 非结合环与代数(17-XX);群论与推广(20-XX)
普里奥+ 1份文件引用(2022) 软件作者: 苏里亚·阿丹基;凯文·加贝(Kevin Garbe);埃利·杰菲;拉斐尔·奥斯特罗夫斯基;多氯虫,Antigoni 相关软件: RAPPOR;libOTe;澳大利亚银行 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
VB链接 1份文件引用(2016) 软件作者: 何塞·安东尼奥·阿尔瓦雷斯-库贝罗 相关软件: KASUMI;SageMath;MatPack… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)