Iscalc: An Interactive Symbolic Computation Framework (System Description).

Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu

Browse the full CADE paper archive.