重新记录 swMATH ID: 4250 软件作者: 安德烈亚斯·多尔兹曼(Andreas Dolzmann);托马斯·斯图尔姆;沃尔克·魏斯芬宁 描述: REDLOG是一个将计算机代数系统REDUCE扩展到计算机逻辑系统的软件包,也就是说,该系统提供了在某些暂时固定的语言和理论上对一阶公式进行符号操作的算法。与定理证明程序相比,应用的方法了解底层代数理论并加以利用。我们举例说明了REDLOG的一些应用,描述了它在用户看来的功能,并解释了设计问题和实现技术。 主页: 网址:http://redlog.dolzmann.de/ 依赖项: 减少 关键词: 计算几何;图形示例;计算机辅助设计;计算机视觉;运动规划;平行和中心投影;影子问题;重建;Voronoi图;运动物体的碰撞;消除算法;REDUCE包REDLOG 相关软件: QEPCAD公司;z3(零3);枫树;减少;数学软件;RSOLVER公司;发现者;SYNRAC公司;单一;SMT-LIB公司;SMT-RAT型;CVC4型;正则链;Sostools公司;数学SAT5;PGB公司;塞杜米;Risa/Asir公司;轨道库;伊莎贝尔 引用于: 171文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 REDLOG中的计算几何问题。 Zbl 0904.65151号托马斯·斯特姆;沃尔克·魏斯芬宁 1998 全部的 前5名257位作者引用 33 托马斯·斯特姆 14 安德烈亚斯·古恩特·韦伯 9 沃尔克·魏斯芬宁 7 克里斯托弗·布朗(Christopher W.Brown)。 7 安德烈亚斯·多尔兹曼 7 维奥里卡Sofrone-Stokkerman 6 她,志坤 6 夏碧灿 6 徐明 6 詹乃军 5 阿奈、平子 5 帕夫洛斯·艾里纳基斯 5 英格兰,马修 5 德米特里·格里戈列夫 5 伊瓦内、希德诺 5 Werner M.塞勒。 5 克里希纳·苏布拉马尼 5 Wojciechowski,Piotr J。 5 杨璐 4 詹姆斯·哈罗德·达文波特 4 邓玉欣 4 穆罕默德·卡胡伊 4 哈桑·埃拉米 4 Hoon Hong 4 奥维迪乌·拉杜列斯库 4 佐藤、优介 三 埃萨姆·奥斯曼(Essam Othman),阿卜杜勒·拉赫曼(Abdel-Rahman) 三 艾丽卡·阿尔布拉汉姆 三 藤崎隆彦 三 Ioakimidis、Nikolaos Ioakim 三 海因茨·克雷德尔 三 亚历山·拉萨鲁克 三 安东尼奥·蒙特斯 三 卡拉广场 三 萨尔瓦多鲁杰里 三 桑卡拉纳拉亚南,斯里拉姆 三 S.Shankar,萨斯特里 三 罗伯特·瓦伊达 三 薛、白 三 赵恒军 2 弗朗索瓦·布利埃 2 布赫伯格,布鲁诺 2 陈应华 2 马库斯·艾斯沃思 2 梅德利纳·埃拉什库 2 帕斯卡·方丹 2 傅建玲 2 曼弗雷德·哥贝尔 2 汉内·戈特利布森 2 亚历山德鲁·约西夫 2 迪帕克·卡普尔 2 汤姆·凯尔西 2 古·T·约翰 2 马雷克·科什塔 2 佐尔坦科瓦奇 2 Küchlin,Wolfgang W。 2 Stefan Kupferschmid 2 弗朗索瓦·莱梅尔 2 李浩阳 2 乌苏拉·马丁 2 梅静怡 2 迈索尔(Mysore)、文卡特斯(Venkatesh P.)。 2 Katsusuke Nabeshima 2 诺恩、温弗里德 2 乔治·帕帕斯。 2 格兰特·奥尔尼,帕斯莫尔 2 丹尼斯·佩特尔 2 维罗尼卡·皮尔温 2 安德烈·普拉泽 2 哈米德·拉科伊 2 斯特凡·拉特肖恩 2 托马斯·雷西奥 2 安德烈亚斯·塞德尔 2 乌尔古普吕,阿斯利昂 2 王东明 2 仁亚那米 2 克里斯托弗·曾格勒 2 张丽君 2 张志海 2 郑志明 1 约翰·A·阿伯特。 1 安德鲁·亚当斯(Andrew A.Adams)。 1 安德森,休 1 安德烈·特凡 1 奥罗尔·安尼奇尼 1 尤金·亚萨林 1 克拉克·W·巴雷特。 1 贝恩德·贝克尔 1 安娜·玛丽亚·比加蒂 1 克里斯蒂娜·博拉莱拉斯 1 艾哈迈德·博阿贾尼 1 Bradford,Russell J。 1 布莱恩,马丁 1 詹姆斯·布里奇。 1 达里奥·坎帕尼亚 1 阿尔贝托·卡萨格兰德 1 陈昌波 1 陈欣 1 亚历山德罗·西马蒂 1 迈克尔·科隆。 …还有157位作者 全部的 前5名在38篇连载文章中被引用 21 符号计算杂志 14 计算机科学中的数学 5 工程、通信和计算中的应用代数 4 理论计算机科学 三 数学生物学通报 三 数学与人工智能年鉴 2 模拟中的数学和计算机 2 信息与计算 2 自动推理杂志 1 国际控制杂志 1 计算物理杂志 1 数学分析与应用杂志 1 混沌、孤子和分形 1 应用数学与计算 1 国际工程数值方法杂志 1 计算机与系统科学杂志 1 SIAM控制与优化杂志 1 SIGSAM公告 1 新一代计算 1 计算力学 1 中国科学。系列A 1 计算的形式方面 1 日本工业与应用数学杂志 1 MSCS公司。计算机科学中的数学结构 1 控制论与系统分析 1 系统设计中的形式化方法 1 边界元工程分析 1 约束条件 1 联合国证券交易所 1 Prikladnaya Matematika基础 1 数学不等式及其应用 1 组合年刊 1 离散和连续动力系统。B系列 1 系统科学与复杂性杂志 1 量子信息处理 1 应用的优化 1 数学中的算法和计算 1 非线性分析。混合动力系统 全部的 前5名在24个字段中引用 135 计算机科学(68至XX) 53 数理逻辑与基础(03-XX) 22 生物学和其他自然科学(92-XX) 18 交换代数(13-XX) 16 数值分析(65-XX) 16 系统论;控制(93至XX) 12 常微分方程(34-XX) 12 动力系统和遍历理论(37至XX) 10 运筹学、数学规划(90-XX) 8 代数几何(14-XX) 6 场论与多项式(12-XX) 4 几何图形(51至XX) 三 量子理论(81-XX) 2 偏微分方程(35-XX) 2 可变形固体力学(74-XX) 2 流体力学(76-XX) 2 信息与通信理论、电路(94-XX) 1 结合环与代数(16-XX) 1 实际功能(26年X月X日) 1 特殊功能(33至XX) 1 近似和展开(41至XX) 1 变分法与最优控制;最优化(49至XX) 1 经典热力学,传热(80-XX) 1 数学教育(97-XX) 按年份列出的引文