雅克·卡雷特;Farmer，William M。;迈克尔·科尔哈斯;弗洛里安·拉贝 大数学和单脑障碍：数学知识的四足模型。 （英文） Zbl 1493.68391号 数学。智力。 43，编号1，78-87（2021）. 审核人：Truong Hoang Le（河内） MSC公司：68伏xx 00A30型 00A35型 01A65号 01A67号 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，数学。智力。43，编号1，78--87（2021；Zbl 1493.68391） 全文： 内政部
雅克·卡雷特;Farmer，William M。;亚斯敏·沙罗达 利用理论演示中包含的信息。 （英文） Zbl 1455.68255号 Benzmüller，Christoph（编辑）等人，《智能计算机数学》。2020年7月26日至31日，第13届国际会议，亚信2020，意大利贝尔蒂诺罗。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236, 55-70 (2020).MSC公司：68版本20 08A70号 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。12236，55-70（2020；Zbl 1455.68255） 全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。 朝向指定符号计算。 （英文） Zbl 1428.68397号 Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11617, 109-124 (2019).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。11617、109-124（2019年；Zbl 1428.68397） 全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。;亚斯敏·沙罗达 双形式理论：项目描述。 （英文） 兹比尔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公司
雅克·卡雷特;Farmer，William M。;帕特里克·拉斯科夫斯基 HOL灯QE。 （英文） Zbl 1511.68307号 Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 215-234 (2018).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。10895，215--234（2018；Zbl 1511.68307） 全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。 将数学知识形式化为双形式理论图：案例研究。 （英文） Zbl 1367.68299号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，9-24（2017）。MSC公司：68立方英尺 03B15号机组 03B35型 30楼03号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛J.Carette｝和\textit｛W.M.Farmer｝，Lect。注释计算。科学。10383，9--24（2017；Zbl 1367.68299） 全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。;迈克尔·科尔哈斯 领域：巩固数学理论知识的结构。 （英文） Zbl 1304.68169号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，252-266（2014）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。8543，252--266（2014；Zbl 1304.68169） 全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。;罗素·奥康纳 MathScheme：项目描述。 （英文） Zbl 1335.68226号 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，287-288（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。6824、287--288（2011年；Zbl 1335.68226） 全文： 内政部
雅克·卡雷特;Farmer，William M。 数学知识管理综述。 （英文） Zbl 1247.68266号 Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，233-246（2009）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5625233-246（2009年；Zbl 1247.68266） 全文： 内政部
雅克·卡雷特;Farmer，William M。 高级理论。 （英文） Zbl 1166.68338号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，232-245（2008）。MSC公司：68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5144232--245（2008年；Zbl 1166.68338） 全文： 内政部
雅克·卡雷特;Farmer，William M。;沃尔克·索尔格 实验数学体系的合理重构。 （英文） Zbl 1202.68374号 Kauers，Manuel（编辑）等人，《走向机械化数学助手》。2007年6月27日至30日，第14次研讨会，2007年Calculemus，第6次国际会议，2007年MKM，奥地利哈根堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73083-5/pbk）。计算机科学课堂讲稿4573。人工智能课堂讲稿，13-26（2007）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。4573，13-26（2007；Zbl 1202.68374） 全文： 内政部
雅克·卡雷特（编辑）;Farmer，William M。（编辑） 第十二届符号计算与机械化推理集成研讨会论文集（Calculemus 2005），纽卡斯尔-乌邦-泰恩，英国，2005年7月18日至19日。 （英文） Zbl 1272.68013号 理论计算机科学电子笔记第151页，第1页。阿姆斯特丹：爱思唯尔。177页。，仅电子版（2006年）。MSC公司：68-06 68吨15 68瓦30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}（编辑）和textit{W.M.Farmer}（编），第十二届符号计算与机械化推理集成研讨会论文集（Calculemus 2005），英国纽卡斯尔大学泰恩分校，2005年7月18-19日。阿姆斯特丹：Elsevier（2006；Zbl 1272.68013） 全文： 链接