MathematicalKnowledgeManagement

Jump to bottom Edit New page

Andrew Dougherty edited this page Nov 19, 2019 · 2 revisions

(MKM)

MathematicalKnowledgeManagement seeks to represent mathematical knowledge, currently in CycLanguage.

LOGICMOO WIKI https://github.com/TeamSPoon/logicmoo_workspace/wiki
PrologMUD WIKI https://github.com/TeamSPoon/prologmud/wiki
GDOCS https://drive.google.com/#folders/0B0QA19UX0ehlV1ZEaXEzc3hjTWM
LOGICMOO MESSAGE BOARD THREAD - http://www.intfiction.org/forum/viewtopic.php?f=38&t=13717&sid=e1fe6aa4ebb6fda6f2a502a3c26d495d
HOMEPAGE http://www.logicmoo.org/
LIVECODING http://livecoding.tv/logicmoo/