@ARTICLE{Kur14,
  author = {Kurka, Petr},
  title = {Exact real arithmetic for interval number systems},
  journal = TCS,
  year = {2014},
  volume = {542},
  pages = {32--43},
  doi = {10.1016/j.tcs.2014.04.030},
  file = {Kur14.pdf:Kur14.pdf:PDF},
  keywords = {cca},
  owner = {Vasco},
  timestamp = {2014.06.30}
}

{"_id":"qoCxicmGZznWncvnN","bibbaseid":"kurka-exactrealarithmeticforintervalnumbersystems-2014","authorIDs":[],"author_short":["Kurka, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kurka"],"firstnames":["Petr"],"suffixes":[]}],"title":"Exact real arithmetic for interval number systems","journal":"Theoretical Computer Science","year":"2014","volume":"542","pages":"32–43","doi":"10.1016/j.tcs.2014.04.030","file":"Kur14.pdf:Kur14.pdf:PDF","keywords":"cca","owner":"Vasco","timestamp":"2014.06.30","bibtex":"@ARTICLE{Kur14,\r\n author = {Kurka, Petr},\r\n title = {Exact real arithmetic for interval number systems},\r\n journal = TCS,\r\n year = {2014},\r\n volume = {542},\r\n pages = {32--43},\r\n doi = {10.1016/j.tcs.2014.04.030},\r\n file = {Kur14.pdf:Kur14.pdf:PDF},\r\n keywords = {cca},\r\n owner = {Vasco},\r\n timestamp = {2014.06.30}\r\n}\r\n\r\n","author_short":["Kurka, P."],"key":"Kur14","id":"Kur14","bibbaseid":"kurka-exactrealarithmeticforintervalnumbersystems-2014","role":"author","urls":{},"keyword":["cca"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.492Z","downloads":0,"keywords":["cca"],"search_terms":["exact","real","arithmetic","interval","number","systems","kurka"],"title":"Exact real arithmetic for interval number systems","year":2014,"dataSources":["t7rKiAbxugj4Agz8M"]}