Nullstellensatz-proofs for multiplier verification (Q2110233): Difference between revisions

@@ Property / describes a project that uses @@
+PolyCleaner
@@ Property / describes a project that uses: PolyCleaner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RevSCA
@@ Property / describes a project that uses: RevSCA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bosphorus
@@ Property / describes a project that uses: Bosphorus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pacheck
@@ Property / describes a project that uses: Pacheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boolector
@@ Property / describes a project that uses: Boolector / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SINGULAR
@@ Property / describes a project that uses: SINGULAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BtorMC
@@ Property / describes a project that uses: BtorMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Btor2Tools
@@ Property / describes a project that uses: Btor2Tools / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-60026-6_21
+Normal rank
@@ Property / OpenAlex ID @@
+W3097700653
@@ Property / OpenAlex ID: W3097700653 / rank @@
+Normal rank