×

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 张丽君

按年份引用出版物