Publisher
Springer International Publishing
Reference18 articles.
1. Back, R.-J.: Structured derivations: A unified proof style for teaching mathematics. Formal Aspects Comput. 22(5), 629–661 (2010). https://doi.org/10.1007/s00165-009-0136-5
2. Back, R.-J., Bos, V., Eriksson, J.: MathEdit: Tool support for structured calculational proofs. TUCS Technical report 854, Turku Centre for Comp. Sci. (2007)
3. Buchberger, B., Jebelean, T., Kutsia, T., Maletzky, A., Windsteiger, W.: Theorema 2.0: Computer-assisted natural-style mathematics. J. Formalized Reason. 9(1): 149–185 (2016). https://doi.org/10.6092/issn.1972-5787/4568
4. Carter, N.C., Monks, K.G.: A web-based toolkit for mathematical word processing applications with semantics. In: Geuvers, H., et al. (eds.) CICM 2017, pp. 272–291. Springer Intl., Cham (2017). https://doi.org/10.1007/978-3-319-62075-6_19
5. Cater, R., Johnstone Jr., H.: A computer language for teaching introductory logic. Educ. Stud. Math. 6, 87–91 (1975)