@文章{zbMATH05785417，作者={Aransay，J.和Dom{'{i}}nguez，C.}，标题={使用机械化推理工具进行代数操作的案例研究}，FJournal={国际计算机数学杂志}，期刊={国际期刊计算数学}，ISSN={0020-7160}，体积={87}，数字={9}，页码={1936--1994}，年份={2010}，语言={英语}，DOI={10.1080/00207160802676604}，关键词={68T15,68Q60}，zbMATH={5785417}，Zbl={1205.68358}}