Fast Probabilistic Algorithms For Verification Of Polynomial Identities

·1980·DOI
Health Data Science
Biological Machine Learning
Algorithms and Logical Systems
Algorithms in Logic and Computation

Role in the Field

Neutralin Health Data Science
Neutralin Biological Machine Learning
Neutralin Algorithms and Logical Systems
Neutralin Algorithms in Logic and Computation

Abstract

Citations

1,007

Year

1980

PageRank

4.6 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Causal Inference Without Balance Checking: Coarsened Exact Matching
·2012·2,372 citations
Trends In Logic
·2000·1,962 citations
Trends In Logic
·1998·1,848 citations
The Knowledge Complexity Of Interactive Proof Systems
·1989·1,933 citations
Linear Logic
·1987·2,540 citations
Foundations Of Logic Programming
·1987·2,049 citations
Graph-Based Algorithms For Boolean Function Manipulation
·1986·5,683 citations
Can Programming Be Liberated From The Von Neumann Style?
·1978·1,713 citations
Logical Reversibility Of Computation
·1973·2,418 citations
A Machine-Oriented Logic Based On The Resolution Principle
·1965·2,415 citations
A Machine Program For Theorem-Proving
·1962·1,859 citations