#### Filter Results:

#### Publication Year

2005

2016

#### Publication Type

#### Co-author

#### Publication Venue

Learn More

- Rotem Zach, Oleg Zlydenko
- 2010

This survey requires from the reader knowledge in field theory, group theory and number theory. Definitions An elliptic curve over a field is the set of pairs, or points, , , that satisfy the equation: , where. denotes all those points, with the infinity point. When the characteristic of then we can write where. is called the discriminant of. When a curve… (More)

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon… (More)

- ‹
- 1
- ›