RISCAL

swMATH26269MaRDI QIDQ38001FDOQ38001

Author name not available (Why is that?)

Described by source

• Validating mathematical theorems and algorithms with RISCAL

Cited In (1)

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

This page was built for software: RISCAL