TY  - RPRT
TI  - Extended Nullstellensatz proof systems
AU  - Jan Krajicek
PY  - 2023
DO  - 10.1090/proc/16709
UR  - https://arxiv.org/abs/2301.10617
ID  - 2301.10617
ER  -