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.

Autorentext

Dieky Adzkiya is Assistant Professor at the Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia. He earned his Ph.D. degree in system and control from the Delft University of Technology, in 2014. His research interests include formal verification and max-plus algebra.

Kistosil Fahim is Assistant Professor at the Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia. He earned his Ph.D. degree in stochastic processes from the Montanuniversitaet Leoben, Austria, in 2021. His research interests include stochastic partial differential equations and stochastic control systems.