Publications

2025

1. thesis

   Automatic Groups: A Brief Introduction

   Liran Li

   2025

   Bib

   @article{autogroup,
     author = {Li, Liran},
     title = {Automatic Groups: A Brief Introduction},
     year = {2025},
     url = {https://doi.org/10.18130/0r5j-pj92},
   }

2. Fibonacci Q.

   A Pair of Diophantine Equations Involving the Fibonacci Numbers

   Xuyuan Chen, Hùng Việt Chu, Fadhlannafis K. Kesumajana, and 5 more authors

   The Fibonacci Quarterly, 2025

   DOI Bib

   @article{Chen21072025,
     author = {Chen, Xuyuan and Chu, Hùng Việt and Kesumajana, Fadhlannafis K. and Kim, Dongho and Li, Liran and Miller, Steven J. and Yang, Junchi and Yao, Chris},
     title = {A Pair of Diophantine Equations Involving the Fibonacci Numbers},
     journal = {The Fibonacci Quarterly},
     pages = {1--12},
     year = {2025},
     publisher = {Taylor \& Francis},
     doi = {10.1080/00150517.2025.2455622},
     url = {https://doi.org/10.1080/00150517.2025.2455622},
     eprint = {https://doi.org/10.1080/00150517.2025.2455622},
   }

2024

1. SIGKDD-UC

   SL4HOI: Supervised Learning for Predicting Health Opportunity Index across States

   Zhiyuan Song, Zihan Mei, Liran Li, and 1 more author

   SIGKDD-UC, 2024

   Bib PDF

   @article{song2024sl4hoi,
     title = {SL4HOI: Supervised Learning for Predicting Health Opportunity Index across States},
     author = {Song, Zhiyuan and Mei, Zihan and Li, Liran and Nguyen, N Rich},
     journal = {SIGKDD-UC},
     volume = {3},
     number = {12},
     pages = {13},
     year = {2024},
   }

2022

1. CSAMCS

   Nonexistence of Brouwer’s fixed-point theorem in one-dimensional constructive analysis

   Wenshi Zhao, Liran Li, Zixuan Qiao, and 1 more author

   In International Conference on Statistics, Applied Mathematics, and Computing Science (CSAMCS 2021), 2022

   Abs DOI Bib

   This paper reviews the Brouwer’s fixed-point theorem under the lens of constructive mathematics. Specifically, it presents a proof for the following statement: there is no analog of Brouwer’s fixed-point theorem in one-dimension in constructive mathematics. The paper starts by introducing some basic concepts of constructive mathematics and the Brouwer’s fixed-point theorem in classical topology. It then gives a counterexample to Brouwer’s fixed-point theorem on the interval [0,1] with idea that there exists a non-extendable computable function in constructive mathematics. The result of this work provides further insights on the characteristics of constructive mathematics.

   @inproceedings{10.1117/12.2628159,
     author = {Zhao, Wenshi and Li, Liran and Qiao, Zixuan and Zhu, Hongting},
     title = {Nonexistence of Brouwer’s fixed-point theorem in one-dimensional constructive analysis},
     volume = {12163},
     booktitle = {International Conference on Statistics, Applied Mathematics, and Computing Science (CSAMCS 2021)},
     editor = {Yin, Hong-Ming and Chen, Ke and Meštrović, Romeo and Oliveira, Teresa A. and Lin, Nan},
     organization = {International Society for Optics and Photonics},
     publisher = {SPIE},
     pages = {121630H},
     keywords = {Constructive mathematics, Topology, Fixed point theorem},
     year = {2022},
     doi = {10.1117/12.2628159},
     url = {https://doi.org/10.1117/12.2628159}
   }