NTHRYS › PhD Assistance › Knowledge Representation

Knowledge Representation

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Knowledge Representation for Mathematical Reasoning

Develops representations for mathematical knowledge, proofs, theorems, and symbolic mathematics.