@文章{zbMATH07103594，作者={Roanes-Lozano，Eugenio和Gonz{'a}lez-Mart{'{i}}n，Rub{'e}n和Montero，Javier}，Title={铁路电气化验证的代数方法}，FJournal={计算机科学中的数学}，日志={Math.Comput.Sci.}，ISSN＝{1661-8270}，体积={13}，数字={3}，页码={449--457}，年份={2019}，语言={英语}，DOI={10.1007/s11786-019-00407-6}，关键词={90C35,34A30,68T35}，URL={eprints.ucm.es/id/eprint/57832/1/roanes05.pdf}，zbMATH={7103594}，Zbl={1474.90497}}