1 (* ========================================================================= *)
2 (* Theory of multivariate calculus in Euclidean space. *)
3 (* ========================================================================= *)
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 *)
11 (* ------------------------------------------------------------------------- *)
12 (* The main core theory. *)
13 (* ------------------------------------------------------------------------- *)
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 *)
24 (* ------------------------------------------------------------------------- *)
25 (* Work in progress. *)
26 (* ------------------------------------------------------------------------- *)
28 loadt "Multivariate/clifford.ml";; (* Geometric (Clifford) algebra *)
29 loadt "Multivariate/integration.ml";; (* Integration *)
30 loadt "Multivariate/measure.ml";; (* Lebesgue measure *)
32 (* ------------------------------------------------------------------------- *)
33 (* Updated database, for convenience where dynamic updating doesn't work. *)
34 (* ------------------------------------------------------------------------- *)
36 loadt "Multivariate/multivariate_database.ml";;