雅克·卡雷特；里扎德·贾尼基 通过符号计算计算数值命令程序的属性。 （英语） Zbl 1137.68628号 Penczek，Wojciech（编辑）等人，半个世纪的鼓舞人心的研究。向安东尼·马祖基维奇的科学影响力致敬。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-805-2/pbk）。125-146 (2007). Fundam再版。通知。80，第1–3号，第125–146号（2007年；Zbl 1128.68116号).关于整个系列，请参见[兹伯利1132.68013]. 引用于1文件 MSC公司： 68瓦30 符号计算和代数计算 68号30 软件工程的数学方面（规范、验证、度量、需求等） 引文：Zbl 1128.68116号 软件：gfun公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{R.Janicki，in：半个世纪的鼓舞人心的研究。向安东尼·马祖基维奇的科学影响力致敬。阿姆斯特丹：IOS出版社。125-146（2007；Zbl 1137.68628）