SPARQL公司 100篇文献引用(2007–2023) 软件作者: w3.org网站;马塞洛·阿里纳斯;佩雷斯,豪尔赫 相关软件: 耶拿;DBpedia;XPath… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
水银 75篇文献引用(1994–2022) 软件作者: mercurylang.org网站 相关软件: 哈斯克尔;幼儿保育和教育;咖喱… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…
奶牛 46篇文献引用(2007-2020) 软件作者: 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 相关软件: 自旋蛋白;CC Pi;PiDuce… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
魔法 39篇文献引用(2003–2020) 软件作者: 萨加尔·查基;埃德蒙·克拉克;Jha,萨默什;赫尔穆特·维思 相关软件: ComFoRT;班德拉;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
MobileNetV2手机 32篇文献引用(2020–2024) 软件作者: Mark Sandler、Andrew Howard、Menglong Zhu、Andrey Zhmoginov、Liang-Chieh Chen 相关软件: ImageNet;AlexNet;MobileNets… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
dSPIN公司 22篇文献引用(2000–2014) 软件作者: Demartini,C.,Iosif,R.,Sisto,R。 相关软件: 自旋蛋白;班德拉;Java PathFinder… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
图形实验室 24篇文献引用(2010–2022) 软件作者: Yucheng Low、Joseph E.Gonzalez、Aapo Kyrola、Danny Bickson、Carlos E.Guestrin和Joseph Hellerstein 相关软件: 普雷格尔;MapReduce;Apache Spark… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
佩索阿 26篇文献引用(2011–2022) 软件作者: 普里塔姆·罗伊;保罗·塔布阿达;鲁帕克·马朱姆达尔 相关软件: SCOTS;科西马;TuLiP… 主要字段: 数学逻辑与基础(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)
立方厘米(FD) 18篇文献引用(1998–2022) 软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);维杰·萨拉斯瓦特;伊夫·德维尔 相关软件: CPLEX;彗星;Choco… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
中国科学院科学院 18篇文献引用(2018年-2023年) 软件作者: 华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta) 相关软件: 克林戈;ezcsp;格林戈… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
DeepProbLog(深度探测日志) 18篇文献引用(2020–2023) 软件作者: 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件: ProbLog;NeurASP;亚当… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
P-FCM公司 10篇文献引用(2003–2021) 软件作者: Loia,V。;佩德里茨,W。;Senatore,S。 相关软件: UCI-ml;缓解F;威卡… 主要字段: 统计学(62-XX);计算机科学(68-XX)
DMPlex公司 16篇文献引用(2016–2023) 软件作者: 迈克尔·兰格;劳伦斯·米切尔;马修·克内普利(Matthew G.Knepley)。;杰拉德·J·戈尔曼。 相关软件: PETSc;Firedrake;道芬… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
MMD GAN公司 12份文件引用(2019–2022) 软件作者: 李春亮、张伟成、于成、杨一鸣、巴纳巴斯 相关软件: Wasserstein GAN;亚当;TensorFlow… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
nSPARQL公司 13份文件引用(2009–2023) 软件作者: 佩雷斯,J。;阿雷纳斯,M。;古铁雷斯,C。 相关软件: SPARQL;XPath;图形日志… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
OPTYap公司 14篇文献引用(2001年至2022年) 软件作者: 里卡多·罗查;费尔南多·席尔瓦;维托尔·桑托斯·科斯塔 相关软件: XSB;YAP-Prolog;YapOr… 主要字段: 计算机科学(68-XX)
斑点 10篇文献引用(2008–2023) 软件作者: 范登伯格;迈克尔·弗里德兰德 相关软件: ASTRA;PDCO;SPGL1… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
辛迪JS 9份文件引用(2016–2021) 软件作者: 冯·盖格恩,马丁;乌尔里奇·科滕坎普;里希特·盖伯特(Jürgen Richter-Gebert);迈克尔·斯特罗贝尔 相关软件: 灰姑娘;GeoGebra;CindyGL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)…
OMT-G公司 4份文件引用(2001–2010) 软件作者: 博尔赫斯,卡拉A.V。;Davis,Clodofu A.jun。;Alberto H.F.Leander。 相关软件: 赛车手;FaCT++;DB2… 主要字段: 计算机科学(68-XX)
动物园概率系统 引用于9份文件(2015–2022) 软件作者: 约翰内斯·霍兹尔(Johannes Hölzl)、安德烈亚斯·洛赫比勒(Andreas Lochbihler)、德米特里·特雷特尔(Dmitriy Traytel) 相关软件: Isabelle/HOL;举起;传输… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
代码任务 4份文件引用(2007–2013) 软件作者: 埃尔纳尔·哈吉耶夫;Verbere,马蒂厄;Oege De Moor公司 相关软件: 方面J;JHotDraw;XSB… 主要字段: 计算机科学(68-XX)
提灯 7份文件引用(2021–2023) 软件作者: 王飞(Fei Wang)、丹尼尔·郑(Daniel Zheng)、詹姆斯·戴克(James Decker)、吴锡伦(Xilun Wu)、格雷戈里·M·埃塞尔特尔(Grégory M.Essertel)、蒂亚克·隆普夫 相关软件: TensorFlow;PyTorch;效率(amp;E)… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
VeriML公司 8份文件引用(2010–2016) 软件作者: 安东尼斯·斯坦普利斯(Antonis Stampoulis);邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
盒 6篇文献引用(2010–2020) 软件作者: Gurfinkel,A.,Chaki,S。 相关软件: 停机坪;不明飞行物;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CRISP公司 7份文件引用(2001–2020) 软件作者: 彼得·奥佩克(Pieter Op de Beeck)、弗朗西斯科·巴拉特(Francisco Barat)、穆拉利·贾亚帕拉(Murali Jayapala)和鲁迪·劳韦林斯(Rudy Lauwereins) 相关软件: KNIME;R;MODL… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
LNT2LOTOS公司 7份文件引用(2012–2022) 软件作者: David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerter、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 相关软件: CADP;自旋蛋白;Exp.打开… 主要字段: 计算机科学(68-XX)
梅佐 6篇文献引用(2014–2022) 软件作者: 弗朗索瓦·波蒂埃;乔纳森·普罗岑科 相关软件: 锈蚀;锈带;工具链… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
NetLSD公司 4份文件引用(2020–2024) 软件作者: Anton Tsitsulin、Davide Mottin、Panagiotis Karras、Alex Bronstein、Emmanuel Müller 相关软件: 蟒蛇;PyTorch公司;科学… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
LaraDB公司 6篇文献引用(2018年-2023年) 软件作者: 迪伦·哈奇森(Dylan Hutchison)、比尔·豪(Bill Howe)、丹·苏秋(Dan Suciu) 相关软件: 马特朗;xarray;APL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…
梅林 5份文件引用(2015–2021) 软件作者: Robert Soulé、Shrutarshi Basu、Parisa Jalili Marandi、Fernando Pedone、Robert Kleinberg、Emin Gün Sirer、Nate Foster 相关软件: 开放式神经网络;蟒蛇;vnep-近似值… 主要字段: 计算机科学(68-XX)
CCUBE公司 4份文件引用(1997–2013) 软件作者: A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件: XQuery;抒情的;DEDALE… 主要字段: 计算机科学(68-XX)
莱姆 4份文件引用(2011–2021) 软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔 相关软件: Isabelle/HOL;Coq;ACL2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
霸王龙 2份文件引用(2018–2020) 软件作者: Gianpaolo Cugola;亚历山德罗·玛加拉 相关软件: 神谕;MS SQL Server;卡尤加… 主要字段: 计算机科学(68-XX)
树自动管理器 5份文件引用(2019–2023) 软件作者: 丹尼尔·迪特施(Daniel Dietsch);海兹曼,马蒂亚斯;Jochen Hoenicke;亚历山大·纳茨(Alexander Nutz);安德烈亚斯·波德尔斯基 相关软件: RAHFT;z3;Eldarica… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
深入学习(_L) 4份文件引用(2017–2023) 软件作者: 亚历山大·本特坎普 相关软件: Isabelle/HOL;多项式;Groebner_Bases… 主要字段: 交换代数(13-XX);计算机科学(68-XX)
DiSL公司 2份文件引用(2016–2022) 软件作者: 卢卡什·马雷克(LukášMarek)、郑宇迪(Yudi Zheng 相关软件: 阿克卡普洛夫;JMeter;Kieker… 主要字段: 计算机科学(68-XX)
DReX公司 4份文件引用(2015–2022) 软件作者: 拉杰夫·阿鲁尔;Loris D'Antoni;穆昆德·拉戈塔曼 相关软件: 蒙保利;卢斯特;LOLA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
GASNet公司 2份文件引用(2015–2021) 软件作者: Hargrove P、Bonachea D 相关软件: 小教堂;刻痕;超级LU… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
Gunrock公司 3份文件引用(2018–2021) 软件作者: 王扬子浩、潘跃超、安德鲁·戴维森、吴宇铎、杨卡尔、王乐源、穆罕默德·奥萨马、袁晨山、刘伟棠、安迪·里弗尔、约翰·欧文斯 相关软件: 促进;github;快照… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
微型搜索 3份文件引用(2017–2019) 软件作者: Rendl,A.,Guns,T.,Stuckey,P.J.,Tack,G。 相关软件: 微量锌;通用电气;本质… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
PrologCheck(序言检查) 3份文件引用(2014–2022) 软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔 相关软件: K校准仪;K工具;快速检查… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
糖J 2份文件引用(2015–2020) 软件作者: Erdweg,S.、Rendel,T.、Kastner,C.、Ostermann,K。 相关软件: 孢子虫;JastAdd;Twelf… 主要字段: 计算机科学(68-XX)
TeSSLa公司 4份文件引用(2018–2022) 软件作者: 卢卡斯修道院;塞巴斯蒂安·亨格瑞克;Martin Leucker;托本·谢菲尔;施密茨,马尔特;丹尼尔·托马 相关软件: LOLA;蒙保利;副驾驶… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
工具 4份文件引用(2005–2006) 软件作者: de Givry S.、Jeannin L。 相关软件: OPL;SALSA;建模器… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
通用产品代码++ 1份文件引用(2018) 软件作者: 郑毅力;阿米尔·卡米尔;迈克尔·德里斯科尔(Michael B.Driscoll);鸿章山;凯瑟琳·耶利克 相关软件: 小教堂;军团;Kokkos… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
CASPA公司_ 1份文件引用(2015) 软件作者: 迈克尔·巴克斯(Michael Backes);斯特凡·洛伦茨;马菲,马泰奥;金·佩西纳 相关软件: F*;塔马林;隐秘… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
科尔伯特 1份文件引用(2022) 软件作者: 奥马尔·卡塔布(Omar Khattab),马泰·扎哈里亚(Matei Zaharia) 相关软件: FLANN;PyGaggle;Covidex… 主要字段: 信息与通信理论,电路(94-XX)
ConScript(ConScript) 2份文件引用(2013–2021) 软件作者: Meyerovich,L。;B.利夫希茨。 相关软件: FlowFox;水仙;监狱… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
EFSMT公司 2份文件引用(2016–2019) 软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件: z3;Yices;SMT-RAT… 主要字段: 计算机科学(68-XX)
GMTE公司 2份文件引用(2013–2019) 软件作者: Hannachi,Mohamed Amine;伊斯梅尔·博阿西达·罗德里格斯;哈利勒·德里拉(Khalil Drira);波马莱斯·埃尔南德斯(Pomares Hernandez)、索尔·爱德华多(Saul Eduardo) 相关软件: jLibBig;GraphML;AGG… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
KUKA机器人语言 2份文件引用(2015–2021) 软件作者: 亨利克·穆赫(Henrik Mühe)、安德烈亚斯·安格勒(Andreas Angerer)、阿尔文·霍夫曼(Alwin Hoffmann)、沃尔夫冈·雷夫(Wolfgang Reif) 相关软件: 机器人API 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
SociaLite公司 1份文件引用(2022) 软件作者: Jiwon Seo;Stephen Guo;Monica S.Lam女士 相关软件: 普雷格尔;大数据日志;奈德… 主要字段: 计算机科学(68-XX)
CoCon公司 1份文件引用(2021) 软件作者: 安德烈·波佩斯库;彼得·兰米奇(Peter Lammich);侯平 相关软件: FlowFox;存档正式证据;CoSMed… 主要字段: 计算机科学(68-XX)
合路器 1份文件引用(2023) 软件作者: 任洪宇、戴汉军、戴子航、杨梦娇、朱尔·莱斯科维奇、戴尔·舒尔曼斯、博代 相关软件: ELECTRA公司;GPT-3;Linformer… 主要字段: 统计学(62-XX);计算机科学(68-XX)
d3p公司 在0个文档中引用 软件作者: Lukas Prediger、Niki Loppi、Samuel Kaski、Antti Honkela 相关软件: 高温;TensorFlow;Python… 主要字段: –
快速估算器 在0个文档中引用 软件作者: 董晓萌、洪俊碧、张希明、迈克尔·波特、阿里特拉·乔杜里、普鲁吉特·巴尔、维维克·索尼、蔡云灿、拉杰什·塔马达、高拉夫·库马尔、卡罗琳·法瓦特、V.Ratna Saripalli、戈帕尔·阿维纳什 相关软件: 法赛;路德维希;Keras… 主要字段: –
JavaSMT软件 1份文件引用(2016) 软件作者: 埃戈尔·乔治·卡彭科夫(Egor George Karpenkov)、卡尔海因斯·弗里德伯格(Karlheinz Friedberger)、德克·拜尔(Dirk Beyer) 相关软件: FOCI;姆约利尼尔;帕盖… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LEMA公司 1份文件引用(2010) 软件作者: 文森特·列夫雷(Vincent Lefèvre);菲利普·塞维尼;德迪内钦,佛罗伦萨;克劳德·皮埃尔·珍妮罗德(Claude-Pierre Jeannerod);克利斯朵夫·莫里勒伦(Christophe Mouilleron);戴维·普范霍尔泽(David Pfannholzer);Revol,纳塔莉 相关软件: – 主要字段: 数值分析(65-XX)
病原体融合 1份文件引用(2021) 软件作者: Richard J.Chen、Ming Y.Lu、Jingwen Wang、Drew F.K.Williamson、Scott J.Rodig、Neal I.Lindeman、Faisal Mahmood 相关软件: 显微镜;pyjive;GitHub… 主要字段: 统计学(62-XX);计算机科学(68-XX)
ProGraML软件 在0个文档中引用 软件作者: Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件: 亚当;XLA;TensorFlow… 主要字段: –
TSTL公司 在0个文档中引用 软件作者: Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件: 假设;MutPy;DLint… 主要字段: –
VXDL软件 1份文件引用(2009) 软件作者: 科斯洛夫斯基(Koslovski)、吉尔赫梅·皮亚加斯(Guilherme Piegas);Primet,Pascale Vicat-Blanc;查奥,安德烈亚·施沃特纳 相关软件: NAS平行基准;奥林匹克运动会 主要字段: 计算机科学(68-XX)