雅克·卡雷特；Farmer，William M。；亚斯敏·沙罗达 利用理论陈述中包含的信息。 （英语） Zbl 1455.68255号 Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12236, 55-70 (2020).MSC公司：68V20型 08A70型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。票据计算。科学。12236，55-70（2020；Zbl 1455.68255） 全文： 内政部 arXiv公司
雅克·卡雷特；Farmer，William M。；亚斯敏·沙罗达 双形式理论：项目描述。 （英语） Zbl 1417.68203号 弗洛里安·拉贝（编辑）等人，《智能计算机数学》。2018年8月13日至17日，第11届国际会议，CICM 2018，奥地利哈根堡。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11006, 76-86 (2018).MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。票据计算。科学。11006、76-86（2018；Zbl 1417.68203） 全文： 内政部 arXiv公司