Book
Mathematics for Computation (M4C)
ISBN : 9789811245213
Author : Marco Benin
Publisher : World Scientific
Year : 2023
Language : English
Type : Book
Description : The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and computation wherever desirable and possible, and otherwise explaining why not. Recently, abstract mathematics has proved to have more computational content than ever expected. Indeed, the axiomatic method, originally intended to do away with concrete computations, seems to suit surprisingly well the programs-from-proofs paradigm, with abstraction helping not only clarity but also efficiency. Unlike computational mathematics, which rather focusses on objects
RECOMMENDED BOOKS
Complex Function Theory
Takeo Fujiwara
Economics and Computation
Jörg Rothe
Writing Philosophy Papers
Zachary Seech
Species, Science and Society
Quentin Wheeler
Mixed-Valence Systems: Fundamentals, Synthesis, Electron Transfer, and Applications
Yu-Wu Zhong
DK草药百科全书(精)
(英)安德鲁·谢瓦利尔
Healthcare Financial Management: Applied Concepts and Practical Analyses
Cassandra R. Henson DPA MBA
Land Quality and Sustainable Urban Forms : Changing Landscapes and Socioeconomic Structures of European Cities
Ilaria Tombolini