×

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

阿帕克

软件作者:莱霍克;索伦森;
参考文献: 834份出版物(1995-2022年)
相关软件: 环境影响因素;JDQZ公司;JDQR;拉帕克;Matlab语言;Eigtool…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程组(35-XX);数值分析(65-XX)

鲁棒控制工具箱

软件作者:数学作品;巴拉斯·G·蒋·R·帕卡德·A·萨芬诺夫·M
参考文献: 152种出版物(1989-2022)
相关软件: Matlab语言;控制系统工具箱;Mu分析综合工具箱;LMI工具箱;亚尔米普;优化工具箱…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程组(34-XX);数值分析(65-XX)

Mu分析综合工具箱

软件作者:数学作品;加里·J·巴拉斯,约翰·C·道尔,基思·格洛弗,安迪·帕卡德,罗伊·史密斯
参考文献: 109种出版物(1993-2021年)
相关软件: 鲁棒控制工具箱;LMI工具箱;Matlab语言;控制系统工具箱;歪斜;优化工具箱…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程组(34-XX);可变形固体力学(74-XX)

乐高

软件作者:罗,Z.,波拉克,R。
参考文献: 106种出版物(1991-2021)
相关软件: 成本;Nuprl公司;自动机;伊莎贝尔;毫升;霍尔…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);范畴论;同调代数(18-XX)

绿洲

软件作者:H。施密特;F、 B.詹森;等等。
参考文献: 94种出版物(1993-2022)
相关软件: 背包;夫妻;CutFEM公司;游猎;DLMF;狼毒…
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

Healpix公司

软件作者:K。M、 戈尔斯基;E、 希文;A、 班迪;B、 D.旺德尔特;F、 汉森;M、 雷内克;M、 巴特尔曼
参考文献: 73种出版物(2007-2022)
相关软件: 健康;蟒蛇;坎布;Matplotlib;DLMF;努比…
主要领域: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

科恩·卡纳德

软件作者:Kanade,Cohn,Tian
参考文献: 40种出版物(2001-2021)
相关软件: 贾菲;LIBSVM;筛选;AR面;费雷特;UCI ml…
主要领域: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)

小波工具箱

软件作者:数学作品;纳塔罗,C.M。;预备,N.G。;加兰,S.J.G。;卡巴内拉斯,C.S。
参考文献: 52种出版物(1995-2022)
相关软件: Matlab语言;神经网络工具箱;DT-CWT;密克罗德;帕梅蒂斯;PETSc…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

刮匙

软件作者:K.J.Dana,B.Van Ginneken,S.K.Nayar,J.J.Koenderink
参考文献: 29种出版物(2001-2020)
相关软件: 出口;筛选;EMD;LIBSVM;PCA-SIFT;KTH-TIPS…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

基础知识

软件作者:罗伯特·布莱顿;阿兰·米什琴科
参考文献: 35种出版物(2011-2021)
相关软件: 迷你卫星;z3;艾格;卡德;努西姆;CBMC…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

MR和LTV合成工具

软件作者:皮里,卡罗尔;杜勒鲁德,盖尔E。
参考文献: 35种出版物(1999-2021)
相关软件: 亚尔米普;沉香;LMI工具箱;宿便;Matlab语言;莫塞克…
主要领域: 常微分方程组(34-XX);动力系统与遍历理论(37-XX);运筹学,数学规划(90-XX)

MediaBench公司

软件作者:Lee,C.,Potkonjak,M.,Mangione Smith,W.H。
参考文献: 16种出版物(2001-2016)
相关软件: 米本奇;简单刻度;沃特奇;仙人掌;第二节;RTMemController…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

牡蛎

软件作者:霍恩,基督徒;斯梅尔,艾伦
参考文献: 32种出版物(1989-2021)
相关软件: 蛤;Nuprl公司;霍尔;伊莎贝尔;成本;伊莎贝尔/霍尔…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

汤姆普

软件作者:卡夫,D。
参考文献: 32种出版物(1994-2022)
相关软件: NLopt;非定位;DFVLR-SQP;鼻涕;蟒蛇;奥的斯;汽蚀余量…
主要领域: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);可变形固体力学(74-XX)

模仿者

软件作者:安德烈,爱蒂安
参考文献: 30种出版物(1996-2022)
相关软件: 乌帕;海因奇;PPL;拍打;特雷克斯;VINAS-P…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);粒子与系统力学(70-XX)

违反

软件作者:亚历山大唐泽
参考文献: 26种出版物(2011-2022)
相关软件: S-塔利罗;流量*;SpaceEx公司;Matlab语言;凯美拉;C2e2…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

石化

软件作者:Cortadella,J.,Kishinevsky,M.,Kondratyev,A.,Lavanno,L.,Yakovlev,A。
参考文献: 24种出版物(2001-2022)
相关软件: 恰当的;github;基因;rbminer公司;乌帕;克洛诺斯…
主要领域: 计算机科学(68-XX);系统论;对照组(93-XX);信息与通信理论,电路(94-XX)

帕塞克

软件作者:比尼亚,C。;库马尔,S。;辛格,J.P。;李,K。
参考文献: 7种出版物(2010-2021)
相关软件: 飞溅-2;阿尔卑斯;LLVM;锡尔克;MapReduce;爸爸…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

恰当的

软件作者:Schlachter,U.等人。
参考文献: 24种出版物(2015-2021)
相关软件: github;石化;思密特酚;合成网;其工具;z3…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

蛤蜊

软件作者:J。理查森,A。斯梅尔,I。格林
参考文献: 24种出版物(1997-2012)
相关软件: IsaPlanner公司;Nuprl公司;伊莎贝尔/霍尔;伊莎贝尔;成本;Isar…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

罗塞塔

软件作者:Øhrn,亚历山德;科莫罗夫斯基,一月;斯考伦,安德泽伊;西纳克,皮奥特
参考文献: 20种出版物(1998-2021)
相关软件: UCI毫升;LER;资源共享系统;资源库;韦卡;C4.5…
主要领域: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

E电池

软件作者:M Tomita,K Hashimoto,K Takahashi,T S Shimizu,Y Matsuzaki,F Miyoshi,K Saito S Tanida,K Yugi,J C Venter;C A和记黄埔
参考文献: 18种出版物(2003-2019)
相关软件: 格帕西;小桶;虚拟单元;流氓;科帕西;麦克尔…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);数值分析(65-XX)

斯泰利根

软件作者:Tero Karras、Samuli Laine、Timo Aila
参考文献: 21种出版物(2019-2022)
相关软件: 甘华斯坦;像素2像素;基列根;张量流;InfoGAN公司;比根…
主要领域: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)

发光

软件作者:Diederik P.Kingma,Prafulla Dhariwal
参考文献: 20种出版物(2019-2022)
相关软件: 不错;亚当;torchdiffeq;甘华斯坦;弗乔德;Pythorch…
主要领域: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

佩索阿

软件作者:罗伊,普里坦;保罗,塔布阿达;马朱姆达尔,鲁帕克
参考文献: 20种出版物(2011-2022)
相关软件: 苏格兰人;郁金香;科西马;Matlab语言;LTLMoP;中华民国…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

棱镜游戏

软件作者:陈韬略;弗雷特,沃伊特ěch;奎亚特科夫斯卡,玛尔塔;帕克,大卫;西迈提斯,艾斯蒂斯
参考文献: 22种出版物(2013-2021)
相关软件: 棱镜;麦克马斯;鹰;MCMAS-SLK公司;主旨;摩卡…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

上云母

软件作者:克努特·阿克松;马丁·费边;雨果·弗洛达尔;罗比·马利克
参考文献: 21种出版物(2009-2022)
相关软件: 乌姆德斯;利比亚人;快速检查;梅森网络;自动驾驶;反链…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

RACT公司

软件作者:安德烈·特雷姆巴;朱塞佩·卡拉菲奥雷;达比内;埃琳娜·格里亚齐娜;波利亚克;帕维尔·什切尔巴科夫;罗伯托节奏
参考文献: 20种出版物(2007-2018)
相关软件: 亚尔米普;完成;佩农;复合材料;舌状聚合体;聚合体…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

罗米普

软件作者:阿古哈里,C.M。;奥利维拉,R.C.L.F。;佩雷斯,P.L.D。
参考文献: 20种出版物(2016-2022)
相关软件: 亚尔米普;摩泽克;沉香;SeDuMi接口;索索普特;索斯多尔…
主要领域: 常微分方程组(34-XX);概率论与随机过程(60-XX);数值分析(65-XX)

苏格兰人

软件作者:伦格,马提亚斯;扎马尼,马吉德
参考文献: 19种出版物(2016-2022)
相关软件: 佩索阿;科西马;郁金香;中华民国;宿便;pFaces…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

比根

软件作者:安德鲁·布洛克,杰夫·多纳休,凯伦·西蒙扬
参考文献: 18种出版物(2019-2022)
相关软件: 甘华斯坦;像素2像素;基列根;斯泰利根;亚当;InfoGAN…
主要领域: 偏微分方程组(35-XX);统计学(62-XX);数值分析(65-XX)

软件作者:纳撒尼尔·谢弗
参考文献: 18种出版物(2008-2022)
相关软件: FFTW公司;太平洋开发银行;查姆普;DLMF;帕迪索;披萨…
主要领域: 偏微分方程组(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)

乔托

软件作者:托马斯·A·亨辛格、本杰明·霍洛维茨、克里斯托夫·迈耶·基尔希
参考文献: 14种出版物(2001-2022)
相关软件: 克洛诺斯;信号机;埃斯特雷尔;托勒密;乌帕;快速的mpc…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

梅根

软件作者:Daniel H.Huson,Alexander F.Auch,季琦,Stephan C.Schuster
参考文献: 5种出版物(2010-2017)
相关软件: 利乐;塔科阿;爆破;一个;拉斯特;防扩散冲击波…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

大都市

软件作者:Balarin F、渡边Y、谢赫H、拉瓦格诺L、Passerone C、Sangiovanni Vincentelli A
参考文献: 7种出版物(2006-2018)
相关软件: 托勒密;雷奥;旋转;埃斯特雷尔;乌帕;克洛诺斯…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

视觉

软件作者:布莱顿,R.K.等人。
参考文献: 10种出版物(2005-2015)
相关软件: 努西姆;旋转;海因奇;LTL2BA;斑点;塞萨尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

威普托尔

软件作者:Bergenthum,R.,Desel,J.,Lorenz,R.,Mauser,S。
参考文献: 12种出版物(2008-2022)
相关软件: rbminer公司;基因;石化;正式舞会;工艺;杂交猪…
主要领域: 计算机科学(68-XX)

软件作者:Sülflow,安德烈
参考文献: 16种出版物(2010-2022)
相关软件: R;克莱;z3;是的;Daikon公司;SMT-LIB…
主要领域: 一般性和全局性主题;收款(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

相思树+

软件作者:Bohy,A.,Bruyère,V.,Filiot,E.,Jin,N.,Raskin,J.F。
参考文献: 14种出版物(2014-2020)
相关软件: 条纹;卡奇;作业成本法;反链;乌帕阿尔蒂加;乌帕尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

FunArray公司

软件作者:库索,帕特里克;库索,拉迪亚;洛佐,弗朗西斯科
参考文献: 15种出版物(2011-2021)
相关软件: 阿斯特里;z3;助推器;停机坪;Mcmt;公主…
主要领域: 序,格,有序代数结构(06-XX);计算机科学(68-XX)

HTK公司

软件作者:杨,S.J;剑桥大学工程系(CUED)
参考文献: 8种出版物(1997-2007)
相关软件: 普拉特;芬德;拉斯塔马特;斯芬克斯二世;AdaBoost.MH版
主要领域: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

MCGP公司

软件作者:凯兹,加尔;贝利,多伦
参考文献: 11种出版物(2008-2021)
相关软件: 棱镜;LTL2BA;旋转;塞萨尔;预言;GitHub…
主要领域: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

莫达

软件作者:西玛加利,瓦莱里奥;波比,马西米利亚诺;巴尔西,马可
参考文献: 15种出版物(1993-2010)
相关软件:
主要领域: 一般性和全局性主题;收款(00-XX);统计学(62-XX);可变形固体力学(74-XX)

SatEx公司

软件作者:西蒙,劳伦特;查塔里克,菲利普
参考文献: 11种出版物(2001-2011)
相关软件: 糠;佐藤;单位步行;卫星库;Velev SAT基准;迪马斯…
主要领域: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

阿里阿德涅

软件作者:本维努蒂,卢卡;戴维德,布雷索林;柯林斯,彼得;法拉利,阿尔伯托;格雷蒂,卢卡;提兹亚诺别墅
参考文献: 13种出版物(2008-2021)
相关软件: 海因奇;法弗;SpaceEx公司;索尔弗;RSOLVER公司;凯玛拉…
主要领域: 数理逻辑与基础(03-XX);通用拓扑(54-XX);计算机科学(68-XX)

彗星板

软件作者:性别,A.S。;巴特奈克,S.N。;霍普金斯特区。;伯克,L。
参考文献: 14种出版物(1996-2018)
相关软件: e04ucf;抱怨;抱怨;康林;NLPQL;MHOST…
主要领域: 一般性和全局性主题;收款(00-XX);数值分析(65-XX);可变形固体力学(74-XX)

自食其力

软件作者:西单胞菌属;马夫罗塔斯,乔治;康斯坦丁左波尼迪斯;圣帕拉斯,约翰
参考文献: 13种出版物(2011-2019)
相关软件: MOEA/日;优化工具箱;马德姆;UTA Plus;卡帕拉布;SCALCG…
主要领域: 统计学(62-XX);运筹学,数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

枸杞

软件作者:Bruno Buchberger、Joachim Pfalzgraf、Karel Stokkermans、Wolfgang Gehrke、Viorica Sofronie
参考文献: 14种出版物(1995-2013)
相关软件: 枫树;英属维尔京群岛;ε;朱诺-2;GEX公司
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

预言

软件作者:Dehnert,C.,Junges,S.,Jansen,N.,Corzilius,F.,Volk,M.,Bruintjes,H.,Katoen,J.-P。,Ábrahám,E。
参考文献: 14种出版物(2015-2022)
相关软件: 棱镜;暴风雨;参数;MRMC;森林;GitHub…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);概率论与随机过程(60-XX)

郁金香

软件作者:Tichakorn Wongpiromsann,Ufuk Topcu,Necmiye Ozay,徐欢,Richard M.Murray
参考文献: 14种出版物(2016-2022)
相关软件: 佩索阿;科西马;苏格兰人;卡德;LTLMoP;中华民国…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

罗佛根

软件作者:格雷戈里·巴特;凯琳·贝尔塔
参考文献: 13种出版物(2007-2019)
相关软件: 比查姆;神圣的;拉玛斯;GNA公司;棱镜;海因奇…
主要领域: 动力系统与遍历理论(37-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

符号

软件作者:李易;美国焊接学会Albarghouthi;金凯,扎卡里;格芬克尔,阿里;切奇,玛莎
参考文献: 13种出版物(2014-2021)
相关软件: z3;维兹;OptiMathSAT公司;数学5;洛格米普;是的…
主要领域: 数理逻辑与基础(03-XX);常微分方程组(34-XX);计算机科学(68-XX)

时频工具箱

软件作者:螺旋钻F、Flandrin P、Goncalves P、Lemoine O
参考文献: 11种出版物(2002-2019)
相关软件: Matlab语言;项目经理;小波工具箱;EMG-LODEC
主要领域: 欧氏空间的调和分析(42-XX);统计学(62-XX);流体力学(76-XX)

科西玛

软件作者:穆尔希,塞比;吉拉德,安托万;葛斯勒,格雷戈
参考文献: 12种出版物(2015-2022)
相关软件: 苏格兰人;佩索阿;郁金香;中华民国;表面活性剂;皮波曼…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

δ-西格玛

软件作者:施赖尔,R。
参考文献: 11种出版物(2008-2021)
相关软件: 科萨普;LMI工具箱;彭氏指数;alphaBB公司;minlpBB公司;Matlab…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

觉醒

软件作者:让马克比安尼克
参考文献: 11种出版物(2008-2018)
相关软件: 鲁棒控制工具箱;亚尔米普;控制系统工具箱;LMI工具箱;Matlab语言;IQC…
主要领域: 粒子与系统力学(70-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

主旨

软件作者:Chatterjee,K.,Henzinger,T.A.,Jobstmann,B.,Radhakrishna,A。
参考文献: 8种出版物(2012-2022)
相关软件: 棱镜;棱镜游戏;GAV;摩卡;麦克马斯;鹰…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

米兹3

软件作者:维迪迪克,弗里克
参考文献: 11种出版物(2012-2020)
相关软件: 成本;后桅;Isar;霍尔;伊莎贝尔/霍尔;天哪…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);光学,电磁理论(78-XX)

斯塔克根

软件作者:张涵、徐涛、李红生、张绍庭、王晓刚、黄晓磊、梅塔克斯
参考文献: 8种出版物(2020-2022)
相关软件: 甘华斯坦;亚当;CIFAR公司;像素2像素;基列根;LR-GAN…
主要领域: 统计学(62-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)

阿德20K

软件作者:Zhou B、Zhao H、Puig X、Fidler S、Barriuso A、Torralba A。
参考文献: 7种出版物(2020-2022)
相关软件: MS-COCO;深实验室;城市景观;基蒂;U网;地图远景…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

利比亚人

软件作者:伯纳德·奥皮茨、托马斯·摩尔、克劳斯·施密特
参考文献: 10种出版物(2010-2020)
相关软件: 乌姆德斯;害虫;穆迪夫;TCT;上云母;GitHub…
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

项目Q

软件作者:Damian S.Steiger,Thomas Häner,Matthias Troyer
参考文献: 2种出版物(2019-2020)
相关软件: 蟒蛇;qHiPSTER公司;利基;开放费米子;草莓地;夸托奇…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

流氓

软件作者:罗德里克·布洛姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治霍夫雷克、罗伯特·克尼霍弗、马可·罗维里、维克多·舒潘、理查德·塞伯
参考文献: 9种出版物(2012-2021)
相关软件: JTLV公司;努西姆;卡德;乌姆德斯;github;数学卫星…
主要领域: 数理逻辑与基础(03-XX);测量与集成(28-XX);计算机科学(68-XX)

TCT

软件作者:雷锋,W.M.旺汉
参考文献: 10种出版物(2011-2020)
相关软件: 乌姆德斯;害虫;穆迪夫;github;利比亚人;CMC…
主要领域: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX);系统论;控制(93-XX)

Verilog公司

软件作者:萨瑟兰,斯图尔特
参考文献: 10种出版物(1999-2020)
相关软件: 视频处理接口;卡米语;归档正式证据;github;UTPCalc公司;马戏团…
主要领域: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

LTFAT公司

软件作者:Zdeněk Průa、Peter L.Sødergaard、Nicki Holighaus、Christoph Wiesmeyr、Peter Balazs
参考文献: 8种出版物(2016-2020)
相关软件: Matlab语言;线性时频分析工具箱;卸载箱;ADT;听觉工具箱;pvoc…
主要领域: 常微分方程组(34-XX);偏微分方程组(35-XX);近似和展开(41-XX)

世华

软件作者:N。公园;A、 C.帕克
参考文献: 4个出版物(1989-2002)
相关软件: 马哈;米莫拉;森林狼;皮利布;火焰
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

STCT

软件作者:张中华;沃纳姆,W.M。
参考文献: 9种出版物(2002-2009)
相关软件: 乌姆德斯;伙计
主要领域: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)

条纹

软件作者:卢滕伯格,迈克尔;梅耶,菲利普J。;希克特,所罗门
参考文献: 9种出版物(2019-2021)
相关软件: PG求解器;金合欢+;卡德;拉布尼泽;旋转;棱镜…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

级联

软件作者:约琴·贝斯特、格诺·埃克斯坦、拉尔夫·沃洛夫斯基
参考文献: 8种出版物(2000-2008)
相关软件: 级联
主要领域: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)

iOpt

软件作者:沃杜里斯,克里斯托斯;多恩,拉斐尔;莱森特,大卫;丽丽,安妮
参考文献: 8种出版物(2001-2017)
相关软件: 航向信标;EasyLocal++;彗星;局部求解器;定位器++;萨尔萨…
主要领域: 一般性和全局性主题;收款(00-XX);组合数学(05-XX);计算机科学(68-XX)

物理的

软件作者:文森特兰维兹;文森特·贝瑞;亚历克西斯·克里斯库洛;皮埃尔·亨利·法布;西尔文·吉尔莫特;席琳·斯科尔纳瓦卡;伊曼纽尔J.P.杜泽里
参考文献: 7种出版物(2009-2019)
相关软件: 诺通;Rec-I-DCM3;超三胞胎;拉XML;生物++;四重奏…
主要领域: 一般性和全局性主题;收款(00-XX);组合数学(05-XX);数值分析(65-XX)

普里兹

软件作者:薄荷糖,G。;泰古,E。
参考文献: 8种出版物(1988-2000)
相关软件: 螺母;堵住;表格
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

斯塔根

软件作者:崔云杰,崔明杰,金文英,金正宇,金顺勋,周杰珠
参考文献: 4种出版物(2020-2021)
相关软件: 蟒蛇;基列根;图像网;像素2像素;张量流;阿汤根…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

合成

软件作者:奥蒂利,M。;因韦拉尔迪,P。;纳瓦拉,A。;蒂沃利,M。
参考文献: 7种出版物(2008-2012)
相关软件: 杰斯;沙发2.0;伊塔卡;同步发电机;努西姆;旋转…
主要领域: 计算机科学(68-XX)

辛西娅

软件作者:彼得,H.-J。,埃勒斯,R.,马特姆勒,R。
参考文献: 7种出版物(2012-2020)
相关软件: 乌帕阿尔蒂加;乌帕;棱镜;红色图书馆;CMC;克洛诺斯…
主要领域: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;控制(93-XX)

合金*

软件作者:米利切维奇,A.,Near,J.P.,Kang,E.,Jackson,D。
参考文献: 6种出版物(2017-2021)
相关软件: z3;github;马尔格雷夫;睾丸;科德科德;迷你卫星…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);组合数学(05-XX)

软件作者:彼得·奥普·德比克、弗朗西斯科·巴拉特、穆拉利·贾亚帕拉和鲁迪·劳韦林
参考文献: 7种出版物(2001-2020)
相关软件: 刀刺;R;模式;C4.5;UCI毫升;斯莱克
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

深沉的演说

软件作者:Awni Hannun、Carl Case、Jared Casper、Bryan Catanzaro、Greg Diamos、Erich Elsen、Ryan Prenger、Sanjeev Satheesh、Shubho Sengupta、Adam Coates、Andrew Y.Ng
参考文献: 6种出版物(2019-2021)
相关软件: Pythorch公司;亚当;张量流;图像网;亚历克斯内特;GNMT…
主要领域: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

反证

软件作者:五。S、 Mikhalevich,I.V.Sergienko,T.T.Lebedeva等人。
参考文献: 7种出版物(1981-2017)
相关软件: 策划人;迪斯内尔;ralgb5;ralgb4;倍频程;Matlab语言
主要领域: 历史与传记(01-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

闪光金属

软件作者:奥列克山德罗佐夫;古尔瓦尼苏米特
参考文献: 5种出版物(2017-2021)
相关软件: 过境;闪烁填充;z3;LLVM;玫瑰花;FlashExtract…
主要领域: 计算机科学(68-XX)

马哈

软件作者:A。帕克,J.皮萨罗,M.姆利纳
参考文献: 5种出版物(1995-2007)
相关软件: 世华;火焰;森林狼;雅可;CPLEX公司;苏格拉底…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

玛西亚斯

软件作者:乔治·扎内塔基斯
参考文献: 1本出版物(2007年)
相关软件: FMP笔记本;SM工具箱;温度图工具箱;Matlab语言;利布罗萨;微工具箱…
主要领域: 一般性和全局性主题;收款(00-XX);统计(62-XX)

NL控制

软件作者:Belikov,J.,科塔,Ü,Tõnso,M。
参考文献: 7种出版物(2016-2020)
相关软件: 数学;牙髓分析;变形;全息函数;ORE模块;麦考拉2…
主要领域: 实函数(26-XX);动力系统与遍历理论(37-XX);变分法与最优控制;优化(49-XX)

重新配置

软件作者:H。Alwi,L.Chen,C.Edwards
参考文献: 7种出版物(2016-2022)
相关软件: 地址保险箱;亚尔米普;沉香
主要领域: 变分法与最优控制;优化(49-XX);系统论;控制(93-XX)

风车

软件作者:B。博纳达普尔,S.库尔卡尼
参考文献: 6种出版物(2009-2015)
相关软件: 卡德;维塔夫;MR4UM;乌帕;旋转;努西姆…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

过境

软件作者:Udupa,A.,Raghavan,A.,Deshmukh,J.V.,Mador Haim,S.,Martin,M.M.,Alur,R。
参考文献: 6种出版物(2015-2021)
相关软件: CVC4;简化;FlashMeta;z3;是的;FlashExtract…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

宙斯

软件作者:风信子属;神圣的恩杜穆;林登·C·李;杰伦·C·科利斯
参考文献: 7种出版物(2002-2011)
相关软件: 英格尼亚斯
主要领域: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)

阿尔法

软件作者:王尔德,D.K。
参考文献: 6种出版物(1999-2005)
相关软件: 马尔帕法;多段线;歌剧;光泽
主要领域: 计算机科学(68-XX)

弗莱奇克

软件作者:H。K、 钟,陈先生,摩根先生,拉尔琴科先生,李先生
参考文献: 6种出版物(2010-2021)
相关软件: 葫芦巴;阿巴科/拉普卡尔;SPECT3D;虹膜;MIXKIP/RAPCAL公司;赫拉克勒斯…
主要领域: 计算机科学(68-XX);流体力学(76-XX);光学,电磁理论(78-XX)

李亚帕斯

软件作者:加夫里洛夫,文学硕士。;扎克列夫斯基,公元前。
参考文献: 6种出版物(1969-2013)
相关软件: APL公司
主要领域: 历史与传记(01-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

开放式DR

软件作者:马修·M·洛珀;迈克尔J.布莱克
参考文献: 4种出版物(2018-2021)
相关软件: 张量流;图像网;3D-R2N2;沙佩内;Pythorch公司;亚当…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

城邦

软件作者:巴莱亚尼,马西莫;康蒂,马西莫;法拉利,阿尔伯托;弗拉斯科拉,瓦莱里奥;Sangiovanni Vincentelli,阿尔伯托
参考文献: 6份出版物(2002-2007)
相关软件: 多时性;糠;米本奇;MediaBench公司
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

回购

软件作者:卡拉卡,O.,Darivianakis,G.,Beuchat,P.,Georghiou,A.,Lygeros,J。
参考文献: 6种出版物(2021-2022)
相关软件: TSSO;一尘不染;诗;CVXPY公司;生态系统;稀疏BSO
主要领域: 组合数学(05-XX);代数几何(14-XX);群论与概化(20-XX)

玫瑰花结

软件作者:托拉克,E.,波迪克,R。
参考文献: 6种出版物(2016-2021)
相关软件: github;FlashMeta;合金*;YACC公司;Qlose公司;垫片…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

SReachTools公司

软件作者:维诺德,亚伯拉罕P。;格里森,约瑟夫D。;Oishi,Meeko M.K。
参考文献: 6种出版物(2019-2022)
相关软件: 浮士德2;邮电部;粗壮的;ProbReach公司;棱镜;GitHub…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

艾莉莎

软件作者:科鲁霍娃,尤利娅
参考文献: 5种出版物(2006-2021)
相关软件: 孩子们;理论;牡蛎;蛤;Nuprl公司;伊莎贝尔
主要领域: 计算机科学(68-XX)

阿米科

软件作者:布兰切特,贾斯敏·克里斯蒂安;博兹,艾默里克;洛赫比勒,安德烈亚斯;波佩斯库,安德烈;特劳特尔,德米特里
参考文献: 5种出版物(2017-2020)
相关软件: 霍尔;伊莎贝尔/霍尔;瘦身;阿格达;成本;存档正式证据…
主要领域: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

两性离子

软件作者:Lowry,M.R.,Philpot,A.,Pressburger,T.,Underwood,I
参考文献: 3种出版物(1998-2010)
相关软件: 蛤;牡蛎;霍尔;火花;濑户;VCC…
主要领域: 计算机科学(68-XX)

阿斯特里克斯/欧布尔克斯

软件作者:Ochotta,E.S.,Rutenbar,R.A.,Carley,L.R
参考文献: 4种出版物(2007-2014)
相关软件: CGL公司
主要领域: 计算机科学(68-XX);光学,电磁理论(78-XX);运筹学,数学规划(90-XX)