Sökt på: Sökresultat
totalt 4 träffar
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …
Modeling By Nonlinear Differential Equations: Dissipative And Conservative Processes
This book aims to provide mathematical analyses of nonlinear differential equations, which have proved pivotal to understanding many phenomena in physics, chemistry and biology. …
Mathematics For Computation (M4c)
The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of …