Wei Ren 0002, Ruiyang Xiao. How to Fast Verify Collatz Conjecture by Automata. In Zheng Xiao, Laurence T. Yang, Pavan Balaji, Tao Li, Keqin Li 0001, Albert Y. Zomaya, editors, 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019, Zhangjiajie, China, August 10-12, 2019. pages 2720-2729, IEEE, 2019. [doi]
@inproceedings{0002X19-0,
title = {How to Fast Verify Collatz Conjecture by Automata},
author = {Wei Ren 0002 and Ruiyang Xiao},
year = {2019},
doi = {10.1109/HPCC/SmartCity/DSS.2019.00382},
url = {https://doi.org/10.1109/HPCC/SmartCity/DSS.2019.00382},
researchr = {https://researchr.org/publication/0002X19-0},
cites = {0},
citedby = {0},
pages = {2720-2729},
booktitle = {21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019, Zhangjiajie, China, August 10-12, 2019},
editor = {Zheng Xiao and Laurence T. Yang and Pavan Balaji and Tao Li and Keqin Li 0001 and Albert Y. Zomaya},
publisher = {IEEE},
isbn = {978-1-7281-2058-4},
}