Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

EISBN:9783540484851
PISBN:9783540606154
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1995
作者:Madhu Sudan
主题词:Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages,Coding and Information Theory,Numerical Analysis
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

  • 作者:Madhu Sudan
  • EISBN:9783540484851
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

People, Problems, and Proofs

  • 作者:Richard J. Lipton,Kenneth W. Regan
  • EISBN:9783642414220
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Mathematical Problems and Proofs

  • 作者:Branislav Kisacanin
  • EISBN:9780306469633
  • 出版社:Springer US
  • 出版时间:2002

Mathematical Problems and Proofs

  • 作者:Branislav Kisačanin
  • EISBN:9780306469633
  • 出版社:Springer US
  • 出版时间:2002

Problems and Proofs in Numbers and Algebra

  • 作者:Richard S. Millman,Peter J. Shiue,Eric Brendan Kahn
  • EISBN:9783319144276
  • 出版社:Springer International Publishing
  • 出版时间:2015

Efficient Solvers for Incompressible Flow Problems

  • 作者:Stefan Turek
  • EISBN:9783642583933
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999