colo12-c703.uibk.ac.at Git - Multivariate Analysis/.git/blob - make.ml

   1 (* ========================================================================= *)
   2 (* Theory of multivariate calculus in Euclidean space.                       *)
   3 (* ========================================================================= *)
   4
   5 loadt "Library/card.ml";;               (* For countable set theorems.      *)
   6 loadt "Library/permutations.ml";;       (* For determinants                 *)
   7 loadt "Library/products.ml";;           (* For determinants and integrals   *)
   8 loadt "Library/floor.ml";;              (* Useful here and there            *)
   9 loadt "Multivariate/misc.ml";;          (* Background stuff                 *)
  10
  11 (* ------------------------------------------------------------------------- *)
  12 (* The main core theory.                                                     *)
  13 (* ------------------------------------------------------------------------- *)
  14
  15 loadt "Multivariate/vectors.ml";;       (* Basic vectors, linear algebra    *)
  16 loadt "Multivariate/determinants.ml";;  (* Determinant and trace            *)
  17 loadt "Multivariate/topology.ml";;      (* Basic topological notions        *)
  18 loadt "Multivariate/convex.ml";;        (* Convex sets and functions        *)
  19 loadt "Multivariate/paths.ml";;         (* Paths, simple connectedness etc. *)
  20 loadt "Multivariate/polytope.ml";;      (* Faces, polytopes, polyhedra etc. *)
  21 loadt "Multivariate/dimension.ml";;     (* Dimensional theorems             *)
  22 loadt "Multivariate/derivatives.ml";;   (* Derivatives                      *)
  23
  24 (* ------------------------------------------------------------------------- *)
  25 (* Work in progress.                                                         *)
  26 (* ------------------------------------------------------------------------- *)
  27
  28 loadt "Multivariate/clifford.ml";;      (* Geometric (Clifford) algebra     *)
  29 loadt "Multivariate/integration.ml";;   (* Integration                      *)
  30 loadt "Multivariate/measure.ml";;       (* Lebesgue measure                 *)
  31
  32 (* ------------------------------------------------------------------------- *)
  33 (* Updated database, for convenience where dynamic updating doesn't work.    *)
  34 (* ------------------------------------------------------------------------- *)
  35
  36 loadt "Multivariate/multivariate_database.ml";;