发现者 swMATH ID: 7719 软件作者: 夏B 描述: DISCOVER:求解半代数系统的工具;使用DISCOVER进行程序验证。程序验证的最新进展表明,各种验证问题都可以归结为半代数系统(简称SAS)求解。SAS由多项式方程和多项式不等式组成。实闭域的量词消去算法是解决这些问题的一般方法。但是,对于特定的问题,通用方法通常效率较低。为了用符号方法克服程序验证的瓶颈,必须将特殊技术与通用方法结合起来。基于多项式的完全判别系统[33,31]的工作,我们发明了SAS求解的新理论和算法[32,30,35],并将其部分实现为Maple中名为DISCOVERER的真正符号计算工具。本文首先总结了迄今为止我们在SAS求解和DISCOVERER程序验证方面所取得的成果,然后讨论了这方面的未来工作,包括SAS求解本身、程序的终止分析和不变量生成、混合系统的可达性计算等。 主页: http://rd.springer.com/chapter/10.1007/978-3-540-69149-5_58 相关软件: QEPCAD公司;枫树;重新记录;Sostools公司;正则链;RAGlib公司;YALMIP公司;隔离;塞杜米;贝尔蒂尼;单一;SYNRAC公司;阿尔法认证;波特玛;RSOLVER公司;岩浆;国际实验室;参数化系统工具;可构造设置工具;弦 引用于: 66文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 自动发现一类不等式型定理的完整算法。 Zbl 1125.68406号杨璐;侯晓荣;夏碧灿 2001 几何不等式的自动发现和证明。 Zbl 0947.03017号杨璐;侯晓荣;夏碧灿 1999 全部的 前5名109位作者引用 20 夏碧灿 10 杨璐 8 詹乃军 6 杨正峰 5 吴敏 4 黄波 4 林,王 4 马克·莫雷诺·马扎 4 牛,魏 4 吴金明 4 曾振兵 三 侯晓荣 三 李晓亮 三 她,志坤 三 唐晓仙 三 王东明 三 王仁宏 三 张志海 三 赵恒军 2 弗朗索瓦·布利埃 2 陈昌波 2 陈应华 2 陈正红 2 赖一生 2 弗朗索瓦·莱梅尔 2 刘江 2 牟、陈琪 2 阿德里安·波提奥 2 穆罕默德·萨弗里·埃尔丁 2 沈立勇 2 孙宪波 2 于、裴 2 于志恒 2 周朝晨 1 Aley和Danny 1 帕里萨·阿尔瓦迪 1 马苏德·阿塔伊 1 埃德加·伯纳尔(Edgar A.Bernal)。 1 陈,Michael Z.Q。 1 陈颖 1 陈占波 1 程万友 1 德科·V·德科夫。 1 克里斯蒂安·埃德尔 1 方、田 1 冯勇 1 葛树之·山姆 1 萨瓦·格罗兹德夫。 1 关,羌 1 长谷川义彦 1 乔纳森·霍恩斯坦。 1 Hoon Hong 1 黄艳丽 1 姜建国 1 姜欣 1 马赫萨·卡泽米 1 皮埃尔·莱雷斯 1 Le,Huu Phuoc先生 1 李浩坤 1 李浩阳 1 李,林 1 李杨佳 1 李耀辉 1 李毅 1 梁全一 1 陆俊杰 1 达加什梅塔 1 拉斐尔·莫尔 1 安东尼奥·蒙特斯 1 橙色,塞巴斯蒂安 1 米歇尔·佩蒂特 1 Margaret H.里根。 1 埃里克·斯科特 1 亚历山大·塞多拉维奇 1 沈飞 1 石、健 1 宋玉清 1 唐婷婷 1 田玉洲 1 菲利普·托德。 1 娜塔莉·威尔第 1 Vu、Tan-Van 1 王磊 1 王,龙 1 王娜(Wang,Na) 1 王庆国 1 王秋叶 1 王淑玲 1 迈克尔·维布默 1 吴文元 1 吴志峰 1 肖荣 1 徐明 1 薛、白 1 姚勇 1 于文生 1 袁春明 1 曾莹莹 1 张慧莹 1 张景忠 …还有9位作者 全部的 前5名32篇连载文章中引用 11 符号计算杂志 6 系统科学与复杂性杂志 三 计算机科学中的数学 三 科学中国。信息科学 2 应用数学与计算 2 计算与应用数学杂志 2 中国科学。系列A 2 中国科学。F系列 1 计算机与数学及其应用 1 数学分析与应用杂志 1 数学生物科学 1 数学经济学杂志 1 SIAM控制与优化杂志 1 理论计算机科学 1 计算机辅助几何设计 1 计算的形式方面 1 Matematichki Bilten公司 1 国际应用科学与工程分叉与混沌杂志 1 计算复杂性 1 科学数学公报 1 数学与人工智能年鉴 1 差分方程与应用杂志 1 非线性动力学 1 摘要与应用分析 1 混乱 1 非线性科学与数值模拟中的通信 1 离散和连续动力系统。B系列 1 数学科学学报。B系列(英文版) 1 非线性分析。混合动力系统 1 中国计算机科学前沿 1 计算机科学前沿 1 东亚应用数学杂志 全部的 前5名22个领域被引用 35 计算机科学(68至XX) 12 交换代数(13-XX) 10 代数几何(14-XX) 10 系统论;控制(93至XX) 9 数值分析(65-XX) 7 动力系统和遍历理论(37至XX) 6 数理逻辑与基础(03-XX) 6 常微分方程(34-XX) 5 生物学和其他自然科学(92-XX) 4 场论与多项式(12-XX) 4 运筹学、数学规划(90-XX) 三 近似和展开(41至XX) 三 几何图形(51至XX) 2 实际功能(26年X月X日) 2 差分和函数方程(39至XX) 1 组合数学(05-XX) 1 复变量的函数(30年XX月) 1 变分法与最优控制;最优化(49至XX) 1 粒子和系统力学(70-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文