3 search results - page 1 / 1 » Computing a lower bound for the canonical height on elliptic... |
MOC
2010
12 years 11 months ago
2010
Computing a lower bound for the canonical height is a crucial step in determining a Mordell
ANTS
2006
Springer
13 years 8 months ago
2006
Springer
Let E be an elliptic curve over the rationals. A crucial step in determining a Mordell-Weil basis for E is to exhibit some positive lower bound > 0 for the canonical height ^h ...
TACAS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...