RISCAL

MaRDI QIDQ38001swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-96812-4_21

Described by source

• Validating mathematical theorems and algorithms with RISCAL

Cited in

(4)

• Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings
• Aligator.jl
• MathTools
• MathChat

This page was built for software: RISCAL