Algorithmen der Implizitierung

Prozeduren und algorithmische Techniken, die die impliziten definierenden Gleichungen einer parametrierten algebraischen Varietät aus ihrer parametrischen Darstellung berechnen, typischerweise unter Verwendung von Eliminationsmethoden wie Resultanten, Gröbner-Basen, Syzygien, bewegten Kurven-/Flächenmethoden oder numerisch-symbolischen Hybriden.