@unpublished{ShlapunovTarkhanov2007,
  author    = {Shlapunov, Alexander and Tarkhanov, Nikolai Nikolaevich},
  title     = {Formal Poincar{\´e} lemma},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30231},
  year      = {2007},
  abstract  = {We show how the multiple application of the formal Cauchy-Kovalevskaya theorem leads to the main result of the formal theory of overdetermined systems of partial differential equations. Namely, any sufficiently regular system Au = f with smooth coefficients on an open set U ⊂ Rn admits a solution in smooth sections of a bundle of formal power series, provided that f satisfies a compatibility condition in U.},
  language  = {en}
}