Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A lower bound for polynomial calculus with extension rule - MaRDI portal

A lower bound for polynomial calculus with extension rule

From MaRDI portal

Publication:6115377

Jump to:navigation, search

DOI10.4230/lipics.ccc.2021.21arXiv2010.05660OpenAlexW3186888504MaRDI QIDQ6115377

Yaroslav Alekseev

Publication date: 12 July 2023

Full work available at URL: https://arxiv.org/abs/2010.05660

zbMATH Keywords

polynomial calculus proof complexity algebraic proofs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (1)

The power of the binary value principle

This page was built for publication: A lower bound for polynomial calculus with extension rule

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6115377&oldid=35570757"