Applications of real number theorem proving in PVS. Gottliebsen, H., Hardy, R., Lightfoot, O., & Martin, U. Formal Asp. Comput., 25(6):993-1016, 2013.
Applications of real number theorem proving in PVS. [link]Link  Applications of real number theorem proving in PVS. [link]Paper  bibtex   
@article{journals/fac/GottliebsenHLM13,
  added-at = {2018-11-14T00:00:00.000+0100},
  author = {Gottliebsen, Hanne and Hardy, Ruth and Lightfoot, Olga and Martin, Ursula},
  biburl = {https://www.bibsonomy.org/bibtex/25d16e8e3ddde721aedcd7bdd3b043ac7/dblp},
  ee = {https://www.wikidata.org/entity/Q55393267},
  interhash = {1b68deeefdd9a9a1a20ee5ba6f507595},
  intrahash = {5d16e8e3ddde721aedcd7bdd3b043ac7},
  journal = {Formal Asp. Comput.},
  keywords = {dblp},
  number = 6,
  pages = {993-1016},
  timestamp = {2018-11-15T15:24:33.000+0100},
  title = {Applications of real number theorem proving in PVS.},
  url = {http://dblp.uni-trier.de/db/journals/fac/fac25.html#GottliebsenHLM13},
  volume = 25,
  year = 2013
}

Downloads: 0