This book collects selected, peer-reviewed research presented at the 8th International Conference on Mathematics: Pure, Applied, and Computation, held in Lombok, Indonesia, on 30 September 2023. Organised into three parts—Part I: Control Systems, Mathematical Simulation and Modeling; Part II: Formal Methods and Data Science; Part III: Graph Theory and Analysis—the book contains 29 peer-reviewed chapters. Ranging from theoretical to applied results, the book addresses the mathematical models for several phenomena such as investment behavior, unmanned surface vehicles and electronic medical records. It also highlights the progress in the use of satisfiability methods and tools to solve puzzle and pencil games. It showcases how mathematics is used to solve real-world problems.