拉斐尔·乔利 Scala代数系统的进度报告。 （英语） Zbl 07635836号 Boulier，François（编辑）等人，《科学计算中的计算机代数》。第22届国际研讨会，CASC2020，奥地利林茨，2020年9月14日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12291, 307-315 (2020). 总结：Dotty（Scala 3的代号）中的新扩展方法允许我们解决类型类和强制的长期问题。它支持为Java代数系统（JAS）实现一个新的Scala适配器。我们的设计与现有的针对Rings计算机代数库的Scala DSL进行了比较，并表明可以与之互换。提出了Scala是否可以用于库开发的问题，结果证明它充分有效，利用了新的语言内联特性进行代码专门化。关于整个系列，请参见[Zbl 1502.68021号]. MSC公司： 68瓦30 符号计算和代数计算 关键词：类型类;隐式转换;运算符过载;领域特定语言 软件：多蒂;科学科学院;JAS公司 PDF格式BibTeX公司 XML格式引用 \发短信{R.Jolly}，Lect。注释计算。科学。12291、307--315（2020；Zbl 07635836） 全文： 内政部