×

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

柔软

81份文件引用(2001–2022)
软件作者: 不列颠哥伦比亚省阿拉纳赫
相关软件: 斯费诺;SuSpect;micrOMEGAs…
主要字段: 统计学(62-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

MiniMaxSat卫星

39篇文献引用(2008–2023)
软件作者: 费德里科·赫拉斯;哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯
相关软件: 周六4j;MaxHS;QMaxSAT…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

PARPAP公司

38篇文献引用(2006–2023)
软件作者: 贝特尔斯,斯特凡;托尔斯滕·法勒
相关软件: VRP;古罗比;超启发式…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

NMHDECAY公司

36篇文献引用(2001–2017)
软件作者: 乌尔里希·埃尔旺格(Ulrich Ellwanger)、西里尔·雨戈尼(Cyril Hugonie)
相关软件: NMSSM工具;柔软;micrOMEGAs…
主要字段: 交换代数(13-XX);统计学(62-XX);量子理论(81-XX)…

SNOBFIT公司

引用于27份文件(2009–2023)
软件作者: 阿诺德·纽梅尔
相关软件: MultiMin;EGO;MCS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

NMSSM工具

26篇文献引用(2006–2017)
软件作者: 乌尔里希·埃尔旺格;约翰·冈宁(John F.Gunion);西里尔·胡戈尼
相关软件: NMHDECAY公司;微囊藻;柔软…
主要字段: 量子理论(81-XX);相对论和引力理论(83-XX)

FULPAL公司

19份文件引用(1990–2017)
软件作者: H.Rommelfanger先生
相关软件: PSPLIB;基因组学;RanGen…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);运筹学,数学规划(90-XX)…

RC2号机组

15篇文献引用(2019–2023)
软件作者: Alexey Ignatiev,A.M。;马奎斯·西尔瓦,J。
相关软件: MaxHS;Open-WBO;QMaxSAT…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

帕戈达

12份文件引用(2007–2015)
软件作者: Wirsing,Martin;Denker,砂砾;卡罗琳·塔尔科特;安迪·波乔(Andy Poggio);Briesemeister琳达
相关软件: 莫德;科莱姆;重新设置(amp;E)…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

NMSPEC公司

10篇文献引用(2010–2016)
软件作者: U.Ellwanger、C.Hugonie
相关软件: NMHDECAY公司;微囊藻;ISAJet…
主要字段: 统计学(62-XX);量子理论(81-XX);相对论和引力理论(83-XX)

NSP接口

引用于7份文件(2008–2020)
软件作者: Vanhoucke,M.,Maenhout,B。
相关软件: 林多;迷你卫星;本质…
主要字段: 运筹学、数学规划(90-XX)

首选项SQL

5份文件引用(2012–2020)
软件作者: Kießling,W.,Endres,M.,Wenzel,F。
相关软件: dplyr;懒惰;调音播放…
主要字段: 计算机科学(68-XX)

背景毫米

1份文件引用(2020)
软件作者: Przemyslaw Biecek;埃瓦·斯祖雷克
相关软件: 麦克卢斯特;R;混合工具…
主要字段: 统计学(62-XX)

TPtool公司

6篇文献引用(2014–2017)
软件作者: 萨博尔斯·纳吉;佐尔坦·彼得斯;彼得·巴拉尼
相关软件: Qhull;YALMIP;SDPT3…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

风景

4份文件引用(2021–2023)
软件作者: 丹尼尔·弗里蒙特(Daniel J.Fremont)。;爱德华·金;托马索·德罗西;Ghosh,Shromona;岳向玉;Sangiovanni-Vincentelli,Alberto L。;Sanjit A.Seshia。
相关软件: 阿波罗;验证;卡拉…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

利特姆斯

4份文件引用(2012–2021)
软件作者: Calandrino,J.M。;Leontyev,H。;区块A。;加州大学Devi。。。
相关软件: PESPLib公司;羽毛履带
主要字段: 计算机科学(68-XX)

PATOMA公司

引用于3份文件(2008–2021)
软件作者: 聪;M.罗梅西斯;J.R.Shinnerl先生
相关软件: 不明飞行物;LBFGS-B;DeFer…
主要字段: 凸和离散几何(52-XX);运筹学、数学规划(90-XX)

类似SAT

引用于3份文件(2020–2023)
软件作者: 蔡少伟;雷振东
相关软件: Open-WBO;PBLib;古罗比…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

福克斯公共安全实验室

1份文件引用(2017)
软件作者: Sara Magliabane;菲利普·斯图茨;保罗·格罗斯;亚伯拉罕·伯恩斯坦
相关软件: 索赔评估;HyPER;博客…
主要字段: 统计学(62-XX);计算机科学(68-XX)

迷你黄铜

2份文件引用(2018–2023)
软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫
相关软件: 微量锌;JuMP;古罗比…
主要字段: 运筹学、数学规划(90-XX)

REMM公司

2份文件引用(2008–2021)
软件作者: 弗朗西斯科·莫斯卡托;Venticinque,萨尔瓦多;阿弗莎、罗科;贝尼亚米·迪·马蒂诺
相关软件: 罗丹;贾德克斯
主要字段: 计算机科学(68-XX)

会阴密度

1份文件引用(2019)
软件作者: 萨姆·巴特里(Sam Buttrey)、约翰内斯·罗伊塞特(Johannes Royset)、罗杰·韦茨(Roger Wets)
相关软件: CONOPT公司;老鼠;ks…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

霍里亚三世

1份文件引用(1997)
软件作者: Bouzoubaa,M。;Neveu,B。;G.哈塞尔。
相关软件:
主要字段: 运筹学、数学规划(90-XX)

科学卫星

在0个文档中引用
软件作者: 藤田,广岛;Koshimura、Miyuki;长谷川龙子
相关软件: 迷你卫星;MGTP;QMax卫星
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件