Разлагане на полиноми.

[Гост]

Здравейте.
Един полином с цели коефициенти ще наричаме приводим, ако е разложим на произведение от два полинома с цели коефициенти, всеки от които е от поне първа степен. Даден е полином на една променлива с цели коефициенти. Търси се алгоритъм, който след краен брой стъпки да отговаря на въпроса приводим ли е, и ако да - да намира разлагането. Според една книга, която наскоро четох, съществуват такива алгоритми (известни са повече от един), и за пример беше даден т.нар. алгоритъм на Кронекер и беше като пример описано как за конкретен полином на една променлива алгоритъмът намира решение.
Въпросът е съществуват ли такива алгоритми за полиноми на повече от една променлива. Има ли математически приложения или сайтове, които да решават тази задача? Като въведе човек данните, програмата да изплюва резултата?

[peyo]

Като гледам как работи Kronecker method обяснен тук:
https://encyclopediaofmath.org/wiki/Kronecker_method

Те използват Lagrange interpolation formula. Ако искаме нещо такова за функция на 2 променили ни трябва и еквивалентен метод на Lagrange за 3D.

На първо търсене не намирам нещо готово, но ми се струва възможно да има.