المؤلفون: Lin, Tianrong

مصطلحات موضوعية: Computer Science - Computational Complexity, 68Q15, 03F20

URL الوصول: http://arxiv.org/abs/2406.10476

المؤلفون: Plotnikov, Anatoly D.

المصدر: On the structure of the class NP. Computer Communication & Collaboration (2013) 1: 19-23

مصطلحات موضوعية: Computer Science - Computational Complexity, 68Q15, 03F20

URL الوصول: http://arxiv.org/abs/1304.1307

المؤلفون: Hrubes, Pavel, Tzameret, Iddo

مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, 68Q17, 68Q15, 03F20, 03D15, 15A15, F.1.3, F.2.2, F.4.1

URL الوصول: http://arxiv.org/abs/1112.6265

المؤلفون: Tzameret, Iddo

مصطلحات موضوعية: Computer Science - Computational Complexity, 68Q17, 68Q15, 03F20, 03D15, F.1.3, F.2.2, F.4.1

URL الوصول: http://arxiv.org/abs/1004.2159

المؤلفون: Iddo Tzameret, Pavel Hrubeš

المصدر: STOC

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Polynomial, General Computer Science, General Mathematics, F.1.3, F.2.2, F.4.1, Triangular matrix, Field (mathematics), 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, Square matrix, Combinatorics, Matrix (mathematics), Identity (mathematics), 0101 mathematics, 68Q17, 68Q15, 03F20, 03D15, 15A15, Mathematics, Polynomial (hyperelastic model), Discrete mathematics, Determinant identities, Degree (graph theory), Proof complexity, 010102 general mathematics, 16. Peace & justice, Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, 010201 computation theory & mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cd94bfaf2dbb41d9c21f830ca951daf
https://doi.org/10.1145/2213977.2213998

المؤلفون: Tzameret, Iddo

المصدر: Information and Computation. (10):1269-1292

مصطلحات موضوعية: FOS: Computer and information sciences, Noncommutative formulas, F.1.3, F.2.2, F.4.1, Polynomial calculus, Lower bounds, Computational Complexity (cs.CC), Algebraic proof systems, Computer Science Applications, Theoretical Computer Science, Computer Science - Computational Complexity, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Computer Science::Logic in Computer Science, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Frege proofs, Proof complexity, 68Q17, 68Q15, 03F20, 03D15, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4109f8d95f9512febec9bdd2a1618fba

مصطلحات الفهرس: Computer Science - Computational Complexity, 68Q15, 03F20, text

URL: http://arxiv.org/abs/1304.1307

مصطلحات الفهرس: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, 68Q17, 68Q15, 03F20, 03D15, 15A15, F.1.3, F.2.2, F.4.1, text

URL: http://arxiv.org/abs/1112.6265

مصطلحات الفهرس: Computer Science - Computational Complexity, 68Q17, 68Q15, 03F20, 03D15, F.1.3, F.2.2, F.4.1, text

URL: http://arxiv.org/abs/1004.2159