HSolver公司 swMATH标识： 7419 软件作者： 斯特凡·拉特肖恩；志坤社；托马什·泽特库利奇 说明： HSolver是一个基于约束求解器RSOLVER的混合系统验证程序。与其他包不同，它的正确性不依赖于浮点舍入错误。它可以处理非线性常微分方程，但没有针对更简单的连续动力学进行优化。 主页： http://hsolver.sourceforge.net/ 相关软件： R溶剂;基准;高超声速;法弗;SpaceEx公司;宿便;日期/日期;QEPCAD公司;乌帕阿尔;凯玛拉;克洛诺斯;违反;阿里阿德涅;PPL公司;梅塔尔斯基;希萨特;z3型;流量*;S-塔利罗;杂交 参考文献： 43种出版物 全部的 前5名90位作者引用 5 她，志坤 4 拉斯坎，斯特凡 三 布雷索林，戴维德 三 柯林斯，彼得J。 三 格雷蒂，卢卡 三 提兹亚诺别墅 三 夏碧灿 三 詹乃俊 三 郑志明 2 阿克巴普尔，贝扎德 2 Duggirala，Parasara Sridhar市 2 哲特库利奇托马什 2 马丁，弗兰兹 2 弗雷希，戈兰 2 龙胆菜，拉斐拉 2 哈恩，恩斯特莫里茨 2 赫尔曼，霍尔格 2 卡托恩，乔斯特·皮尔特 2 Nedialkov，Nedialko S。 2 保尔森，劳伦斯·查尔斯 2 拉姆达尼，纳西姆 2 薛，白 2 赵恒军 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 李浩阳 1 林，王 1 刘志明 1 伙计，嘉乐 1 密特拉，萨扬 1 里卡多，穆拉多 1 纳瓦罗-洛佩斯，伊娃·马里亚 1 帕帕斯，乔治J。 1 广场，卡拉 1 普莱库，埃里昂 1 普拉泽，安德烈 1 波德尔斯基，安德烈亚斯 1 帕维斯特拉普拉巴卡尔 1 奎塞尔，简·大卫 1 雷尼尔，米歇尔·阿德里安 1 罗达，雅各布斯E。 1 斯里拉姆Sankaranarayanan 1 希弗勒斯，R.R.H。 1 施耐德，克劳斯 1 斯莫斯，简·乔治 1 克里希南，苏布拉马尼 1 辛克，丹 1 蒂尼，西蒙妮 1 Tsachouridis，Vassilios A。 1 van Beek，D.A。 1 范德韦根，伊利斯 1 瓦迪，莫希·雅科夫 1 维斯瓦纳坦，马赫什 1 瓦格纳，丝 1 王秋叶 1 王淑玲 1 伍德考克，詹姆斯·C·P。 1 吴金钊 1 肖荣 1 杨正峰 1 曾、夏 1 张辉 1 张丽君 全部的 前5名在15个系列中引用 4 系统设计中的形式化方法 4 非线性分析。混合动力系统 2 自动 2 理论计算机科学 2 符号计算杂志 2 计算的形式化方面 1 信息处理信函 1 信息与计算 1 自动推理杂志 1 数值算法 1 国际鲁棒非线性控制杂志 1 数学与人工智能年鉴 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 数值代数、控制与优化 全部的 前5名在11个字段中引用 32 计算机科学（68-XX） 21 系统论；控制（93-XX） 5 数值分析（65-XX） 5 运筹学，数学规划（90-XX） 三 常微分方程（34-XX） 2 数理逻辑与基础（03-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 动力系统与遍历理论（37-XX） 1 差分与泛函方程（39-XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 按年份引用出版物