@Article{         WilczakZgliczyski:SI:2012,
  Author        = "Wilczak, Daniel and Zgliczy{\'n}ski, Piotr",
  Abstract      = "We present a Lohner type algorithm for the computation of rigorous bounds for the solutions of ordinary differential equations and its derivatives with respect to the initial conditions up to an arbitrary order.",
  date-added    = "2021-08-12 10:45:16 +0200",
  date-modified = "2021-08-12 10:45:36 +0200",
  Journal       = "Schedae Informaticae",
  Keywords      = "rigorous integration of ODEs; variational equations.",
  Number        = "Volume 20",
  Title         = "Cr-Lohner algorithm",
  URL           = "https://www.ejournals.eu/Schedae-Informaticae/2011/Volume-20/art/1201/",
  Volume        = "2011",
  Year          = "2012",
  bdsk-url-1    = "https://www.ejournals.eu/Schedae-Informaticae/2011/Volume-20/art/1201/",
  File          = "Cr-Lohner algorithm - Schedae-20-1.pdf"
}

@Article{ WilczakZgliczyski:SI:2012, Author = "Wilczak, Daniel and Zgliczy{\'n}ski, Piotr", Abstract = "We present a Lohner type algorithm for the computation of rigorous bounds for the solutions of ordinary differential equations and its derivatives with respect to the initial conditions up to an arbitrary order.", date-added = "2021-08-12 10:45:16 +0200", date-modified = "2021-08-12 10:45:36 +0200", Journal = "Schedae Informaticae", Keywords = "rigorous integration of ODEs; variational equations.", Number = "Volume 20", Title = "Cr-Lohner algorithm", URL = "https://www.ejournals.eu/Schedae-Informaticae/2011/Volume-20/art/1201/", Volume = "2011", Year = "2012", bdsk-url-1 = "https://www.ejournals.eu/Schedae-Informaticae/2011/Volume-20/art/1201/", File = "Cr-Lohner algorithm - Schedae-20-1.pdf" }