Cantitate/Preț
Produs
Total produse
Vezi coșul
Proof Complexity Generators de Jan (Charles UniversityPrague) Krajicek

Proof Complexity Generators: London Mathematical Society Lecture Note Series

Autor Jan (Charles UniversityPrague) Krajicek
en Limba Engleză Paperback – 31 mai 2025
This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted.
Citește tot Restrânge

Din seria London Mathematical Society Lecture Note Series

  • 11% C∞-Algebraic Geometry with Corners
    Preț: 46153 lei
  • 8% Surveys in Combinatorics 2021
    Preț: 44684 lei
  • 14% Integrable Systems and Algebraic Geometry 2 Volume Paperback Set
    Preț: 118349 lei
  • 11% Groups and Graphs, Designs and Dynamics
    Preț: 58289 lei
  • 8% Discrete Quantum Walks on Graphs and Digraphs
    Preț: 42303 lei
  • 8% Galois Representations in Arithmetic Algebraic Geometry
    Preț: 44827 lei
  • Clifford Algebras and Spinors
    Preț: 34977 lei
  • 8% The Navier-Stokes Equations: A Classification of Flows and Exact Solutions
    Preț: 38936 lei
  • 9% Lectures on the Combinatorics of Free Probability
    Preț: 71005 lei
  • 8% Analytic Semigroups and Semilinear Initial Boundary Value Problems
    Preț: 46072 lei
  • 8% Wigner-Type Theorems for Hilbert Grassmannians
    Preț: 40217 lei
  • Differential Geometry in the Large
    Preț: 35807 lei
  • 8% Constrained Willmore Surfaces: Symmetries of a Möbius Invariant Integrable System
    Preț: 41087 lei
  • Invariance of Modules under Automorphisms of their Envelopes and Covers
    Preț: 29514 lei
  • 8% (Co)end Calculus
    Preț: 41175 lei
  • 8% Matrix Analysis and Entrywise Positivity Preservers
    Preț: 52193 lei
  • 11% Equivariant Topology and Derived Algebra
    Preț: 59961 lei
  • 8% Effective Results and Methods for Diophantine Equations over Finitely Generated Domains
    Preț: 41056 lei
  • 11% An Indefinite Excursion in Operator Theory: Geometric and Spectral Treks in Kreĭn Spaces
    Preț: 66990 lei
  • 11% Rectifiability: A Survey
    Preț: 45812 lei
  • 8% The Calabi Problem for Fano Threefolds
    Preț: 53121 lei
  • 8% Modern Trends in Algebra and Representation Theory
    Preț: 49610 lei
  • 11% Algebraic Combinatorics and the Monster Group
    Preț: 67417 lei
  • Maurer–Cartan Methods in Deformation Theory: The Twisting Procedure
    Preț: 36980 lei
  • 11% The Maximal Subgroups of the Low-Dimensional Finite Classical Groups
    Preț: 48276 lei
  • 11% Elliptic Regularity Theory by Approximation Methods
    Preț: 56426 lei
  • 14% Stacks Project Expository Collection
    Preț: 69021 lei
  • General Cohomology Theory and K-Theory
    Preț: 30486 lei
  • Numerical Ranges II
    Preț: 44035 lei
  • 11% Stopping Time Techniques for Analysts and Probabilists
    Preț: 47919 lei
  • Groups and Geometry
    Preț: 31210 lei
  • Surveys in Combinatorics 1985: Invited Papers for the Tenth British Combinatorial Conference
    Preț: 30924 lei
  • Elliptic Structures on 3-Manifolds
    Preț: 30637 lei
  • A Local Spectral Theory for Closed Operators
    Preț: 31118 lei
  • Syzygies
    Preț: 31283 lei
  • 11% Compactification of Siegel Moduli Schemes
    Preț: 47954 lei
  • Some Topics in Graph Theory
    Preț: 43115 lei
  • Diophantine Analysis: Proceedings at the Number Theory Section of the 1985 Australian Mathematical Society Convention
    Preț: 30982 lei
  • New Developments in Topology
    Preț: 30659 lei
  • 11% An Introduction to the Theory of Surreal Numbers
    Preț: 43156 lei
  • Lectures on the Asymptotic Theory of Ideals
    Preț: 39363 lei
  • Lectures on Bochner-Riesz Means
    Preț: 43943 lei
  • 11% An Introduction to Independence for Analysts
    Preț: 41229 lei
  • Representations of Algebras: Proceedings of the Durham Symposium 1985
    Preț: 39325 lei
  • Homotopy Theory: Proceedings of the Durham Symposium 1985
    Preț: 34498 lei
  • 11% Skew Linear Groups
    Preț: 41262 lei
  • Triangulated Categories in the Representation of Finite Dimensional Algebras
    Preț: 29949 lei
  • Proceedings of the Symposium on Complex Analysis Canterbury 1973
    Preț: 39094 lei
  • 11% Proceedings of Groups - St. Andrews 1985
    Preț: 45319 lei
  • 11% Non-Classical Continuum Mechanics: Proceedings of the London Mathematical Society Symposium, Durham, July 1986
    Preț: 47800 lei

Preț: 29624 lei

Preț vechi: 37029 lei
-20% Nou

Puncte Express: 444
Preț estimativ în valută:
5673€ • 5845$ • 4760£

Carte nepublicată încă


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781009611701
ISBN-10: 1009611704
Pagini: 143
Editura: Cambridge University Press
Seria London Mathematical Society Lecture Note Series