applications.tex 503 Bytes
Newer Older
Dennis Müller's avatar
update  
Dennis Müller committed
1
2
3
4
5
6
7
8
- theory discovery
- natural extensions (partial views)
- models
- counter examples
- theorem transport (current theory is codomain)
- prioritize many definitions / theorems
- refactoring advice
- assoc / comm normalization
Dennis Müller's avatar
Dennis Müller committed
9
10
11
12
- term indexing techniques
- use existing views in $\cL$ (compositions of views are vivews) to give Jane more
  information about her beautiful subsets, e.g. that matroids (and thus beautiful sets)
  form a generalization of the notion of linear independence from linear algebra.