Mathematical knowledge management: transcending the one-brain-barrier with theory graphs
From MaRDI portal
(Redirected from Publication:482501)
Cited in
(6)- DiscreteZOO: a fingerprint database of discrete objects
- 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
- ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age
- Wikipedia and zbMATH Open: connecting several layers of mathematical information
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)
