×

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

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

PMaude公司

30篇文献引用(2005–2023)
软件作者: 古尔·阿加;何塞·梅塞盖尔(JoséMeseguer);库什克森
相关软件: 莫德;PVeStA;棱镜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

糖蛋白2

17篇文献引用(2009–2022)
软件作者: C.烘焙;D.丰满
相关软件: AGG;GrGen;Fujaba…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

加勒比

在14份文件中引用(2004–2012)
软件作者: O.Fissoor、I.Gneedig、H.Kirchner
相关软件: 莫德;AProVE;埃兰…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

跟踪器

10篇文献引用(1995–2023)
软件作者: 马蒂亚斯·贾明;马库斯·劳滕巴赫
相关软件: 数学;表格;FeynCalc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

教练总成

2份文件引用(2011–2017)
软件作者: F.J.Berlanga。;里维拉,A.J。;德尔·耶稣,M.J。;F.埃雷拉。
相关软件: KEEL;UCI-ml;福利亚…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

3拍

引用于9份文件(2010–2023)
软件作者: Contejean,E.,Paskevich,A.,Urbain,X.,Courtieu,P.,Pons,O.,Forest,J。
相关软件: Isabelle/HOL;Coq;CoLoR…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

毫克

引用于9份文件(2001–2016)
软件作者: 贾维托,J.-L。;O·米歇尔。
相关软件: HOCL;NESL;莫德…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

接通DLV

8份文件引用(2009–2021)
软件作者: Ricca,F.、Gallucci,L.、Schindlauer,R.、Dell'armi,T.、Grasso,G.、Leone,N。
相关软件: DLV-EX;颗粒;Lparse…
主要字段: 计算机科学(68-XX)

环境管理计划

8份文件引用(1988–1998)
软件作者: 克劳斯·希特科夫斯基
相关软件: SLP-IOR;GAMS;ELL…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

lp2正常

8份文件引用(2014–2023)
软件作者: 乔里·博曼森
相关软件: 克林戈;WASP;ASSAT…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

XPath日志

1份文件引用(2004)
软件作者: 五月,沃尔夫冈
相关软件: XPath;XQuery;洛雷尔…
主要字段: 计算机科学(68-XX)

规则2CP

2份文件引用(2009–2011)
软件作者: 弗朗索瓦·法赫斯,朱利安·马丁
相关软件: 自旋蛋白;ntccSim;Ntccrt…
主要字段: 计算机科学(68-XX)

4份文件引用(2008–2017)
软件作者: 格雷戈里·杜克(Gregory J.Duck)。;Leslie De Konink;彼得·斯塔基。
相关软件: 微量锌;通用电气;G12…
主要字段: 计算机科学(68-XX)

XcelLog公司

3份文件引用(2006年-2014年)
软件作者: 罗马克里希南,C.R。;拉马克里希南,I.V。;大卫·沃伦。
相关软件: XSB;YAP-Prolog;OPTYap…
主要字段: 计算机科学(68-XX)

D-SCIDS公司

1份文件引用(2019)
软件作者: Abraham,A.、Jain,R.、Thomas,J.和Han,S.Y。
相关软件: RSBR_;玫瑰;UCI-ml…
主要字段: 计算机科学(68-XX)

Flix公司

3份文件引用(2018–2022)
软件作者: Madsen,M.、Yee,M.、Lhoták,O
相关软件: 数据日志;RAHFT;印加…
主要字段: 计算机科学(68-XX)

ICOT公司

2份文件引用(1998–2002)
软件作者: Yang,Hyung Jeong;Yang,Jae Dong;金永浩(Kim,Yeongho)
相关软件:
主要字段: 计算机科学(68-XX)

色度

2份文件引用(2018–2022)
软件作者: 霍诺拉托·齐梅尔(Honorato Zimmer),里卡多(Ricardo);安德鲁·米勒(Andrew J.Millar)。;戈登·D·普洛特金。;扎迪利斯,阿格里斯
相关软件: PySB;BioNetGen;APL…
主要字段: 生物学和其他自然科学(92-XX)

F——百万像素

2份文件引用(1997–2001)
软件作者: 杨在栋
相关软件: 科恩平滑
主要字段: 计算机科学(68-XX)

跳鼠

2份文件引用(2014–2022)
软件作者: 哈基姆·贝哈瓦里;阿诺德,阿格内斯;勒加尔,帕斯卡尔;托马斯·贝雷特
相关软件: GP 2;富贾巴;GrGen…
主要字段: 计算机科学(68-XX)

LS迭代方法

2份文件引用(2012–2018)
软件作者: 戈列夫(Angel Golev);安娜·马利诺娃(Anna Malinova);德西斯拉瓦·扎哈里耶娃
相关软件: symrcm;filib++;数学软件
主要字段: 数值分析(65-XX)

MEMSA实验室

2份文件引用(2014–2022)
软件作者: 瓦利德·贝尔基尔;阿兰·乔尔盖蒂;米歇尔·伦茨纳
相关软件: CoReS;汤姆;枫树
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

NLProlog(NL序言)

2份文件引用(2021)
软件作者: 莱昂·韦伯(Leon Weber)、帕斯奎尔·米内尔维尼(Pasquale Minervini)、詹妮斯·穆奇迈耶(Jannes Münchmeyer)、乌尔夫·莱瑟(Ulf Leser)、蒂姆·罗克塔谢尔(Tim Rocktäschel
相关软件: DeepProbLog;TensorLog;PyTorch…
主要字段: 计算机科学(68-XX)

SMCHR公司

2份文件引用(2012–2018)
软件作者: 格雷戈里·杜克。
相关软件: 小脚;CBMC;SLAyer…
主要字段: 计算机科学(68-XX)

Warmr公司

2份文件引用(2005–2012)
软件作者: R.D.King、A.Srinivasan、L.Dehaspe
相关软件: CrossMine;特雷威兹;CloseGraph…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

Bugram(错误)

在0个文档中引用
软件作者: Song Wang、Devin Chollak、Dana Movshovitz-Attias、Lin Tan
相关软件: 设计;图形代码BERT;杂项…
主要字段:

CG代数

在0个文档中引用
软件作者: 何塞·L·阿拉贡
相关软件: 数学软件
主要字段:

蒙博

1份文件引用(2006年)
软件作者: 阿克特穆尔,巴尔;萨姆·卡明
相关软件: 莫德
主要字段: 计算机科学(68-XX)

神经KG

在0个文档中引用
软件作者: 张文、陈向南、姚震、陈明阳、朱玉山、余洪涛、黄玉凤、徐泽忠、徐亚静、张宁宇、袁宗刚、熊飞宇、陈华军
相关软件: DGL-KE;Pykg2vec;DGL…
主要字段:

橄榄石

在0个文档中引用
软件作者: 布拉德·迈尔斯(Brad A.Myers);威廉·巴克斯顿
相关软件: 蟒蛇;柔软;吉尔德…
主要字段:

REK公司

1份文件引用(2005)
软件作者: 拉尔夫·拉梅尔
相关软件:
主要字段: 计算机科学(68-XX)

符号DNN-Tuner

1份文件引用(2022)
软件作者: 米歇尔·弗拉卡罗利;伊芙琳娜·拉姆;法布里西奥·里古齐
相关软件: PRMLT;ProxylessNAS;DARTS…
主要字段: 计算机科学(68-XX)

符号数字集成.jl

1份文件引用(2022)
软件作者: 伊朗文,沙赫里亚尔;卡尔·朱利叶斯·马滕森;亚历山德罗·切利;沙什·高达(Shashi Gowda);阿南德·杰恩(Anand Jain);马英波;克里斯·拉卡卡斯
相关软件: 建模工具包.jl;SymPy;数据驱动DiffEq.jl…
主要字段: 计算机科学(68-XX)

vmake公司

1份文件引用(2000)
软件作者: 斯沃博达,P。;Wadge,西北。
相关软件: 佩尔
主要字段: 计算机科学(68-XX)

WITS系统

在0个文档中引用
软件作者: 姚丽娜;盛泉Z。;贝纳塔拉(Benatallah)、布阿勒姆(Boualem);沙赫拉姆·达斯特达尔;王贤之;Ali Shemshadi;萨利尔·卡内尔。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段