×

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

结块_lpr

7份文件引用(2021年-2023年)
软件作者: Tan,Yong Kiam;马里恩·赫勒。;玛格努斯·O·米琳。
相关软件: DRAT-饰件;CaDiCaL;Paracooba…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

miRTarBase(miRTarBase)

3份文件引用(2013–2018)
软件作者: Chou CH,Chang NW,Shrestha S,Hsu SD,Lin YL,Lee WH,Yang CD,Hong HC,Wei TY,Tu SJ,Tsai TR,Ho SY,Jian TY,Wu HY,Chen PR,Lin NC,Huang HT,Yang-TL,Pai CY,Tai CS,Chen WL,Huang-CY,Liu CC,Weng SL,Liao KW,Hsu-WL,黄HD
相关软件: HIPPIE;字符串;大卫…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

EDOPTLAB公司

2份文件引用(2013–2015)
软件作者: R“udiger莱因哈特;Armin霍夫曼;Tobias Gerlach
相关软件: Matlab公司
主要字段: 一般性和全局性主题;藏品(00-XX);数值分析(65-XX);运筹学、数学规划(90-XX)

MapleAmpharos公司

1份文件引用(2021)
软件作者: 赛义德·内贾蒂;纽瑟姆,扎克;约瑟夫·斯科特(Joseph Scott);梁家辉;凯瑟琳·格博提斯(Catherine Gebotys);帕斯卡尔·波帕特;维杰·加内什
相关软件: Transalg;斯普拉茨;AmPharoS…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

筛选结果依据…