个体经营者 swMATH ID: 4334 软件作者: 斯特凡·拉思坎(Stefan Ratschan) 描述: RSolver是一个求解量化不等式约束的程序。诸如将一组不等式约束的解集投影到二维,或线性微分方程的参数鲁棒稳定性等问题可以直接表示为此类约束。 主页: http://rsolver.sourceforge.net/ 相关软件: HSolver公司;基准;QEPCAD公司;高超声速;PHAVer公司;Sostools公司;太空探索技术公司;红线批注;凯伊迈拉;日/日;Uppaal公司;梅蒂塔斯基;z3(零3);YALMIP公司;d真实;克罗诺斯;SeDuMi公司;应用程序;RealPaver公司;HySAT卫星 引用于: 77文件 全部的 前5名137位作者引用 12 斯特凡·拉特肖恩 8 她,志坤 6 克里希纳·苏布拉马尼 5 帕夫洛斯·艾里纳基斯 5 Wojciechowski,Piotr J。 4 詹乃军 三 大卫·布雷索林 三 彼得·柯林斯。 三 马丁·范策尔 三 卢卡·杰雷蒂 三 Joost-Pieter卡托恩 三 安德烈·普拉泽 三 帕维特拉·普拉巴卡 三 萨尔瓦多鲁杰里 三 蒂齐亚诺别墅 三 夏碧灿 三 薛、白 三 郑志明 2 贝扎德·阿克巴普尔 2 科尔斯汀·鲍尔 2 达里奥·坎帕尼亚 2 陈明帅 2 帕拉萨拉·斯里达尔·达吉拉拉 2 托马斯·泽特库利奇 2 彼得·弗兰克 2 戈兰·弗雷斯 2 庆蒂里尼、拉斐拉 2 亚历山大·戈德斯特恩 2 恩斯特·莫里茨·哈恩 2 霍尔格·赫尔曼斯 2 卢克·杰林 2 Khanh,To Van先生 2 林,王 2 内迪亚科夫(Nedialko S.)。 2 小川,水井裕人 2 劳伦斯·查尔斯·保尔森 2 卡拉广场 2 贾·戴维德·奎塞尔 2 纳西·拉姆达尼 2 克劳斯·施耐德 2 董武宣 2 马赫什·维斯瓦纳坦 2 王秋叶 2 吴敏 2 杨正峰 2 彼得·兹格利钦斯基 2 赵恒军 1 艾丽卡·阿尔布拉汉姆 1 马里奥·阿尔维亚诺 1 邦尼·班纳吉 1 Stylianos巴萨吉安尼斯 1 史蒂文·本森。 1 卢卡·本韦努蒂 1 辛齐亚·伯纳德斯基 1 奥利维尔·布瓦索 1 坎通纳,多梅尼科 1 卡特、丽贝卡 1 吉尔·查伯特 1 亚历山大·查普托 1 陈、陶璐 1 吉安卢卡·辛科蒂 1 戴丽云 1 达姆,沃纳 1 Thao Dang先生 1 阿黛尔·贾巴拉 1 安德烈亚·多梅尼奇 1 劳伦特·多恩 1 简·杜拉茨 1 特里斯坦·埃伯特 1 安德烈亚斯·艾格斯 1 阿尔贝托·法拉利 1 保罗·菲奥里尼 1 詹姆斯·加里奇奥 1 乔瓦尼·加洛 1 甘婷 1 简·赫尔曼·杰弗斯 1 乔治·詹塔米迪斯 1 马尼什·戈亚尔 1 阿恩·哈特曼斯 1 克里斯蒂安·赫尔德 1 保罗·埃雷罗 1 Hiraishi、Kunihiko 1 拉迪克,米兰 1 弗兰乔·伊万契奇 1 利迪亚·卡夫拉基。 1 米歇尔·基弗 1 Koich小林 1 米查尔·科内奇 1 亚当·科普洛夫斯基 1 奥尔加·M·科舍列娃。 1 科斯塔斯库拉马斯 1 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 1 拉坦·拉尔 1 拉诺特、拉格罗 1 李浩阳 1 刘凯荣 1 刘志明 1 伙计,卡洛克 1 克劳德·米歇尔 1 萨扬·密特拉 …还有37位作者 全部的 前5名26篇连载文章中引用 5 系统设计中的形式化方法 5 数学与人工智能年鉴 5 非线性分析。混合动力系统 4 理论计算机科学 三 Automatica公司 三 符号计算杂志 三 信息与计算 2 自动推理杂志 2 计算的形式方面 2 约束条件 1 人工智能 1 信息处理信件 1 ACM数学软件汇刊 1 SIAM控制与优化杂志 1 数值算法 1 国际鲁棒非线性控制杂志 1 人工智能研究杂志 1 可靠的计算 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学中的数学 1 可满足性、布尔建模与计算杂志 1 科学中国。信息科学 1 数值代数、控制与优化 全部的 前5名在15个字段中引用 56 计算机科学(68-XX) 26 系统论;控制(93至XX) 14 运筹学、数学规划(90-XX) 12 数学逻辑和基础(03-XX) 11 数值分析(65-XX) 三 常微分方程(34-XX) 2 动力系统和遍历理论(37至XX) 2 概率论与随机过程(60-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实函数(26年X月X日) 1 差分方程和函数方程(39至XX) 1 相对论和引力理论(83至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文