玛丽亚·波扎;塞萨尔·多明格斯;乔纳森·赫拉斯;卢比奥、胡里奥 用于同源图像处理的经认证的简化策略。 （英语） Zbl 1354.68286号 ACM事务处理。计算。日志。 第15号第3条第23条第23页（2014年）.MSC公司：68单位10 03B35型 55单元15 第68页第15页 92 C55 PDF格式BibTeX公司 XML格式引用 \textit{M.Poza}等人，ACM Trans。计算。日志。第15号第3条第23条第23页（2014年；Zbl 1354.68286） 全文： 内政部 arXiv公司
塞萨尔·多明格斯;卢比奥、胡里奥 Coq中形式化的双复数的有效同源性。 （英语） Zbl 1207.68211号 西奥。计算。科学。 412，第11期，962-970（2011）.MSC公司：68问题65 55单元15 第68页第15页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}和\textit{J.Rubio}，Theor。计算。科学。412，第11号，962--970（2011；Zbl 1207.68211） 全文： 内政部
阿兰萨·阿佐拉（Jesús Aransay-Azofra）;塞萨尔·多明格斯 在Isabelle/HOL和Coq中形式化简单拓扑。 （英语） Zbl 1209.68502号 Lambán，Laureano（编辑）等人，《科特利布西奥内斯·科菲卡斯纪念米利安·安德烈斯·戈麦斯》。洛格罗尼奥：拉里奥哈大学，公共服务部（ISBN 978-84-96487-50-5/hbk）。21-41 (2010).MSC公司：第68页第15页 55单位10 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay-Azofra}和\textit{C.Domínguez}，in：《科特鲁布西奥内斯·科菲卡斯纪念米里安·安德烈斯·戈梅斯》。洛格罗尼奥：拉里奥哈大学，公共服务。21-41（2010年；Zbl 1209.68502）
J·阿兰塞。;Domínguez，C。 使用机械化推理工具进行代数操作的案例研究。 （英语） Zbl 1205.68358号 国际期刊计算。数学。 87，第9期，1936-1949（2010）.MSC公司：第68页第15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{C.Domínguez}，国际计算机杂志。数学。87，第9号，1936年--1949年（2010年；Zbl 1205.68358） 全文： 内政部
塞萨尔·多明格斯;卢比奥、胡里奥 使用无限代数数据结构进行Coq计算。 （英语） Zbl 1286.68396号 Autexier，Serge（编辑）等人，《智能计算机数学》。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。计算机科学讲义6167。《人工智能课堂讲稿》，204-218（2010）。MSC公司：第68页第15页 68问题65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}和\textit{J.Rubio}，莱克特。注释计算。科学。6167204-218（2010年；Zbl 1286.68396） 全文： 内政部 arXiv公司
塞萨尔·多明格斯 在Coq隐代数中形式化以指定符号计算系统。 （英语） Zbl 1166.68373号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，270-284（2008）。MSC公司：68瓦30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}，莱克特。注释计算。科学。5144、270--284（2008年；Zbl 1166.68373） 全文： 内政部