%0 Journal Article %1 journals/rc/BeelitzLUW10 %A Beelitz, Thomas %A Lang, Bruno %A Ueberholz, Peer %A Willems, Paul R. %D 2010 %J Reliab. Comput. %K dblp %P 66-77 %T Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver. %U http://dblp.uni-trier.de/db/journals/rc/rc14.html#BeelitzLUW10 %V 14

@article{journals/rc/BeelitzLUW10, added-at = {2020-04-16T00:00:00.000+0200}, author = {Beelitz, Thomas and Lang, Bruno and Ueberholz, Peer and Willems, Paul R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f98172bbcd8434e3a848f3cc6c1c8977/dblp}, ee = {http://interval.louisiana.edu/reliable-computing-journal/volume-14/reliable-computing-14-pp-66-77.pdf}, interhash = {34bf6167b7ad0715655efb8ff567a48c}, intrahash = {f98172bbcd8434e3a848f3cc6c1c8977}, journal = {Reliab. Comput.}, keywords = {dblp}, pages = {66-77}, timestamp = {2020-04-20T12:32:04.000+0200}, title = {Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver.}, url = {http://dblp.uni-trier.de/db/journals/rc/rc14.html#BeelitzLUW10}, volume = 14, year = 2010 }