The Novel Research Institute
Semantic Hypertext
Linguistics of Mathematics
Logic and Proof Verification
Applied Quantum Systems
Algebra and Quantum Algebra
