This book offers an essential review of central theories, current research and applications in the field of numerical representations of ordered structures. It

This book contains selected chapters on recent research in topology. It bridges the gap between recent trends of topological theories and their applications in

This proceedings volume features selected contributions from the conference Positivity X. The field of positivity deals with ordered mathematical structures and

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the in

Gives a complete overview of modern constructive mathematics and its applications through surveys by leading experts.