@InCollection{zbMATH07704982，作者={Divas{'o}n，Jose和Aransay，Jes{'u}s}，标题={一般情况下{Hermite}范式计算的形式证明}，BookTitle={人工智能与符号计算。第十三届国际会议，AISC 2018，中国苏州，2018年9月16-19日。诉讼}，国际标准图书编号={978-3-319-99956-2；978-3-3169-99957-9}，页码={37--53}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-99957-9_3}，关键词={68V20,15A21,68V15}，zbMATH={7704982}，Zbl={1515.68350}}