Pages that link to "Item:Q482501"
From MaRDI portal
The following pages link to Mathematical knowledge management: transcending the one-brain-barrier with theory graphs (Q482501):
Displaying 5 items.
- DiscreteZOO: a fingerprint database of discrete objects (Q2209260) (← links)
- Theory morphisms in Church's type theory with quotation and evaluation (Q2364672) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Development of the semantic space ``mathematics'' by integrating a subspace of its applied area (Q2700040) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)