Beispiel: Inverse Symbolic Calculator

http://oldweb.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

Roots of polynomials of degree less than or equal to 8.
1931851652578136 = -1+4*x^2-x^4
mit LLL-Algorithmus (Lenstra, Lenstra, and Lovasz, 1982), der einen kurzen Vektor in geeignetem Gitter bestimmt.



Johannes Waldmann 2015-12-11