✦ LIBER ✦

Algebraic proof systems over formulas

✍ Scribed by Dima Grigoriev; Edward A. Hirsch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic proofs over noncommutative for

✍ Iddo Tzameret 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 347 KB

Polarization Formulas over Separable Alg

✍ W.C. Waterhouse 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 387 KB

Algebraic methods for interactive proof

✍ Lund, Carsten; Fortnow, Lance; Karloff, Howard 📂 Article 📅 1992 🏛 Association for Computing Machinery 🌐 English ⚖ 740 KB

Algebraic methods for interactive proof

✍ Lund, Carsten; Fortnow, Lance; Karloff, Howard 📂 Article 📅 1992 🏛 Association for Computing Machinery 🌐 English ⚖ 740 KB

Quantifier Elimination over Algebraicall

✍ David Delahaye; Micaela Mayero 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 346 KB

An algebraic proof of the Lagrange-Bürma

✍ Peter Henrici 📂 Article 📅 1964 🏛 Elsevier Science 🌐 English ⚖ 250 KB