@conference{UBHD-68175383,
  author={Hausdorf, Marcus and Seiler, Werner M.},
  title={On the numerical analysis of overdetermined linear partial differential equations},
  year={2003},
  pages={152-167},
  language={eng},
  isbn={3-540-40554-2 and 978-3-540-40554-2},
}
@conference{UBHD-68175378,
  author={Seiler, Werner M. and Weber, Andreas},
  title={Deciding ellipticity with quantifier elimination},
  year={2003},
  pages={347-355},
  language={eng},
  isbn={3-9808546-1-2 and 978-3-9808546-1-0},
}
@article{UBHD-68175385,
  author={Seiler, Werner M.},
  title={Involution analysis of the partial differential equations characterizing Hamiltonian vector fields},
  year={2003},
  pages={1173-1182},
  language={eng},
  issn={1089-7658},
  volume={44},
  number={3},
  note={Gesehen am 04.10.2017},
  journal={Journal of mathematical physics},
  doi={10.1063/1.1536021},
}
@article{UBHD-68175381,
  author={Seiler, Werner M.},
  title={Structure analysis of polynomial modules with Pommaret bases},
  year={2003},
  pages={446-447},
  language={eng},
  issn={1617-7061},
  volume={2},
  number={1},
  note={Gesehen am 04.10.2017},
  journal={Proceedings in applied mathematics and mechanics},
  doi={10.1002/pamm.200310207},
}