Abel Prize celebrates union of mathematics and computer science.

@article{Castelvecchi2021AbelPC,
  title={Abel Prize celebrates union of mathematics and computer science.},
  author={Davide Castelvecchi},
  journal={Nature},
  year={2021}
}

References

SHOWING 1-3 OF 3 REFERENCES
Kneser's Conjecture, Chromatic Number, and Homotopy
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
In this paper the generality and wide applicability of Zero-knowledge proofs, a notion introduced by Goldwasser, Micali, and Rackoff is demonstrated. These are probabilistic and interactive proofs
Factoring polynomials with rational coefficients
In this paper we present a polynomial-time algorithm to solve the following problem: given a non-zero polynomial fe Q(X) in one variable with rational coefficients, find the decomposition of f into