计算机辅助证明和符号计算

沃尔特·克雷默。“计算机辅助证明和符号计算。”Serdica计算机杂志4.1 (2010): 73-84. <http://eudml.org/doc/11376>.

@文章{Krämer2010，
abstract={我们讨论了基于计算机辅助证明的一些要点可靠的数值计算。这种所谓的自验证数值方法与精确的符号操作相结合，结果非常强大的数学软件工具。这些工具允许证明数学语句（不动点的存在、ODE解的存在、连续函数的零点，给定范围内的全局最小值，等）使用数字计算机。验证底层的断言定理使用快速有限精度算法。结果是绝对的严格。为了证明可靠的符号数字计算的威力，我们详细研究超长周期轨道的验证混沌动力系统。验证直接在Maple中完成，例如。使用Maple Power Tool intpakX，或者更有效地使用C++类库C-XSC.*DFG:KR1612/7-1.}部分支持这项工作，
author={Krämer，Walter}，
journal={Serdica计算机杂志}，
keywords={计算机辅助证明；符号计算；自我验证数值方法；动力学系统；验证的周期轨道；IntpakX；C-XSC；计算机辅助证明，
语言={eng}，
数字={1}，
页面＝{73-84}，
publisher={保加利亚科学院数学与信息研究所}，
title={计算机辅助证明和符号计算}，
网址={http://eudml.org/doc/11376},
体积={4}，
年份={2010}，
}

TY-JOUR公司
AU-克雷默，沃尔特
TI-计算机辅助证明和符号计算
JO-Serdica计算机杂志
2010年上半年
PB-保加利亚科学院数学与信息研究所
VL-4级
IS-1标准
SP-73
欧洲药典-84
AB-我们讨论了基于计算机辅助证明的一些要点可靠的数值计算。这种所谓的自验证数值方法与精确的符号操作相结合，结果非常强大的数学软件工具。这些工具允许证明数学语句（不动点的存在、ODE解的存在、连续函数的零点，给定范围内的全局最小值，等）使用数字计算机。验证底层的断言定理使用快速有限精度算法。结果是绝对的严格。为了证明可靠的符号数字计算的威力，我们详细研究超长周期轨道的验证混沌动力系统。验证直接在Maple中完成，例如。使用Maple Power Tool intpakX，或者更有效地使用C++类库C-XSC。*DFG:KR1612/7-1部分支持这项工作。
洛杉矶-eng
KW-计算机辅助证明；符号计算；自验证数值方法；动力系统；验证的周期轨道；IntpakX；C-XSC；计算机辅助证明；符号计算；自验证数值方法；动力系统；验证周期轨道；intpakX；C-XSC；数学软件
UR-（欧元）http://eudml.org/doc/11376
呃-