michael-o-rabin documents

Fast evaluation of polynomials by rational preparation
Documents Fast evaluation of polynomials by rational preparation
Randomized algorithms in number theory
Documents Randomized algorithms in number theory
Maximum matchings in general graphs through randomization
Documents Maximum matchings in general graphs through randomization
Proving simultaneous positivity of linear forms
Documents Proving simultaneous positivity of linear forms
The choice coordination problem
Documents The choice coordination problem
Real time computation
Documents Real time computation
Probabilistic automata
Documents Probabilistic automata
On Recursively Enumerable and Arithmetic Models of Set Theory
Documents On Recursively Enumerable and Arithmetic Models of Set Theory
Recursive Unsolvability of Group Theoretic Problems
Documents Recursive Unsolvability of Group Theoretic Problems