Mathematical knowledge management: transcending the one-brain-barrier with theory graphs
From MaRDI portal
Publication:482501
zbMath1317.68241MaRDI QIDQ482501
Publication date: 2 January 2015
Published in: European Mathematical Society Newsletter (Search for Journal in Brave)
Related Items
Theory morphisms in Church's type theory with quotation and evaluation ⋮ Formalizing mathematical knowledge as a biform theory graph: a case study ⋮ Development of the semantic space ``mathematics by integrating a subspace of its applied area ⋮ DiscreteZOO: a fingerprint database of discrete objects
