Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 7, 2013

• Moved ODE solver files to ode/

  EvgenyMakarov

  committed
  a34e5ea

  Copy full SHA for a34e5ea

• Created directory 'ode' for ODE solvers

  EvgenyMakarov

  committed
  ef2c3c1

  Copy full SHA for ef2c3c1

• Changed Picard iterations from Lipschitz to UniformlyContinuous. Tested iterations.

  EvgenyMakarov

  committed
  2da833f

  Copy full SHA for 2da833f

Commits on Feb 5, 2013

• .

  EvgenyMakarov

  committed
  f6aa710

  Copy full SHA for f6aa710

Commits on Feb 4, 2013

• Proved that the image of the image of the Picard operator lies in the required segment

  EvgenyMakarov

  committed
  32b8f32

  Copy full SHA for 32b8f32

Commits on Feb 2, 2013

• Proved that the result of the Picard operators is Lipschitz

  EvgenyMakarov

  committed
  ce84ea6

  Copy full SHA for ce84ea6

Commits on Jan 31, 2013

• Proved that extension of a Lipschitz function is Lipschitz

  EvgenyMakarov

  committed
  17b76c9

  Copy full SHA for 17b76c9

Commits on Jan 30, 2013

• Proving that extend is Lipschitz

  EvgenyMakarov

  committed
  2d98acb

  Copy full SHA for 2d98acb

Commits on Jan 29, 2013

• Defining Picard operator

  EvgenyMakarov

  committed
  aa4e798

  Copy full SHA for aa4e798

• Merge branch 'master' of github.com:EvgenyMakarov/corn

  EvgenyMakarov

  committed
  5a3ecf8

  Copy full SHA for 5a3ecf8

• .

  EvgenyMakarov

  committed
  52cff51

  Copy full SHA for 52cff51

• .

  EvgenyMakarov

  committed
  4e2972c

  Copy full SHA for 4e2972c

Commits on Jan 25, 2013

• Changed type class arguments of some functions and theorems (e.g., diag_lip and compose_lip) to avoid requiring MetricSpaceClass when not necessary. Now they require MetricSpaceBall or ExtMetricSpa…

  Show description for 4dfdc13
  EvgenyMakarov

  committed
  4dfdc13

  Copy full SHA for 4dfdc13

Commits on Jan 24, 2013

• Proved some facts about Lipschitz functions

  EvgenyMakarov

  committed
  944984d

  Copy full SHA for 944984d

Commits on Jan 22, 2013

• .

  EvgenyMakarov

  committed
  49d8c0f

  Copy full SHA for 49d8c0f

Commits on Jan 18, 2013

• Started proving that the function to which Picard operator is applied is Lipschitz

  EvgenyMakarov

  committed
  485d295

  Copy full SHA for 485d295

Commits on Jan 17, 2013

• Moved the new code about Picard iterations into Picard.v

  EvgenyMakarov

  committed
  36c3049

  Copy full SHA for 36c3049

Commits on Jan 16, 2013

• Started defining Picard operator

  EvgenyMakarov

  committed
  a7b2298

  Copy full SHA for a7b2298

Commits on Jan 1, 2013

• Changed Map to Func

  EvgenyMakarov

  committed
  d8103a5

  Copy full SHA for d8103a5

Commits on Dec 27, 2012

• Proved that the composition if uniformly continuous functions is uniformly continuous

  EvgenyMakarov

  committed
  ed663bb

  Copy full SHA for ed663bb

Commits on Dec 24, 2012

• Defined product metric space with supremum norm

  EvgenyMakarov

  committed
  c6b057e

  Copy full SHA for c6b057e

Commits on Dec 21, 2012

• Picard iterations

  EvgenyMakarov

  committed
  b4636a1

  Copy full SHA for b4636a1

Commits on Dec 18, 2012

• Added lemmas in math-classes and proved that functions between metric spaced form a metric space w.r.t. the supremum distance

  EvgenyMakarov

  committed
  592b975

  Copy full SHA for 592b975

Commits on Dec 17, 2012

• Defined class Map for types that can be converted to functions (an analog of cast)

  EvgenyMakarov

  committed
  00c84e0

  Copy full SHA for 00c84e0

• Moved some lemmas to other parts of CoRN

  EvgenyMakarov

  committed
  93aa644

  Copy full SHA for 93aa644

Commits on Dec 11, 2012

• Proved that the integral of a locally Lipschitz function is locally Lipschitz

  EvgenyMakarov

  committed
  f221fd7

  Copy full SHA for f221fd7

Commits on Dec 10, 2012

• Proving that integral is Lipschitz

  EvgenyMakarov

  committed
  acb7262

  Copy full SHA for acb7262

Commits on Dec 7, 2012

• Proving that integral is Lipschitz

  EvgenyMakarov

  committed
  35255a8

  Copy full SHA for 35255a8

Commits on Dec 5, 2012

• Proving that integral of locally Lipschitz functions is locally Lipschitz

  EvgenyMakarov

  committed
  374c673

  Copy full SHA for 374c673

Commits on Dec 4, 2012

• Finished expressing Contraction through Lipschitz

  EvgenyMakarov

  committed
  50900d0

  Copy full SHA for 50900d0

• Adapting to Lipschitz class

  EvgenyMakarov

  committed
  0d0e99a

  Copy full SHA for 0d0e99a

Commits on Nov 30, 2012

• Defined Lipschitz and expressed Contraction through it

  EvgenyMakarov

  committed
  d53269b

  Copy full SHA for d53269b

Commits on Nov 9, 2012

• Finished adapting SimpleIntegration.v

  EvgenyMakarov

  committed
  0f36628

  Copy full SHA for 0f36628

Commits on Nov 8, 2012

• Adapting SimpleIntegration.v to metric.v instead of Classified.v

  EvgenyMakarov

  committed
  b08f2ef

  Copy full SHA for b08f2ef

Commits on Nov 7, 2012

• Started adapting SimpleIntegration.v to metric.v instead of Classified.v

  EvgenyMakarov

  committed
  a9aeb4f

  Copy full SHA for a9aeb4f

Pagination

Previous

Next