External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proving Bounds for Real Linear Programs in Isabelle/HOL

Steven Obua. Proving Bounds for Real Linear Programs in Isabelle/HOL. In Thierry Coquand, Henri Lombardi, Marie-Françoise Roy, editors, Mathematics, Algorithms, Proofs, 9.-14. January 2005. Volume 05021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]

@inproceedings{Obua05:0,
  title = {Proving Bounds for Real Linear Programs in Isabelle/HOL},
  author = {Steven Obua},
  year = {2005},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/435},
  researchr = {https://researchr.org/publication/Obua05%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {Mathematics, Algorithms, Proofs, 9.-14. January 2005},
  editor = {Thierry Coquand and Henri Lombardi and Marie-Françoise Roy},
  volume = {05021},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}
runs on