RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC2815,
    author = {C. Schneider},
    title = {{Some notes on ``When is 0.999... equal to 1?''}},
    booktitle = {{Mathematics, Algorithms, Proofs}},
    language = {english},
    series = {Dagstuhl Seminar Proceedings},
    number = {05021},
    pages = {1--3},
    publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
    isbn_issn = {ISSN 1862-4405},
    year = {2006},
    editor = {T.~Coquand et~al.},
    refereed = {yes},
    length = {3},
    url = {http://drops.dagstuhl.de/opus/volltexte/2006/275/}
    }