Mathematical proof (Q3370569)

From MaRDI portal





scientific article; zbMATH DE number 5004591
Language Label Description Also known as
default for all languages
No label defined
    English
    Mathematical proof
    scientific article; zbMATH DE number 5004591

      Statements

      Mathematical proof (English)
      0 references
      0 references
      8 February 2006
      0 references
      NP-hard problems
      0 references
      formal proof
      0 references
      Turing machines
      0 references
      computer proof
      0 references
      quantum computer
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references