×

找到38个软件包(结果1-38)

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)

埃克拉特

3份文件引用(2007–2011)
软件作者: 卡洛斯·帕切科;迈克尔·D·恩斯特
相关软件: JCrasher;罗斯特拉;Symstra…
主要字段: 计算机科学(68-XX)

流量凸轮

5份文件引用(2009–2018)
软件作者: V.西蒙内
相关软件: Jif;HLIO;哈斯克尔…
主要字段: 计算机科学(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)…

埃塞克斯脸

3份文件引用(2009–2012)
软件作者: L.空间
相关软件: 耶鲁脸;人脸数据库;Matlab…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-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)

比斯坎

3份文件引用(2016–2017)
软件作者:
相关软件: 算法457;BBMCL;MaxCliqueDyn…
主要字段: 组合数学(05-XX);运筹学、数学规划(90-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)

单位

1份文件引用(2003)
软件作者: P.N.希尔芬格
相关软件: 莫德;规格#;SIUNITS…
主要字段: 计算机科学(68-XX)

Apktool软件

在0个文档中引用
软件作者: 温斯尼夫斯基,R。
相关软件: 索引2jar
主要字段: 计算机科学(68-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)
软件作者: 理查德·克莱顿(Richard Clayton);乔治·达尼齐斯
相关软件:
主要字段: 计算机科学(68-XX)

电子票据

1份文件引用(2003)
软件作者: Jean-Christophe Mielnik;伯纳德·朗(Bernard Lang);圣菲省劳里埃;Jean-Georges Schlosser;文森特·鲍索斯
相关软件:
主要字段: 计算机科学(68-XX)

英尺切克

1份文件引用(2007)
软件作者: 莫尼奥特,R.K。
相关软件: FDLIBM;QUADLOG公司;LCLint…
主要字段: 数值分析(65-XX)

Gql公司

1份文件引用(2005)
软件作者: A.帕潘托纳基斯;P.J.H.金
相关软件: SAS;MANET;北极星…
主要字段: 统计学(62-XX);计算机科学(68-XX)

Legalese公司

1份文件引用(2019)
软件作者: D.头发
相关软件: CoRdE公司
主要字段: 可变形固体力学(74-XX)

LexNLP公司

在0个文档中引用
软件作者: Michael J Bommarito II、Daniel Martin Katz、Eric M Detterman
相关软件: Django;大熊猫;Docker…
主要字段:

马尔戈特

在0个文档中引用
软件作者: 里皮·马尔科、托罗尼·保罗
相关软件: 剪辑;拉撒路;WolframAlpha…
主要字段:

元DL

1份文件引用(2002)
软件作者: 菲利亚,马克顿;詹姆斯·福特(James Ford);沈、李;蒂尔曼·斯坦伯格;安德鲁·赛金(Andrew Saykin);希瑟·威斯哈特;萨兰托斯·卡皮达基斯
相关软件:
主要字段: 计算机科学(68-XX)

记忆法

1份文件引用(2010年)
软件作者: 约翰·鲁道夫(Johannes Rudolph);彼得·蒂曼
相关软件: BCEL;TALX6;ASM…
主要字段: 计算机科学(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)

f日期

在0个文档中引用
软件作者: 伊曼纽尔·科斯蒂根
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段