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.

Focusses on major topics in pure, applied and computational mathematics Discusses mathematical models of investment behavior, unmanned surface vehicles and electronic medical records Studies the satisfiability methods in solving puzzle and pencil games

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com