@article{LI Shan-shan:23, author = {LI Shan-shan, ZHAO Chun-na, GUAN Yong, SHI Zhi-ping, WANG Rui, LI Xiao-juan and YE Shi-wei}, title = {Formalization of Consistency of Fractional Calculus in HOL4}, publisher = {Computer Science}, year = {2016}, journal = {Computer Science}, volume = {43}, number = {3}, eid = {23}, numpages = {3}, pages = {23}, keywords = {Fractional calculus,Theorem proving,Caputo definition,Consistency}, url = {https://www.jsjkx.com/EN/abstract/article_16154.shtml}, doi = {10.11896/j.issn.1002-137X.2016.03.004} }