埃琳娜·卡塔舍娃;斯科特·麦卡勒姆 线性偏微分算子近似因式分解的量词消去。 (英语) Zbl 1202.68491号 Kauers,Manuel(编辑)等人,《走向机械化数学助手》。2007年6月27日至30日,第14次研讨会,微积分2007,第6次国际会议,MKM 2007,奥地利哈根贝格。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73083-5/pbk)。计算机科学课堂讲稿4573。人工智能课堂讲稿,106-115(2007)。 小结:本文研究了应用量词消除程序QEPCAD-B获得平面上给定有界矩形域上一个二阶简单双曲线性偏微分算子(LPDO)的近似因式分解的无量词条件的可行性。首先将这种算子在给定的有界矩形域上的近似因子分解条件表示为初等实代数的量化公式。然后应用QEPCAD-B尝试从公式中删除量词。虽然QEPCAD-B需要太多的空间和时间来完成任务,但它能够找到问题的部分解决方案。也就是说,它能够为原始的量化公式找到一个非平凡的无量词的充分条件。关于整个系列,请参见[Zbl 1119.68011号]. MSC公司: 68瓦30 符号计算和代数计算 35L99型 双曲方程和双曲系统 47F05型 偏微分算子的一般理论 软件:QEPCAD公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Kartashova}和\textit{S.McCallum},莱克特。注释计算。科学。4573106-115(2007年;兹比尔1202.68491) 全文: 内政部