Applied and Computational Mathematics: ICoMPAC 2023, Sukolilo, Indonesia, September 30 (Springer Proceedings in Mathematics & Statistics, 455) - Softcover

Softcover

ISBN 10: 9819721385 ISBN 13: 9789819721382

Publisher: Springer, 2025

Synopsis

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.

About this title

About the Author

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.

From the Back Cover

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.

Edition details

• Publisher: Springer
• Publication date: 2025
• Language: English
• ISBN 10: 9819721385
• ISBN 13: 9789819721382
• Binding: Paperback
• Number of pages: 442
• Editor: Adzkiya Dieky, Fahim Kistosil