for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This textbook connects three vibrant areas at the interface between economics and computer science: algorithmic game theory, computational social choice, and fair division.
Die Autoren erörtern aktuelle Paradigmenwechsel in Kommunikationsnetzen, die erforderlich sind, um die einfachen Transportkonzepte der vorherrschenden Netze um Rechen- und Speicherfunktionen zu ergänzen.
Das Symbolische Rechnen zur Losung mathematischer Probleme erlebt einen neuen Aufschwung durch den Einsatz speziell dafur entwikckelter Softwaresysteme. Nach dem Erfolg von... Læs mere
This text covers various topics of computer algebra methods, algorithms and software applied to scientific computing. An important topic presented in the book is the application of computer algebra methods to the development of new efficient analytic and numerical solvers.
This text presents modern functional analysis methods for the sensitivity analysis of some infinite-dimensional systems governed by partial differential equations. Among the problems treated are the Signorini problem, the elastic-plastic torsion problem and more.
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.
The subject of Partial Differential Equations (PDEs) which first emerged in the 18th century holds an exciting and special position in the applications relating to the mathematical modelling of physical phenomena.
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the... Læs mere