In the literature

• A note [K2022] on the PISE software, and its applications. (pdf)

• A paper [K2014] on the Proofscape language. (pdf)

References

K2022

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.

K2014

Kieffer, Steve. “Argument Mapping for Mathematics in Proofscape.” International Conference on Theory and Application of Diagrams. Springer, Berlin, Heidelberg, 2014.