×

QEPCAD公司

swMATH ID: 752
软件作者： Hoon Hong；克里斯托弗·布朗（Christopher W.Brown）。
描述： QEPCAD B：使用CAD计算半代数集的程序。QEPCAD是通过部分柱面代数分解消除量词的一种实现，最初由Hoon Hong负责，后来由许多其他人添加到。它是一个用C/C++编写的交互式命令行程序，基于SACLIB库。这里展示的是QEPCAD B 1.x版，“B”表示与原始QEPCAD有实质性的背离，并将其与可能朝不同方向发展的原始版本的任何发展区分开来。QEPCAD和SACLIB图书馆是乔治·柯林斯（George Collins）及其博士生几十年研究项目的成果。。。继续！我对QEPCAD进行了几年的扩展和改进。没有改变程序与用户交互方式的改进我只是继续进行。然而，影响QEPCAD和用户交互的更改，或添加新功能的更改被“附加”到程序中，要求用户了解额外的命令。此外，没有用于QEPCAD分发或文档的cannonical源，也根本没有可通过互联网访问的源。QEPCAD的这一分支，QEPCAD“B”，是为了解决这些问题而引入的——使QEPCAD易于通过互联网访问，提供良好的文档，并以用户最容易访问的方式纳入许多改进和扩展。
主页： http://dl.acm.org/citation.cfm？id=968710
相关软件： 重新记录；枫树；发现者；RSOLVER公司；梅蒂塔斯基；z3（零3）；数学软件；正则链；Sostools公司；SYNRAC公司；SMT-LIB公司；RAGlib公司；高超声速；SMT-RAT型；凯伊迈拉；单一；PVS公司；PHAVer公司；隔离；减少
引用于： 295文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
QEPCAD B：使用CAD计算半代数集的程序。 Zbl 1083.68148号
克里斯托弗·布朗（Christopher W.Brown）。
2003
全部的 前5名

361位作者引用

25 托马斯·斯特姆
21 詹姆斯·哈罗德·达文波特
16 英格兰，马修
16 Hoon Hong
16 夏碧灿
13 阿奈、平子
11 Bradford，Russell J。
11 克里斯托弗·布朗（Christopher W.Brown）。
11 安德烈·普拉泽
11 安德烈亚斯·古恩特·韦伯
10 劳伦斯·查尔斯·保尔森
10 杨璐
9 大卫·威尔逊。
8 她，志坤
8 王东明
7 理查德·里斯卡
6 斯科特·麦卡勒姆
6 斯特凡·拉特肖恩
6 Werner M.塞勒。
6 沃尔克·魏斯芬宁
6 詹乃军
5 艾丽卡·阿尔布拉汉姆
5 陈昌波
5 帕夫洛斯·艾里纳基斯
5 伊瓦内、希德诺
5 马克·莫雷诺·马扎
5 牛，魏
5 格兰特·奥尔尼，帕斯莫尔
5 斯坦利·斯坦伯格。
5 斯特泽波恩滑雪，亚当·沃伊切赫
5 克里希纳·苏布拉马尼
5 Piotr J.沃伊切霍夫斯基。
4 乔治·柯林斯。
4 安德烈亚斯·多尔兹曼
4 哈桑·埃拉米
4 原慎二
4 Ioakimidis、Nikolaos Ioakim
4 马萨基·卡诺
4 德拉甘·内什奇
4 维罗尼卡·皮尔温
4 桑卡拉纳拉亚南，斯里拉姆
4 约瑟夫·希乔
4 仁亚那米
4 横山和弘
三 埃萨姆·奥斯曼（Essam Othman），阿卜杜勒·拉赫曼（Abdel-Rahman）
三 贝扎德·阿克巴普尔
三 索加塔省巴苏
三 德米特里·格里戈列夫
三 韩景军
三 迪帕克·卡普尔
三 曼纽尔·考尔斯
三 李晓亮
三 梁松欣
三 乔治·帕帕斯。
三 法布里斯·鲁利耶
三 萨尔瓦多鲁杰里
三 苏珊娜·萨明格·普拉茨
三 阿什什·库马尔·蒂瓦里
三 罗伯特·瓦伊达
三 薛、白
三 杨正峰
三 张志海
三 郑志明
2 詹姆斯·博蒙特。
2 弗朗索瓦·布利埃
2 詹姆斯·布里奇。
2 布赫伯格，布鲁诺
2 达里奥·坎帕尼亚
2 陈应华
2 亚历山德罗·西马蒂
2 克拉克（Edmund Melson jun Clarke）。
2 莱昂纳多·德·莫拉
2 马库斯·艾斯沃思
2 穆罕默德·卡胡伊
2 Encarnación，Mark J。
2 梅德利纳·埃拉什库
2 雅克·弗莱里奥特。
2 帕斯卡·方丹
2 Ioannis A.Fotiou。
2 藤崎隆彦
2 高晓山
2 哈利勒·戈尔巴尔
2 阿尔贝托·格里乔
2 露丝·哈迪
2 侯晓荣
2 黄波
2 黄宗岩
2 亚历山德鲁·约西夫
2 保罗·B·杰克逊。
2 大卫·J·杰弗里。
2 迈克尔·乔斯维格
2 托马斯·卡勒
2 埃里希·彼得·克莱门特
2 安娜·科雷萨罗娃
2 马雷克·科什塔
2 佐尔坦科瓦奇
2 沃纳·克兰迪克
2 弗拉迪克·雅科夫列维奇
2 克雷默，杰伦
2 赖一生
…还有261位作者
全部的 前5名

74篇连载文章中引用

44 符号计算杂志
16 计算机科学中的数学
5 自动推理杂志
5 工程、通信和计算中的应用代数
5 系统设计中的形式化方法
5 数学与人工智能年鉴
5 系统科学与复杂性杂志
4 模拟中的数学和计算机
4 理论计算机科学
三 国际控制杂志
三 计算的形式方面
2 机械学报
2 数学生物学通报
2 《计算机杂志》。A部分/B部分
2 模糊集与系统
2 系统和控制信件
2 中国科学。系列A
2 线性代数及应用
2 可靠的计算
2 数学中的算法和计算
2 计算机科学中的逻辑方法
2 非线性分析。混合动力系统
2 科学中国。信息科学
1 人工智能
1 计算机和结构
1 计算物理杂志
1 富兰克林学院学报
1 数学分析与应用杂志
1 数学生物学杂志
1 数学生物科学
1 非线性
1 混沌、孤子和分形
1 数学进展
1 应用数学与计算
1 自动化
1 IEEE自动控制汇刊
1 计算与应用数学杂志
1 数学经济学杂志
1 力学研究通讯
1 SIAM控制与优化期刊
1 SIGSAM公告
1 应用数学进展
1 布达佩斯科学大学年鉴（Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名）。计算机科
1 应用数值数学
1 系统科学与数学科学杂志
1 应用数学快报
1 逻辑与计算杂志
1 MSCS公司。计算机科学中的数学结构
1 全球优化杂志
1 控制论与系统分析
1 人工智能研究杂志
1 约束条件
1 中国科学。E系列
1 欧洲控制杂志
1 Doklady数学
1 科学计算与可视化
1 组合年刊
1 通用计算机科学杂志
1 离散和连续动力系统。B系列
1 逻辑程序设计理论与实践
1 数学科学学报。B系列（英文版）
1 SIAM应用动力系统杂志
1 计算机语言、系统和结构
1 中国科学。F系列
1 数学及其应用（多德雷赫特）
1 应用的优化
1 计算机代数中的ACM通信
1 符号逻辑述评
1 数学工业杂志
1 中国计算机科学前沿
1 东亚应用数学杂志
1 依赖关系建模
1 程序设计中的逻辑和代数方法杂志
1 Universitext（通用文本）
全部的 前5名

34个领域被引用

214 计算机科学（68至XX）
69 数理逻辑与基础（03-XX）
44 数值分析（65-XX）
42 系统论；控制（93至XX）
36 代数几何（14-XX）
26 交换代数（13-XX）
24 生物学和其他自然科学（92-XX）
18 常微分方程（34-XX）
17 运筹学、数学规划（90-XX）
16 场论和多项式（12-XX）
15 动力系统和遍历理论（37至XX）
9 偏微分方程（35-XX）
7 实际功能（26年X月X日）
7 变分法与最优控制；最优化（49至XX）
6 几何图形（51至XX）
5 数论（11-XX）
4 统计学（62-XX）
4 可变形固体力学（74-XX）
三 历史和传记（01-XX）
三 线性代数和多线性代数；矩阵理论（15-XX）
2 组合数学（05-XX）
2 特殊功能（33至XX）
2 近似和展开（41至XX）
2 算子理论（47-XX）
2 凸和离散几何（52至XX）
2 概率论与随机过程（60-XX）
2 流体力学（76-XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
2 信息与通信理论、电路（94-XX）
1 总体主题；集合（00-XX）
1 阶、格、有序代数结构（06-XX）
1 一般代数系统（08-XX）
1 相对论和引力理论（83至XX）
1 数学教育（97-XX）

按年份列出的引文