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