概念网 20篇文献引用(2007–2023) 软件作者： Liu H，Singh P；哈瓦西，C.，斯佩尔，R.，阿隆索，J。 相关软件： WordNet；BERT；雅高… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-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.海军 相关软件： 弗雷德；SSJ；MultiVeStA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
TimeML（时间ML） 引用于3份文件(2014–2020) 软件作者： Ingria，B.，Pustejovsky，J。 相关软件： C4.5；威卡；LIBLINEAR… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…