×

找到21个软件包(结果1–21)

阿格达

228篇文献引用(1999–2023)
软件作者: 乌尔夫·诺雷尔
相关软件: Coq;哈斯克尔;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

iHSP-PseRAAAC系统

16篇文献引用(2014–2019)
软件作者: 冯总理、陈伟、林浩、周朝伟
相关软件: iRSpot-PseDNC;pLoc-m动物;iSNO-PseAAC…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

COMPASS(指南针)

3份文件引用(2006–2017)
软件作者: 北格里申Sadreyev R
相关软件: PSI-爆炸;爆炸;ClustalW…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

夏季时间

引用于9份文件(2016–2023)
软件作者: Lee,Roman N。;基里尔·明古洛夫。
相关软件: LiteRed;表格;天秤座…
主要字段: 数值分析(65-XX);量子理论(81-XX)

方程

6篇文献引用(2010–2020)
软件作者: 索索、马蒂厄
相关软件: Coq;精益;Idris…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

瓦伦

4份文件引用(2013–2018)
软件作者: A.Apostolico、M.Comin、L.Parida
相关软件: MADMX;WordSpy;MotifMiner…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

阿博加斯特

3份文件引用(2018年至2019年)
软件作者: 伊莎贝尔·沙彭蒂埃(Isabelle Charpentier);Jens Gustedt公司
相关软件: DLMF;算法916;HOAD_MathFun…
主要字段: 实函数(26-XX);复变量函数(30-XX);特殊功能(33-XX)…

COMODE公司

3份文件引用(2003–2007)
软件作者: Sunduz Keles;范德兰,马克·L。;Sandrine的Dudoit;邢、标;迈克尔·艾森。
相关软件: TileMap;LogicReg;rpart…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

评估代码

3份文件引用(2021–2023)
软件作者: Ball,Taylor;营地,爱德华多;Henry Chimal-Dzul;德利奥·贾拉米洛·维莱兹;洛佩兹,希拉姆;内森·尼科尔斯(Nathan Nichols);马修·珀金斯(Matthew Perkins);伊凡·索普鲁诺夫(Ivan Soprunov);Vera-Martínez,德国;格温·惠顿
相关软件: 线性代码;编码理论.m2;麦考莱2
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

线性代码

3份文件引用(2021–2023)
软件作者: Ball,Taylor;爱德华多坎普斯;Henry Chimal-Dzul;德利奥·贾拉米洛·维莱兹;洛佩兹,希拉姆;内森·尼科尔斯(Nathan Nichols);马修·珀金斯(Matthew Perkins);伊凡·索普鲁诺夫(Ivan Soprunov);Vera-Martínez,德国;格温·惠顿
相关软件: 评估代码;编码理论.m2;麦考莱2
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

PAL键+

3份文件引用(2003–2004)
软件作者: 罗,Z。
相关软件: ALF;自动化;Multilisp公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

FIRMA公司

1份文件引用(2018)
软件作者: 拉菲,M.Z.,卡巴列罗,J。
相关软件: 全景;KEA;VAMO…
主要字段: 信息与通信理论,电路(94-XX)

主生产计划

1份文件引用(2022)
软件作者: 马赫迪·蒂莫里
相关软件: 新教徒;R;充分性模型…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

原型Quipper-M

2份文件引用(2018–2022)
软件作者: 里奥斯,弗朗西斯科;彼得·塞林格
相关软件: 奎珀;哈斯克尔
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

载重吨

在0个文档中引用
软件作者: K.M.Wali、M.Murugappan、A.R.Badlishah、B.Zheng
相关软件:
主要字段:

联邦调查局

1份文件引用(2011)
软件作者: 托马斯·霍夫曼。;Vansteelandt,Stijn;克里斯托夫·兰格;埃德温·西尔弗曼(Edwin K.Silverman)。;Demeo,Dawn L。;Nan M.莱尔德。
相关软件: fgui;无阶段;R(右)
主要字段: 统计学(62-XX)

FLEXMG公司

1份文件引用(2010)
软件作者: 拉斯金,M。;Deconick,H。;G度。
相关软件: SPARSKIT;METIS公司
主要字段: 流体力学(76-XX)

元QASM

1份文件引用(2019)
软件作者: 艾米、马修
相关软件: QPL;质量管理清单;cQASM…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

m重量

1份文件引用(2022)
软件作者: 鲍勃·坦尼特
相关软件: 字幕;足杂项;newtx…
主要字段: 全局分析,流形分析(58-XX);相对论与引力理论(83-XX);天文学和天体物理学(85-XX)

路径_位置

1份文件引用(2024)
软件作者: 路易吉·卡普蒂;卡罗·科拉里;迪特兰尼(Di Trani),萨比诺(Sabino);杰森·史密斯。
相关软件: 组织环境信息系统;SageMath公司
主要字段: 组合数学(05-XX)

SHErrLoc公司

1份文件引用(2015)
软件作者: 安德鲁·迈尔斯(Andrew Myers)、张丹凤(Danfeng Zhang)
相关软件: OCaml;EasyOCaml;vZ…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件