×

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

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)

质量控制分析

1份文件引用(2015)
软件作者: 杜萨A。
相关软件: R;spaa;避风港…
主要字段: 运筹学,数学编程(90-XX)

布尔运河化

引用于2份文件(2022–2023)
软件作者: 迪米特洛娃,埃琳娜;布兰迪林·斯蒂格勒;卡德尔卡,克劳斯;Murrugarra,大卫
相关软件: 蟒蛇;麦考利2
主要字段: 信息与通信理论,电路(94-XX)

BULL公司

1份文件引用(2013)
软件作者: 陈玉芳;王,弯腰
相关软件: LearnLib;libalf;OCaml…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

FourierSAT公司

引用于2份文件(2021)
软件作者: Kyrillidis、Anastasios;Shrivastava,Anshumali;Vardi,Moshe Y。;张志伟
相关软件: MiniSat;玲玲;弯曲…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

jscl-编辑器

引用于2份文件(2010–2011)
软件作者: 拉斐尔·乔利
相关软件: OOLACA公司;JAS;轨道库…
主要字段: 交换代数(13-XX);计算机科学(68-XX)

VBF公司

引用于2份文件(2016–2017)
软件作者: 何塞·安东尼奥·阿尔瓦雷斯-库贝罗,佩德罗·祖菲里亚
相关软件: KASUMI;SageMath;VBFlib…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

约MC3

1份文件引用(2020)
软件作者: 阿格拉瓦尔、杜尔盖什;巴维希亚;Kuldeep S.梅尔。
相关软件: 备用计数2
主要字段: 计算机科学(68-XX)

BDD2机具

1份文件引用(2019)
软件作者: M.哈立德
相关软件: 感官;p面;ROCS…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

布尔芬

1份文件引用(2016)
软件作者: F.拉菲特
相关软件: KASUMI;SageMath;VBFlib…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

bsnsing公司

1份文件引用(2022)
软件作者: 刘燕超
相关软件: 埃克拉特;PyDL8.5;伊斯兰解放军…
主要字段: 运筹学,数学编程(90-XX)

电路

1份文件引用(2019)
软件作者: NIST;雷内·佩拉尔塔;路易斯·T·A·N·布兰登;圣达什切克;莫里斯·德沃金;Meltem Sönmez Turan公司
相关软件: github
主要字段: 阶、格、有序代数结构(06-XX);信息与通信理论,电路(94-XX)

配置检查器

1份文件引用(2018)
软件作者: Al-Shaer,E.,Alsaleh,M。
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

密码路径

1份文件引用(2021)
软件作者: 约翰·彼得·因德罗伊;尼古拉斯·科斯特斯(Nicolas Costes);赫瓦尔德拉德姆
相关软件: 精彩;ADD-标签;dd…
主要字段: 数论(11-XX);群论与推广(20-XX);计算机科学(68-XX)…

emba

在0个文档中引用
软件作者: 约翰·佐博拉斯
相关软件: 品脱;生物质量管理;PyBoolNet…
主要字段:

国际标准化组织3

1份文件引用(2017)
软件作者: 费利克斯·温特勒(Felix Winterer)、卡斯滕·谢布勒(Karsten Scheibler)、利奥诺·温特勒、马蒂亚斯·绍尔(Matthias Sauer)
相关软件:
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)

利比亚

1份文件引用(2019)
软件作者: Flori J.P.、Jean J。
相关软件: PRINT密码;github
主要字段: 信息与通信理论,电路(94-XX)

医学博士

在0个文档中引用
软件作者: 卢克·麦吉尼斯(Luke McGuinness)、莉娜·施密特(Lena Schmidt)、图伊娅·桑基拉(Tuija Sonkkila)、纳伊科·雅恩(Najko Jahn)
相关软件: R(右)
主要字段:

非等效MAC

1份文件引用(2023)
软件作者: D.I.伊格纳托夫。
相关软件: 间隙;组织环境信息系统
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

海报

1份文件引用(2018)
软件作者: 柯蒂斯·格林(Curtis Greene)、尤金妮·亨西格(Eugenie Hunsicker)
相关软件:
主要字段: 非结合环与代数(17-XX);群论与推广(20-XX)

普里奥+

1份文件引用(2022)
软件作者: 苏里亚·阿丹基;凯文·加贝(Kevin Garbe);埃利·杰菲;拉斐尔·奥斯特罗夫斯基;多氯虫,Antigoni
相关软件: RAPPOR;libOTe;澳大利亚银行
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

QCAGUI公司

在0个文档中引用
软件作者: 杜萨A
相关软件: R;pmg;Pinktoe…
主要字段:

备用计数2

1份文件引用(2020)
软件作者: 阿格拉瓦尔、杜尔盖什;Bhavishya;Kuldeep S.梅尔。
相关软件: 约MC3
主要字段: 计算机科学(68-XX)

VB链接

1份文件引用(2016)
软件作者: 何塞·安东尼奥·阿尔瓦雷斯-库贝罗
相关软件: KASUMI;SageMath;MatPack…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

J形式

在0个文档中引用
软件作者: 日本软件
相关软件:
主要字段:

tkalc公司

在0个文档中引用
软件作者: prx公司
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件