Beispiel: Inverse Symbolic Calculator

• http://wayback.cecm.sfu.ca/projects/ISC/ISCmain.html

  zur Bestimmung ganzzahliger Relationen (z.B. zwischen Potenzen einer numerisch gegebenen Zahl)

• sqrt(2+sqrt 3)   ==>  1.9318516525781366
  
  integer relations algorithm, run:
  K = 1.9318516525781366
                               4      2
  K satisfies the polynomial, X  - 4 X  + 1
  

  mit LLL-Algorithmus (Lenstra, Lenstra, and Lovasz, 1982), der kurzen Vektor in geeignetem Gitter bestimmt.