@phdthesis{de-3728,
  title = {Computerverifikation von Lösungen nichtlinearer Integralgleichungen},
  author = {Holger Obermaier},
  year = {2003},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/3722003},
  note = {http://d-nb.info/1008688142},
  researchr = {https://researchr.org/publication/de-3728},
  cites = {0},
  citedby = {0},
  school = {Karlsruhe Institute of Technology},
}