概念网 19份文件引用(2007–2023) 软件作者: Liu H,Singh P;哈瓦西,C.,斯佩尔,R.,阿隆索,J。 相关软件: WordNet;BERT;雅高… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
LARS公司 23篇文献引用(2016–2022) 软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。 相关软件: 克林戈;o临床;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SCEL公司 18篇文献引用(2014–2023) 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件: 科莱姆;莫德;CARMA… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
雅加达 17篇文献引用(2001–2014) 软件作者: 丹妮拉·朱尼奥·德安德拉德(Daniela Junho de Andrade)、圣母玛利亚·德索萨(Simáo Melo de Sousa) 相关软件: Coq;OCaml;LETOS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);地球物理学(86-XX)…
生物战 7份文件引用(2009–2022) 软件作者: K.M.Carley,D.B.Fridsma;E.卡斯曼;A.Yahja;N.奥尔特曼;陈丽秋;B.卡明斯基;D.中堂 相关软件: FRED;MultiVeStA;皮尔洛… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);运筹学,数学规划(90-XX)…
GrInvIn公司 9份文件引用(2007–2023) 软件作者: 阿德里安·皮特斯;克里斯·库萨特(Kris Coolsaet);冈纳·布林克曼;尼古拉斯·范·克莱姆普;Veerle法克 相关软件: 鹦鹉螺;GraPHedron;图形之家… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
RealPlan(实际计划) 9份文件引用(2001–2008) 软件作者: 斯利瓦斯塔瓦,比普拉夫;Subbarao Kombhampati;做,明B。 相关软件: 图形平面图;STAN;CPlan… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
ASPIER公司 6篇文献引用(2011–2023) 软件作者: 查基,S;达塔,A。 相关软件: ProVerify;纳克索斯;EasyCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
LIPSAT公司 6篇文献引用(2018–2021) 软件作者: 马塞洛·芬格;桑德罗·普雷托 相关软件: MiniSat;玲玲;Yices… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);测量和集成(28-XX)…
MBT公司 5份文件引用(1999–2005) 软件作者: Daelemans,W.,Zavrel,J.,Berck,P.,Gillis,S。 相关软件: 宾夕法尼亚树银行;树标记器 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
流浪汉 4份文件引用(2021–2022) 软件作者: Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件: 数据日志;RDFox;LUBM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
地理SPARQL 3份文件引用(2015–2016) 软件作者: R.Battle、D.Kolas 相关软件: PelletSpatial;开放街道地图;Groovy… 主要字段: 计算机科学(68-XX)
IMLI公司 3份文件引用(2021–2022) 软件作者: Bishwamittra Ghosh,Kuldeep S.Meel 相关软件: MLIC;UCI-ml;形状… 主要字段: 统计学(62-XX);计算机科学(68-XX)
林肯 3份文件引用(2017–2022) 软件作者: 艾娜·林·乔治斯(Aina Linn Georges);阿加塔·穆拉夫斯卡;奥蒂斯、肖恩;碧姬·品特卡 相关软件: 白鲸;Isabelle/HOL;TALx86… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TimeML(时间ML) 3份文件引用(2014–2020) 软件作者: Ingria,B.,Pustejovsky,J。 相关软件: C4.5;威卡;LIBLINEAR… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
DiArg公司 2份文件引用(2022–2023) 软件作者: 蒂莫修斯·坎皮克(Timotheus Kampik),多夫·加巴伊(Dov Gabbay) 相关软件: 崔弟 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
格雷斯珀 1份文件引用(2009) 软件作者: R.D.Viegas;F.A.阿泽夫多 相关软件: CPGraph;CaSPER;红衣主教 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
PIFuHD公司 1份文件引用(2022) 软件作者: Saito Shunsuke、Tomas Simon、Jason Saragih、Hanbyul Joo 相关软件: PIFu;PyTorch公司;KinectFusion… 主要字段: 计算机科学(68-XX)
InstQL软件 1份文件引用(2010) 软件作者: 卢克·霍普顿(Luke Hopton);欧文·克利夫(Owen Cliffe);玛丽娜·德沃斯;朱利安·帕吉特 相关软件: 斯莫德尔斯 主要字段: 计算机科学(68-XX)
RCDC公司 1份文件引用(2013) 软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。 相关软件: XPath(XPath) 主要字段: 计算机科学(68-XX)