加布里埃尔·多斯·里斯 公理化编程系统。 （英语） Zbl 1360.68360号 Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。《人工智能课堂讲稿》，295-309（2012）。 摘要：我们介绍了公理化编程系统的设计和实现，以及它在数学软件构建中的应用。主要创新点包括直接支持用户定义的公理，建立类型之间的局部等式，以及基于等式理论和用户定义的局部公理的重载解决方案。我们举例说明了在计算数学系统中实践的结构化泛型编程中公理的使用及其在概念中的组织。关于整个系列，请参见[Zbl 1245.68013号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68瓦30 符号计算和代数计算 软件：IBM草稿行;AXIOM公司;哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{G.Dos Reis}，莱克特。注释计算。科学。7362295--309（2012年；Zbl 1360.68360） 全文： 内政部