Mathematical knowledge management: transcending the one-brain-barrier with theory graphs
From MaRDI portal
Publication:482501
zbMATH Open1317.68241MaRDI QIDQ482501FDOQ482501
Authors: Michael Kohlhase 
Publication date: 2 January 2015
Published in: European Mathematical Society Newsletter (Search for Journal in Brave)
Cited In (5)
- DiscreteZOO: a fingerprint database of discrete objects
- ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age
- Theory morphisms in Church's type theory with quotation and evaluation
- Development of the semantic space ``mathematics by integrating a subspace of its applied area
- Formalizing mathematical knowledge as a biform theory graph: a case study
This page was built for publication: Mathematical knowledge management: transcending the one-brain-barrier with theory graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q482501)
