In the literature#
Kieffer, Steve. “PISE–Proofscape Integrated Study Environment (CICM’22 System Entry).” Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics (CICM 2022) Informal Proceedings. 2022.
Kieffer, Steve. “Argument Mapping for Mathematics in Proofscape.” International Conference on Theory and Application of Diagrams. Springer, Berlin, Heidelberg, 2014.