Joshua A. Grochow: Complexity in Ideals of Polynomials: Questions on Algebraic Complexity of Circuits and Proofs. Bull. EATCS 130 (2020)