search

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

Analysis of heuristics #87

Open Mttbnchtt opened 6 months ago

Mttbnchtt commented 6 months ago

Draft:

  1. decompose
  2. recompose
  3. generalize
  4. specialize
  5. imports (cases, problem, definition, analogies, items, notation, assumptions, figures, techniques, results). In turn analogies can be to problems and to domains.

Add description of import techniques to the ontology of mathematical concepts.