Collaborative Use of KeTCindy and Free Computer Algebra Systems

Sorry, there's nothing here.

Cite this paper

@article{Takato2017CollaborativeUO, title={Collaborative Use of KeTCindy and Free Computer Algebra Systems}, author={Setsuo Takato and Alasdair McAndrew and Jos{\'e} A. Vallejo and Masataka Kaneko}, journal={Mathematics in Computer Science}, year={2017}, volume={11}, pages={503-514} }