罗伯特·M·科尔利斯（Robert M.Corless）。;大卫·J·杰弗里。;阿扎尔·沙科里 在机械化数学环境中教授线性代数。 （英语） Zbl 07810727号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 113-129 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{R.M.Corless}等人，Lect。注释计算。科学。1410113-129（2023年；兹bl 07810727） 全文： DOI程序 arXiv公司
安娜·C·卡玛戈斯·库托;马克·莫雷诺（Marc Moreno Maza）;大卫·林德;大卫·J·杰弗里。;罗伯特·M·科尔利斯（Robert M.Corless）。 多项式矩阵的综合因子。 （英语） Zbl 07441062号 Daniel Slamanig（编辑）等人，《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11989, 80-88 (2020).MSC公司：68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{A.C.C.Couto}等人，Lect。注释计算。科学。11989，80-88（2020；Zbl 07441062） 全文： DOI程序
W·周。;杰弗里，D.J。;G.J.里德。 分析开环动态系统的代数方法。 （英语） Zbl 1120.68468号 Sunderam，Vaidy S.（编辑）等人，《计算科学–ICCS 2005》。第五届国际会议，美国佐治亚州亚特兰大，2005年5月22日至25日。会议记录，第三部分，柏林：施普林格出版社（ISBN 3-540-26044-7/pbk）。计算机科学课堂讲稿3516586-593（2005）。MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhou}等人，Lect。注释计算。科学。3516586-593（2005年；Zbl 1120.68468） 全文： DOI程序
哈扎维，K。;杰弗里，D.J。;G.J.里德。;瓦特，S.M。;A.D.维特科普夫。 Maple中同伦求解的探索。 （英语） Zbl 1047.65033号 李子明（主编）等，《计算机数学》。第六届亚洲研讨会论文集（ASCM 2003），中国北京，2003年4月17日至19日。新泽西州River Edge：世界科学（ISBN 981-238-220-8/hbk）。莱克特。注释序列。计算。10, 145-162 (2003).MSC公司：65H10型 65升05 68瓦30 34A34飞机 2005年12月 26立方厘米 30立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Hazaveh}等人，Lect。注释序列。计算。10、145--162（2003；Zbl 1047.65033）
杰弗里，D.J。;G.拉巴恩。;马丁·冯·莫伦柴尔德;A.D.里奇。 符号、分段和相关函数的集成。 （英语） Zbl 0916.65016号 Küchlin，Wolfgang W.（编辑），1997年符号和代数计算国际研讨会论文集，ISSAC’97，Maui，HI，USA，1997年7月21日至23日。纽约州纽约市：ACM出版社。324-330 (1997).MSC公司：65天30分 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Jeffrey}等人，《1997年符号和代数计算国际研讨会论文集》，ISSAC’97，Maui，HI，USA，1997年7月21-23日。纽约州纽约市：ACM出版社。324-330（1997；Zbl 0916.65016）
罗伯特·M·科尔利斯（Robert M.Corless）。;大卫·J·杰弗里。;唐纳德·科努特（Donald E.Knuth）。 Lambert（W\）函数的级数序列。 （英语） Zbl 0916.65015号 Küchlin，Wolfgang W.（编辑），1997年符号和代数计算国际研讨会论文集，ISSAC’97，Maui，HI，USA，1997年7月21日至23日。纽约，纽约：ACM出版社。197-204 (1997).MSC公司：65D20个 65埃05 68瓦30 30立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Corless}等人，《1997年符号和代数计算国际研讨会论文集》，ISSAC’97，Maui，HI，USA，1997年7月21-23日。纽约，纽约：ACM出版社。197--204（1997；Zbl 0916.65015）
杰弗里，D.J。;A.D.里奇。 三角积分的计算避免了伪不连续性。 （英语） Zbl 0888.65139号 ACM事务处理。数学。柔和。 20，第1期，124-135（1994）.MSC公司：65T40型 68瓦30 42A05型 65天30分 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Jeffrey}和\textit{A.D.Rich}，ACM Trans。数学。柔和。20，第1号，124--135（1994；Zbl 0888.65139） 全文： DOI程序 链接
杰弗里，D.J。 集成以获得在最大范围的域上有效的表达式。 （英语） Zbl 0922.65014 Manuel Bronstein（编辑），ISSAC’93。1993年7月6日至8日，乌克兰基辅，符号和代数计算国际研讨会论文集。马里兰州巴尔的摩：ACM出版社。34-41 (1993).MSC公司：65天30分 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Jeffrey}，收录于：ISSAC’93。1993年符号和代数计算国际研讨会论文集，乌克兰基辅，1993年7月6-8日。马里兰州巴尔的摩：ACM出版社。34-41（1993；Zbl 0922.65014）
科尔利斯，R.M。;杰弗里，D.J。 流体动力润滑问题的三个计算机代数系统的比较。 （英语） Zbl 0646.76042号 SIGSAM牛市。 22，第2期，50-62页（1988年）.MSC公司：76D08型 76M99型 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Corless}和\textit{D.J.Jeffrey}，SIGSAM公牛。22，第2号，50-62（1988；Zbl 0646.76042） 全文： DOI程序