-
Diagrammatic Representation of
Mathematical Knowledge". In Andréa Asperti;
Bancerek, Grzegorz; Trybulec,
Andrzej (eds.).
Mathematical knowledge management:...
- Investigation. 122 (7): 2417–27. doi:10.1172/JCI61462. PMC 3386818. PMID 22684109.
Bancerek J, Poss ZC,
Steinparzer I,
Sedlyarov V,
Pfaffenwimmer T,
Mikulic I, Dölken...
-
Formalized Mathematics dedicated to MML contributions. Asperti, Andrea;
Bancerek, Grzegorz; Trybulec, Andrzej, eds. (2004),
Mathematical Knowledge Management:...