Theory Multivariate_Analysis

theory
  Multivariate_Analysis
imports
  Ordered_Euclidean_Space
  Determinants
  Cross3
  Lipschitz
  Starlike
begin

text Entry point excluding integration and complex analysis.

end