朱利安·纳布克斯;贾尼契奇，普雷德拉格;雅克·弗莱里奥特 合成几何中的计算机辅助定理证明。 （英语） Zbl 1425.68377号 Sitharam，Meera（编辑）等人，《几何约束系统原理手册》。佛罗里达州博卡拉顿：CRC出版社。离散数学。申请。（博卡拉顿），21-59（2019）。 审核人：维克托·潘布奇（格伦代尔） 理学硕士：68吨15 05年5月51日 51N20号 PDF格式BibTeX公司 XML格式引用 \textit{J.Narboux}等人，in：几何约束系统原理手册。佛罗里达州博卡拉顿：CRC出版社。21-59（2019年；Zbl 1425.68377）
雅克·弗莱里奥特 探索Isabelle/HOL中离散分析几何的基础。 （英语） Zbl 1350.68232号 Schreck，Pascal（编辑）等人，《几何中的自动演绎》。2010年7月22日至24日，德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25069-9/pbk）。计算机科学课堂讲稿6877。人工智能课堂讲稿，34-50（2011）。理学硕士：68吨15 05年3月 51N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fleuriot}，莱克特。注释计算。科学。6877，34-50（2011；Zbl 1350.68232） 全文： 内政部
朱利安·纳布克斯 塔斯基几何中的机械定理证明。 （英语） Zbl 1195.03019号 Botana，Francisco（编辑）等人，《几何中的自动演绎》。2006年8月31日至9月2日，第六届国际研讨会，ADG 2006，西班牙蓬特韦德拉。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。人工智能课堂讲稿，139-156（2007）。理学硕士：03B35型 51-04 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Narboux}，莱克特。注释计算。科学。4869、139--156（2007；Zbl 1195.03019） 全文： 内政部 链接
雅克·弗莱里奥特。 非标准几何证明。 （英语） Zbl 0986.68125号 Richter-Gebert，Jürgen（编辑）等人，《几何中的自动演绎》。第三届国际研讨会，ADG 2000，瑞士苏黎世，2000年9月25-27日。修订论文。柏林：施普林格。莱克特。票据计算。科学。2061, 246-267 (2001).理学硕士：68吨15 51号35 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Fleuriot}，莱克特。注释计算。科学。2061，246--267（2001；Zbl 0986.68125）