概念网 19份文件引用(2007–2023) 软件作者: Liu H,Singh P;Havasi,C.、Speer,R.、Alonso,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公司 17篇文献引用(2014年-2023年) 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件: 科莱姆;莫德;PALOMA… 主要字段: 数学逻辑与基础(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);冈纳·布林克曼;范·克莱恩普特(Van Cleemput),尼古拉斯(Nicolas);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) 软件作者: Chaki,S;达塔,A。 相关软件: ProVerify;NAXOS;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;PostgreSQL;OrbisGIS… 主要字段: 计算机科学(68-XX)
IMLI公司 3份文件引用(2021–2022) 软件作者: Bishwamittra Ghosh,Kuldeep S.Meel 相关软件: MLIC;UCI-ml;形状… 主要字段: 统计学(62-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)
林肯 引用于2份文件(2017年至2021年) 软件作者: 艾娜·林·乔治斯(Aina Linn Georges);阿加塔·穆拉夫斯卡;奥蒂斯、肖恩;碧姬·品特卡 相关软件: github;阿格达;丁香… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PIFuHD公司 1份文件引用(2022) 软件作者: 斋藤顺介、托马斯·西蒙、杰森·萨拉吉、韩比尔·乔 相关软件: 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)