H溶剂 swMATH ID: 7419 软件作者： Stefan Ratschan；知坤社；托马斯·泽特库利奇 描述： HSolver是一个基于约束求解器RSOLVER的混合系统验证程序。与其他包不同，它的正确性不依赖于浮点舍入误差。它可以处理非线性常微分方程，但没有针对更简单的连续动力学进行优化。 主页： http://hsolver.sourceforge.net网站/ 相关软件： RSOLVER公司；基准；高超声速；PHAVer公司；SpaceEx公司；Sostools公司；凯伊迈拉；日/日；QEPCAD公司；Uppaal公司；z3（零3）；应用程序；梅蒂塔斯基；克洛诺斯；YALMIP公司；流量*；违约；阿里阿德涅；HySAT卫星；数学SAT 引用于： 48文件 全部的 前5名99位作者引用 6 她，志坤 4 斯特凡·拉特肖恩 4 詹乃军 三 大卫·布雷索林 三 彼得·柯林斯。 三 卢卡·杰雷蒂 三 Joost-Pieter卡托恩 三 蒂齐亚诺别墅 三 夏碧灿 三 薛、白 三 郑志明 2 贝扎德·阿克巴普尔 2 科尔斯汀·鲍尔 2 陈明帅 2 帕拉萨拉·斯里达尔·达吉拉拉 2 托马斯·泽特库利奇 2 马丁·范策尔 2 戈兰·弗雷斯 2 庆蒂里尼、拉斐拉 2 恩斯特·莫里茨·哈恩 2 霍尔格·赫尔曼斯 2 内迪亚科夫（Nedialko S.）。 2 劳伦斯·查尔斯·保尔森 2 安德烈·普拉泽 2 帕维特拉·普拉巴卡 2 纳西·拉姆达尼 2 Schneider，Klaus公司 2 王秋叶 2 赵恒军 1 艾丽卡·阿尔布拉汉姆 1 Stylianos巴萨吉安尼斯 1 卢卡·本维努蒂 1 辛齐亚·伯纳德斯基 1 达里奥·坎帕尼亚 1 卡特、丽贝卡 1 陈、陶璐 1 戴丽云 1 达姆，沃纳 1 Thao Dang先生 1 安德烈亚·多梅尼奇 1 劳伦特·多恩 1 特里斯坦·埃伯特 1 安德烈亚斯·艾格斯 1 阿尔贝托·法拉利 1 保罗·菲奥里尼 1 詹姆斯·加里奇奥 1 甘婷 1 简·赫尔曼·杰弗斯 1 乔治·詹塔米迪斯 1 亚历山大·戈德斯特恩 1 马尼什·戈亚尔 1 阿恩·哈特曼斯 1 Hiraishi、Kunihiko 1 弗兰乔·伊万契奇 1 利迪亚·卡夫拉基。 1 Koich小林 1 亚当·科布罗斯基 1 科斯塔斯库拉马斯 1 拉坦·拉尔 1 拉诺特、拉格罗 1 李浩阳 1 林，王 1 刘凯荣 1 刘志明 1 伙计，卡洛克 1 萨扬·密特拉 1 斯特凡·米奇 1 里卡多·穆拉多尔 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 乔治·J·帕帕斯。 1 卡拉广场 1 埃里昂·普拉库 1 安德烈亚斯·波德尔斯基 1 贾·戴维德·奎塞尔 1 米歇尔·阿德里安 1 雅各布斯·E·罗达。 1 桑卡拉纳拉亚南，斯里拉姆 1 R.R.H.希弗勒。 1 斯特凡·舒普 1 斯马乌斯，Jan-Georg 1 克里希纳·苏布拉马尼 1 丹·辛克 1 Tan，Yong Kiam先生 1 西蒙·蒂尼 1 Tsachouridis，瓦西里奥斯A。 1 范·比克，D.A。 1 埃利斯·范德维根 1 莫西·亚亚科夫·瓦尔迪 1 马赫什·维斯瓦纳坦 1 希尔克·瓦格纳 1 王淑玲 1 詹姆斯·C·P·伍德科克。 1 吴金钊 1 吴敏 1 肖荣 1 杨正峰 1 曾、夏 1 张慧 1 张丽君 全部的 前5名15连载 5 非线性分析。混合动力系统 4 系统设计中的形式化方法 三 信息与计算 2 Automatica公司 2 理论计算机科学 2 符号计算杂志 2 计算的形式方面 1 信息处理信件 1 自动推理杂志 1 数值算法 1 国际鲁棒非线性控制杂志 1 数学与人工智能年鉴 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 数值代数、控制与优化 全部的 前5名11个领域引用 36 计算机科学（68至XX） 24 系统论；控制（93至XX） 6 运筹学、数学规划（90-XX） 5 数值分析（65-XX） 三 常微分方程（34-XX） 2 数理逻辑与基础（03-XX） 2 概率论与随机过程（60-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 动力系统和遍历理论（37至XX） 1 差分和函数方程（39至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文