Code

Minkowski#1000

Code

Merged

affeldt-aist merged 8 commits intomath-comp:mastermath-comp/analysis:masterfrom hoheinzollern:minkowskihoheinzollern/analysis:minkowskiCopy head branch name to clipboardNov 13, 2023

+237-15

Commits

Commits on Oct 27, 2023

• Convexity of power function

  Show description for 5222d08
  

  affeldt-aist

  and

  hoheinzollern

  committed
  5222d08

• Minkowski's inequality and accessory lemmas

  Show description for 891b922
  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  891b922

• Moved oneminv to mathcomp_extra.v

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  bb1700d

• updated lemmas with new Lp_norm definition

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  5f80dae

• Minkowski for p=1

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  384c3be

• rebase, minor simplifications

  affeldt-aist

  committed
  5756c76

Commits on Oct 28, 2023

• last fixes

  affeldt-aist

  committed
  b52ba3c

• fix

  affeldt-aist

  committed
  2aa2ea2