R溶剂 swMATH标识： 4334 软件作者： 斯特凡·拉斯坎 说明： RSolver是一个求解量化不等式约束的程序。将一组不等式约束的解集投影到二维，或线性微分方程的参数鲁棒稳定性等问题都可以直接表示为此类约束。 主页： http://rsolver.sourceforge.net/ 相关软件： HSolver公司;基准;QEPCAD公司;高超声速;法弗;红皮书;宿便;SpaceEx公司;日期/日期;乌帕阿尔;凯玛拉;梅塔尔斯基;克洛诺斯;z3型;雅尔米普;德雷尔;摊铺机;希萨特;违反;沉香 参考文献： 72种出版物 全部的 前5名129位作者引用 12 拉斯坎，斯特凡 7 她，志坤 6 克里希南，苏布拉马尼 5 艾瑞纳基斯，帕夫洛斯 5 沃伊切霍夫斯基，皮奥特J。 三 布雷索林，戴维德 三 柯林斯，彼得J。 三 马丁，弗兰兹 三 格雷蒂，卢卡 三 萨尔瓦托鲁吉里 三 提兹亚诺别墅 三 夏碧灿 三 詹乃俊 三 郑志明 2 阿克巴普尔，贝扎德 2 鲍尔，克尔斯廷 2 坎帕尼亚，达里奥 2 Duggirala，Parasara Sridhar市 2 哲特库利奇托马什 2 弗兰克，彼得 2 弗雷希，戈兰 2 龙胆菜，拉斐拉 2 亚历山大戈尔斯泰恩 2 哈恩，恩斯特莫里茨 2 赫尔曼，霍尔格 2 焦林，卢克 2 卡托恩，乔斯特·皮尔特 2 康，去凡 2 林，王 2 Nedialkov，Nedialko S。 2 小川，瑞穗 2 保尔森，劳伦斯·查尔斯 2 广场，卡拉 2 普拉泽，安德烈 2 帕维斯特拉普拉巴卡尔 2 奎塞尔，简·大卫 2 拉姆达尼，纳西姆 2 施耐德，克劳斯 2 董武宣 2 维斯瓦纳坦，马赫什 2 薛，白 2 杨正峰 2 Zgliczynèski，Piotr 2 赵恒军 1 阿尔维亚诺，马里奥 1 班纳吉，邦尼 1 巴萨吉安尼斯 1 本森，史蒂文J。 1 本文努提，卢卡 1 伯纳德斯基，辛齐亚 1 布伊索，奥利弗 1 康托纳，多梅尼科 1 卡特，丽贝卡 1 查伯特，吉尔 1 钱德拉塞卡兰，巴拉克里希南 1 查普特，亚历山德拉 1 陈明帅 1 陈涛略 1 辛科蒂，詹卢卡 1 戴丽云 1 该死，沃纳 1 当，曹 1 贾巴拉，阿德尔 1 多梅尼奇，安德里亚 1 多恩，劳伦特 1 杜拉茨，一月 1 埃格斯，安德烈亚斯 1 法拉利，阿尔伯托 1 菲奥里尼，保罗 1 加洛，乔瓦尼 1 甘，婷 1 杰弗斯，简·赫尔曼 1 吉安塔米迪斯，乔治 1 戈亚尔，曼尼什 1 哈特曼，阿恩 1 赫德，克里斯蒂安 1 你好，保罗 1 平石、久野子 1 赫拉迪克，米兰 1 伊万契奇，弗朗乔 1 卡夫拉基，莉迪亚·E。 1 基弗，米歇尔 1 小林，小林 1 科恩，米哈尔 1 科普罗夫斯基，亚当 1 科舍列娃，奥尔加M。 1 库拉马斯，科斯塔斯 1 Kreinovich，弗拉迪克·亚科夫列维奇 1 拉诺特，拉格罗 1 李浩阳 1 刘志明 1 伙计，嘉乐 1 米歇尔，克劳德 1 密特拉，萨扬 1 里卡多，穆拉多 1 纳瓦罗-洛佩斯，伊娃·马里亚 1 帕帕斯，乔治J。 1 培纳洛扎，拉斐尔 1 普莱库，埃里昂 1 波德尔斯基，安德烈亚斯 …还有29位作者 全部的 前5名在26个系列中引用 5 系统设计中的形式化方法 5 数学与人工智能年鉴 4 理论计算机科学 4 非线性分析。混合动力系统 三 自动 三 符号计算杂志 2 自动推理杂志 2 计算的形式化方面 2 限制条件 1 人工智能 1 信息处理信函 1 数学软件ACM交易 1 控制与优化杂志 1 信息与计算 1 数值算法 1 国际鲁棒非线性控制杂志 1 人工智能研究杂志 1 可靠计算 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 计算逻辑学报 1 计算机科学中的数学 1 可满足性，布尔建模与计算杂志 1 科学中国。信息科学 1 数值代数、控制与优化 全部的 前5名在15个字段中引用 52 计算机科学（68-XX） 23 系统论；控制（93-XX） 13 运筹学，数学规划（90-XX） 12 数理逻辑与基础（03-XX） 11 数值分析（65-XX） 三 常微分方程（34-XX） 2 动力系统与遍历理论（37-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实函数（26-XX） 1 差分与泛函方程（39-XX） 1 概率论与随机过程（60-XX） 1 相对论与引力理论（83-XX） 1 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份引用出版物