MML公司 在48份文件中引用(2001–2022) 软件作者: http://mizar.org/peoples网站/ 相关软件: 米扎尔;MPTP 0.2;MoMM… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
TorX公司 16篇文献引用(2005–2021) 软件作者: 亨利克·博恩坎普(Henrik Bohnenkamp);埃克塞尔·贝林芬特 相关软件: JTorX;SpecExplorer;STG… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
PICL公司 13份文件引用(1992–2001) 软件作者: 盖斯特,G.A。;麻省理工学院Heath。;佩顿,B.W。;P.H沃利 相关软件: PVM;LAM-MPI;LAPACK… 主要字段: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
节点XL 7份文件引用(2013–2022) 软件作者: Shneiderman,Ben;科迪·邓恩 相关软件: 格菲;帕杰克;亚当… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
立法官 7份文件引用(2010–2023) 软件作者: 约瑟夫·加斯特沃思(Joseph L.Gastwirth);Yulia R.凝胶;华莱士·惠;苗伟文;野口敏弘 相关软件: R;mvtnorm;QUADPACK… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
法律规则ML 4份文件引用(2017–2020) 软件作者: Lam、Ho-Pun;穆斯塔法·哈什米;塔拉·阿桑;圭多总督府;莫妮卡·帕尔米拉尼;阿德里安·帕施克(Adrian Paschke);亚当·怀纳 相关软件: github;精益;登录… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LogiKEy公司 5份文件引用(2020–2022) 软件作者: Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件: Isabelle/HOL;尼特皮克;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
普罗列格 4份文件引用(2012–2021) 软件作者: 佐藤(Satoh,K.)、朝井(Asai,K。 相关软件: SCIFF;Potassco;天基信息平台 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
特里格曼 5份文件引用(1973–2001) 软件作者: W.H.杰弗里斯。 相关软件: MATHLAB;muMATH-79;CAMAL… 主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…
PATOMA公司 3份文件引用(2008–2021) 软件作者: 丛;M.罗梅西斯;J.R.Shinnerl先生 相关软件: 不明飞行物;LBFGS-B;DeFer… 主要字段: 凸和离散几何(52-XX);运筹学、数学规划(90-XX)
蚂蚁机器人 2份文件引用(2012–2014) 软件作者: G.Yan、D.T.Ha、S.Eidenbenz 相关软件: – 主要字段: 组合数学(05-XX);常微分方程(34-XX);计算机科学(68-XX)
MWeb公司 3份文件引用(2011–2015) 软件作者: 分析,Anastasia;格里戈里斯·安东尼奥;卡洛斯·维加斯·达马西奥 相关软件: 平滑;SPARQL;三重… 主要字段: 计算机科学(68-XX)
StegFS公司 3份文件引用(2006–2018) 软件作者: 麦克唐纳,A.D.,库恩,M.G。 相关软件: Iolus;密码;TrueCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
AnaCon公司 2份文件引用(2013–2017) 软件作者: 克拉西米尔·安吉洛夫(Krasimir Angelov);约翰·卡米莱里(John J.Camilleri)。;杰拉尔多·施奈德 相关软件: 宗派;法律规则ML;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
基格 2份文件引用(2014–2018) 软件作者: 多米尼克·德弗里斯(Dominique Devriese);毛里齐奥·保里尼;弗朗科·帕斯夸雷利 相关软件: GeoGebra;MetaPost;Python… 主要字段: 几何(51-XX);计算机科学(68-XX)
海雀 2份文件引用(2015年至2017年) 软件作者: Polishko,A.、E.M.Bunnik、K.G.Le Roch、S.Lonardi 相关软件: github;小偷;银河… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
S2S网 2份文件引用(2008–2009) 软件作者: 克里斯蒂安·穆特阿努(Cristian R.Munteanu)、亚历山大·马加利亚斯(Alexandre L.Magalhaes)、阿利乌斯卡·杜阿尔多·桑切斯(Aliuska Duardo-Sanchez)、亚历杭德罗·帕佐斯(Alejandro Pazos)、亨贝托·冈萨 相关软件: wxPython;细胞定位;统计… 主要字段: 组合数学(05-XX);统计学(62-XX);生物学和其他自然科学(92-XX)
ASLA公司 在0个文档中引用 软件作者: 蒂莫·图纳南(Timo Tuunanen);尤西·科斯金(Jussi Koskinen);Kärkkäinen,汤米 相关软件: Binutils;GIMP;食品科学… 主要字段: –
装箱 在0个文档中引用 软件作者: M.Backes、S.Bugiel、C.Hammer、O.Schranz、P.von Styp-Rekowsky 相关软件: AppTrace;夫人;ARTDroid… 主要字段: –
电子票据 1份文件引用(2003) 软件作者: Jean-Christophe Mielnik;伯纳德·朗(Bernard Lang);圣菲省劳里埃;Jean-Georges Schlosser;文森特·鲍索斯 相关软件: – 主要字段: 计算机科学(68-XX)
LexNLP公司 在0个文档中引用 软件作者: Michael J Bommarito II、Daniel Martin Katz、Eric M Detterman 相关软件: Django;大熊猫;Docker… 主要字段: –
元DL 1份文件引用(2002) 软件作者: 菲利亚,马克顿;詹姆斯·福特(James Ford);沈、李;蒂尔曼·斯坦伯格;安德鲁·赛金(Andrew Saykin);希瑟·威斯哈特;萨兰托斯·卡皮达基斯 相关软件: – 主要字段: 计算机科学(68-XX)
打开EDGAR 在0个文档中引用 软件作者: Michael J Bommarito II;丹尼尔·马丁·卡茨(Daniel Martin Katz);埃里克·德特曼 相关软件: LexNLP;Django;熊猫… 主要字段: –
OPTIMIS公司 在0个文档中引用 软件作者: 巴迪亚·R·M。;科拉莱斯,M。;Dimitrakos,T。;Djemame,K。;Elmroth,E。;费雷尔,A.J。;福戈,N。;吉他,J。;埃尔南德斯,F。;Hudzia,B。;基普,A。;Konstanteli,K。;Kousiouris,G。;Nair,S.K。;谢里夫,T。;谢里丹,C。;Sirvent,R。;托德森,J。;Varvarigou,T。;韦斯纳,S。;齐格勒,W。;Zsigri,C。 相关软件: – 主要字段: –
VOT4CS系统 1份文件引用(2019) 软件作者: Banescu,S.、Lucci,C.、Krämer,B.、Pretschner,A。 相关软件: 戴坦;DynOpVm;pyftpdlib… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)