No | Text |
1 | Research |
2 | Recent news (see all) |
No | Text |
1 | Approach: corpus-based meta-mathematics |
2 | Kwarc process |
3 | About |
4 | Updates |
5 | Editing |
No | Text |
1 | Mathematics |
2 | Meta |
3 | representation languages |
4 | algorithms |
5 | end-user systems |
6 | Corpus-based |
7 | Analysis |
8 | Synthesis |
9 | Experimentation |
No | Text |
1 | represent knowledge about the world |
2 | draw logical inferences |
3 | about |
No | Text |
1 | menu |