Pseudo-solutions of polynomial systems and the lower bound problem for $\mbox{AC}^0[p]$-Frege systems 7S0DWBCNS8
| URI | m2://res/7S0DWBCNS8 |
|---|---|
| Kind | preprint |
| Creators | Jan Krajicek |
| Date | 2026-09-28 |
| MSC | 03F20, 68Q15 |
| Subjects | arxiv cs.CC, arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-28 |
| Ids | arXiv 2609.35927, zbl_id 903188037 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 2DFYYNYE94 | statement | theorem 3.2 | arxiv |
| 4RYV6BKNA1 | definition | definition 3.1 | arxiv |
| 59059NPT3M | definition | definition 2.1 | arxiv |
| 5PXZYVE1JC | statement | theorem 6.1 | arxiv |
| 7BV8KVH36M | statement | lemma 5.1 | arxiv |
| 7KFK8XP8CM | statement | lemma 4.4 | arxiv |
| 9ZH6J2XJQ3 | statement | theorem 4.1 | arxiv |
| DHMMP0454P | statement | theorem 2.2 | arxiv |
| FGQNVDQ1V3 | statement | lemma 5.2 | arxiv |
| NQPF9WC0MK | statement | corollary 4.2 | arxiv |
| VCRGS95PHX | statement | theorem 3.3 | arxiv |
| X1P1T34DNY | definition | definition 4.3 | arxiv |
Catalogue records
- arxiv: 2609.35927 (work)
- arxiv_text: 2609.35927 (work)
- zbmath_search: 903188037 (work)