Springer Proceedings in Mathematics & St Applied and Computational Mathematics: Icompac 2023 Sukolilo Indonesia September 30 Book 455 (Hardcover)

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.