formal language
formal ontology; ordinary language semantics
4 Matching Annotations
- Dec 2021
-
mileti.math.grinnell.edu mileti.math.grinnell.edu
-
-
deduction v. proof
-
-
Local file Local file
-
rationalcontractions
morphisms + small modifications (rational maps that are isomorphic in co-d1)
-
Projective Variety X Goal: understand the collection of all morphisms (with connected fibers)
- Decompose each map into simple steps
- Parameterize possibilities for: a. maps b. factorization of each map
-