Login / Signup

Computing Prime Factorization and Discrete Logarithms: From Index Calculus to Xedni Calculus.

Song Y. Yan
Published in: Int. J. Comput. Math. (2003)
Keyphrases
  • automated deduction
  • sequent calculus
  • database
  • multi dimensional
  • databases
  • pairwise
  • least squares
  • theorem proving
  • real numbers
  • formal language
  • proof procedure
  • automated theorem proving
  • computer algebra