Mean Value Formulas for Twisted Edwards Curves

Created November 03, 2011, Updated May 23, 2013