scientific article
From MaRDI portal
Publication:2754208
zbMath0973.03013MaRDI QIDQ2754208
Joshua Buresh-Oppenheim, Russell Impagliazzo, Toniann Pitassi, Matthew Clegg
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)
This page was built for publication:
