@收款{zbMATH07378296，作者={Hausmann，Daniel和Schr{“o}der，Lutz}，标题={嵌套不动点的拟多项式计算}，BookTitle={系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-72015-5；978-3-0.30-72016-2}，Pages={38-56}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-72016-2_3}，关键词={68Q60,68Q25,91A43,91A80}，zbMATH={7378296}，Zbl={1467.68085}}