乔纳斯·克拉佩特;费比安·兰格;菲利普·迈尔霍夫;约翰·乌索维奇 使用Kira 2.0和有限域方法进行积分约简。 （英语） Zbl 1523.81078号 计算。物理学。Commun公司。 266，文章ID 108024，15 p.（2021）.MSC公司：80年第30季度 81系列40 81层33 2015年上半年03日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Klappert}等人，计算。物理学。Commun公司。266，文章ID 108024，15 p.（2021；Zbl 1523.81078） 全文： DOI程序 arXiv公司
弗拉基米尔·基西尔。 Möbius-Lie几何及其推广。 （英语） Zbl 1415.51003号 Mladenov，Ivaílo M.（编辑）等人，《第20届几何、可积性和量化国际会议论文集》，Sts。2018年6月2日至7日，保加利亚，君士坦丁和埃琳娜（靠近瓦尔纳）。索非亚：Avangard Prima；索非亚：保加利亚科学院，生物物理和生物医学工程研究所。地质学。《可积性量化》20，13-61（2019）。MSC公司：51对25 30磅70 2005年5月5日 51N25号 51B10号 68单位05 11E88型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kisil}，地理。可积性量化20，13-61（2019；Zbl 1415.51003） 全文： DOI程序 arXiv公司 欧几里得
埃里克装甲 超对数符号积分算法及其在费曼积分中的应用。 （英语） Zbl 1344.81024号 计算。物理学。Commun公司。 188, 148-166 (2015).MSC公司：81-04 80年第30季度 2008年8月 PDF格式BibTeX公司 XML格式引用 \textit{E.装甲}，计算。物理学。Commun公司。188148--166（2015；Zbl 1344.81024） 全文： DOI程序 arXiv公司
奥列格·洛巴乔夫;丽塔·勒根 用函数语言实现计算机代数系统。 （英语） Zbl 1166.68378号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，141-154（2008）。MSC公司：68瓦30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Lobachev}和\textit{R.Loogen}，莱克特。票据计算。科学。5144、141--154（2008年；Zbl 1166.68378） 全文： DOI程序
弗拉基米尔·基西尔。 使用GiNaC计算Clifford代数的示例。 （英语） Zbl 1099.65521号 高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 15，第2期，239-269（2005）.MSC公司：65楼30 第15页第66页 65日元 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kisil}，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。15，第2号，239--269（2005；Zbl 1099.65521） 全文： DOI程序 链接
斯特凡·温齐尔 超越函数的符号展开。 （英语） Zbl 1001.65025号 计算。物理学。Commun公司。 145，第3期，357-370（2002）.MSC公司：65D20个 65日元 33C80码 33C90型 81T80型 80年第30季度 33E20型 33F05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Weinzierl}，计算。物理学。Commun公司。145，第3号，357--370（2002；Zbl 1001.65025） 全文： DOI程序 arXiv公司
克里斯蒂安·鲍尔;亚历山大·弗林克;理查德·克雷克尔 介绍在\（\text｛C｝^｛++｝\）编程语言中用于符号计算的GiNaC框架。 （英语） Zbl 1017.68163号 J.塞姆。计算。 33，第1期，第1-12页（2002年）.MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bauer}等人，J.Symb。计算。33，编号1，1--12（2002；Zbl 1017.68163） 全文： DOI程序