海因茨·克雷德尔;拉斐尔·乔利 作为类型化对象的代数结构。 (英语) Zbl 1344.68302号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2011年9月5日至9日在德国卡塞尔举行的2011年中国社会科学院第十三届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23567-2/pbk)。计算机科学课堂讲稿6885,294-308(2011)。 总结:遵循强类型、泛型、面向对象的计算机代数软件的研究方向,本文研究了代数结构作为类型对象的建模。我们讨论了代数和超越扩展域的设计和实现,以及实代数和复代数扩展域的建模。我们将表明,使用委托设计概念对代数和实代数扩展域之间的关系进行建模比使用子类实现作为子类型进行建模具有优势。我们进一步总结了迄今为止在Java实现中遇到的设计问题,并介绍了在Scala中可能的解决方案。关于整个系列,请参见[Zbl 1221.68017号]. MSC公司: 68瓦30 符号计算和代数计算 第11章第15节 分枝与扩张理论 软件:斯卡拉;AXIOM公司;JAS公司 PDF格式BibTeX公司 XML格式引用 \textit{H.Kredel}和\textit{R.Jolly},莱克特。注释计算。科学。6885、294--308(2011年;Zbl 1344.68302) 全文: 内政部