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)
镉 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)
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)
跳鼠 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)
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;杂项… 主要字段: –
神经KG 在0个文档中引用 软件作者: 张文、陈向南、姚震、陈明阳、朱玉山、余洪涛、黄玉凤、徐泽忠、徐亚静、张宁宇、袁宗刚、熊飞宇、陈华军 相关软件: DGL-KE;Pykg2vec;DGL… 主要字段: –
符号DNN-Tuner 1份文件引用(2022) 软件作者: 米歇尔·弗拉卡罗利;伊芙琳娜·拉姆;法布里西奥·里古齐 相关软件: PRMLT;ProxylessNAS;DARTS… 主要字段: 计算机科学(68-XX)
符号数字集成.jl 1份文件引用(2022) 软件作者: 伊朗文,沙赫里亚尔;卡尔·朱利叶斯·马滕森;亚历山德罗·切利;沙什·高达(Shashi Gowda);阿南德·杰恩(Anand Jain);马英波;克里斯·拉卡卡斯 相关软件: 建模工具包.jl;SymPy;数据驱动DiffEq.jl… 主要字段: 计算机科学(68-XX)
WITS系统 在0个文档中引用 软件作者: 姚丽娜;盛泉Z。;贝纳塔拉(Benatallah)、布阿勒姆(Boualem);沙赫拉姆·达斯特达尔;王贤之;Ali Shemshadi;萨利尔·卡内尔。 相关软件: – 主要字段: –