%0 Conference Paper %1 conf/eurocal/Gudenberg85 %A von Gudenberg, Jürgen Wolff %B European Conference on Computer Algebra (2) %D 1985 %E Caviness, B. F. %I Springer %K dblp %P 322-324 %T Floating-Point Computation in PASCAL-SC with Verified Results. %U http://dblp.uni-trier.de/db/conf/eurocal/eurocal1985-2.html#Gudenberg85 %V 204 %@ 3-540-15984-3

@inproceedings{conf/eurocal/Gudenberg85, added-at = {2017-05-19T00:00:00.000+0200}, author = {von Gudenberg, Jürgen Wolff}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26d7b9fc957137899841f6c3f1cd197d6/dblp}, booktitle = {European Conference on Computer Algebra (2)}, crossref = {conf/eurocal/1985-2}, editor = {Caviness, B. F.}, ee = {https://doi.org/10.1007/3-540-15984-3_286}, interhash = {0c8ed962a2fa5634813b186fa7ca516e}, intrahash = {6d7b9fc957137899841f6c3f1cd197d6}, isbn = {3-540-15984-3}, keywords = {dblp}, pages = {322-324}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:00:09.000+0200}, title = {Floating-Point Computation in PASCAL-SC with Verified Results.}, url = {http://dblp.uni-trier.de/db/conf/eurocal/eurocal1985-2.html#Gudenberg85}, volume = 204, year = 1985 }