%0 Conference Paper %1 conf/uic/0002LXB18 %A Ren, Wei %A Li, Simin %A Xiao, Ruiyang %A Bi, Wei %B SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI %D 2018 %E Wang, Guojun %E Han, Qi %E Bhuiyan, Md. Zakirul Alam %E Ma, Xiaoxing %E Loulergue, Frédéric %E Li, Peng %E Roveri, Manuel %E Chen, Lei %I IEEE %K dblp %P 411-416 %T Collatz Conjecture for 2^100000-1 Is True - Algorithms for Verifying Extremely Large Numbers. %U http://dblp.uni-trier.de/db/conf/uic/uic2018.html#0002LXB18 %@ 978-1-5386-9380-3

@inproceedings{conf/uic/0002LXB18, added-at = {2018-12-18T00:00:00.000+0100}, author = {Ren, Wei and Li, Simin and Xiao, Ruiyang and Bi, Wei}, biburl = {https://www.bibsonomy.org/bibtex/2c921068423b7037ee32e381848dc43cb/dblp}, booktitle = {SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI}, crossref = {conf/uic/2018}, editor = {Wang, Guojun and Han, Qi and Bhuiyan, Md. Zakirul Alam and Ma, Xiaoxing and Loulergue, Frédéric and Li, Peng and Roveri, Manuel and Chen, Lei}, ee = {https://doi.org/10.1109/SmartWorld.2018.00099}, interhash = {6c786829ea24fd97425e6806c16f4853}, intrahash = {c921068423b7037ee32e381848dc43cb}, isbn = {978-1-5386-9380-3}, keywords = {dblp}, pages = {411-416}, publisher = {IEEE}, timestamp = {2019-09-06T11:44:06.000+0200}, title = {Collatz Conjecture for 2^100000-1 Is True - Algorithms for Verifying Extremely Large Numbers.}, url = {http://dblp.uni-trier.de/db/conf/uic/uic2018.html#0002LXB18}, year = 2018 }