Computation

Bayesian Modeling and Computation in Python

Osvaldo A. Martin,Ravin Kumar,Junpeng Lao

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Structure and interpretation of classical mechanics

Sussman G.J.,Wisdom J.,Mayer M.E.

Fundamentals of Quantum Chemistry: Molecular Spectroscopy and Modern Electronic Structure Computations

Michael P. Mueller

Gröbner bases with applications in graph theory [Master thesis]

Angela M. Hennessy

Compact Numerical Methods for Computers Linear Algebra and Function Minimisation

John C. Nash

Understanding Soft Condensed Matter Via Modeling and Computation (Series in Soft Condensed Matter 3)

Wenbing Hu,An-Chang Shi,Editors

Understanding soft condensed matter via modeling and computation

Wenbing Hu;An-Chang Shi

Topological Quantum Computation (Cbms Regional Conference Series in Mathematics)

Zhenghan Wang

Quantum Computation with Topological Codes: From Qubit to Topological Fault-Tolerance

Keisuke Fujii

Introduction to Topological Quantum Matter & Quantum Computation

Tudor D. Stanescu

Topological Quantum Computation [Lecture notes]

Zhenghan Wang

Introduction To Topological Quantum Computation

Pachos,Jiannis K.

Topological Orders with Spins and Fermions: Quantum Phases and Computation

Laura Ortiz Martín

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Luigi Acerbi,Alberto Dennunzio,Enrico Formenti (auth.),S. Barry Cooper,Benedikt Löwe,Andrea Sorbi (eds.)

Computability in Context: Computation and Logic in the Real World

S. Barry Cooper,Andrea Sorbi

Computational commutative and non-commutative algebraic geometry

Svetlana Cojocaru,Svetlana Cojocaru,Gerhard Pfister,Victor Ufnarovski

Commutative Algebra: Geometric, Homological, Combinatorial, and Computational Aspects

Alberto Corso,Philippe Gimenez,Maria Vaz Pinto,Santiago Zarzuela

SINGULAR Introduction to Commutative Algebra

Gert-Martin Greuel,Pfister Gerhard

Bioinspired Computation in Combinatorial Optimization: Algorithms and Their Computational Complexity

Frank Neumann,Carsten Witt (auth.)

Structural theory of automata, semigroups, and universal algebra

M. Goldstein,Valery B. Kudryavtsev,Ivo G. Rosenberg

A brief introduction to computational algebraic geometry

Evan Merrill Bullock

A First Course in Computational Algebraic Geometry

Wolfram DeckerandGerhard Pfister, with Oliver Labs

Finite Fields and Applications

Gary L. Mullen,Carl Mummert

Computational and algorithmic linear algebra

Murty K.G.

fundamental problems in algorithmic algebra. chee keng yap

Mathematics. Fundamental Problems in Algorithmic Algebra

Fundamental problems of algorithmic algebra (draft)

Chee-Keng Yap

Fundamental problems in algorithmic algebra

Yap C.K.

Algorithmic Linear Algebra

Herbert Möller

Solving systems of polynomial equations

Sturmfels B.

Probability and Computing: Randomized Algorithms and Probabilistic Analysis

Michael Mitzenmacher,Eli Upfal

Introduction to Computer Algebra (Solving Systems of Polynomial Equations) [Lecture notes]

Anne Frühbis-Krüger,Christoph Lossen

Quantum Computation and Logic. How Quantum Computers have inspired Logical Investigations

Maria Luisa Dalla Chiara,Roberto Giuntini,Roberto Leporini,Giuseppe Sergioli

Economics and Computation: An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division

Jörg Rothe (eds.)

The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics

Penrose

First-Order Logic and Automated Theorem Proving

Melvin Fitting

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach

Bruno Courcelle,Joost Engelfriet

Frontiers of numerical analysis: Durham 2004

James Blowey,Alan Craig

Fundamental numerical methods and data analysis

Collins G.W.