《国家足球之旅》（Journées Nationales de Calcul Formel）。2018年1月22日至26日
CIRM课程，第1号（2018年）
@书籍{CCIRM_2018__6_1，author={收藏}，title={Journ\'ees{Nationales}de{Calcul}{Formel.}22{textendash}26{Janvier}2018}，系列={CIRM课程}，publisher={CIRM}，数字={1}，年份={2018年}，url={http://www.numdam.org/item/CCIRM_2018__6_1/}}
TY-书籍AU-收款TI-国家足球之旅。2018年1月22日至26日T3-CIRM课程2018年上半年为-1PB-CIRM公司UR-（欧元）http://www.numdam.org/item/CCIRM_2018__6_1/ID-CCIRM_2018__6_1急诊室-
%0本书%A系列%《加尔各答国家队之旅》。2018年1月22日至26日%CIRM律师事务所%2018年D月%编号1%I CIRM公司%U型http://www.numdam.org/item/CCIRM_2018__6_1/%对于CCIRM_2018__6_1
《国家足球之旅》（Journées Nationales de Calcul Formel）。2018年1月22日至26日。《CIRM课程》，第1期（2018年），http://numdam.org/item/CCIRM_2018__6_1/

索马雷

流形上的符号张量微积分：SageMath实现 埃里克·古尔霍恩 ; 马可·曼奇尼第54页。
Calcul Formel和Preuves Formelles 阿西亚·马布比10页。
偏微分方程组的形式化方法 丹尼尔·罗伯茨第37页。