周文琴;J·卡雷特。;杰弗里，D.J。;莫纳根，M.B。 用于大型表达式管理的带有签名的层次表示。 （英语） 兹比尔1156.68641 Calmet，Jacques（编辑）等人，《人工智能和符号计算》。第八届国际会议，2006年AISC，中国北京，2006年9月20日至22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-39728-1/pbk）。计算机科学讲义4120。人工智能课堂讲稿，254-268（2006）。 摘要：我们描述了一种在符号计算中管理大型表达式的方法，该方法将层次表示与签名计算相结合。作为案例研究，研究了含有非多项式项的矩阵分解问题。使用高斯消去法。给出了该方法的复杂性结果以及基准计算。关于整个系列，请参见[Zbl 1149.68005号]. 引用于1文件 MSC公司： 68瓦30 符号计算和代数计算 关键词：分层表示法;审查策略;签名;零位测试;大型表达式管理;符号LU分解;时间复杂性 软件：投影Noether PDF格式BibTeX公司 XML格式引用 \textit{W.Zhou}等人，Lect。注释计算。科学。4120、254--268（2006年；Zbl 1156.68641） 全文： 内政部