Pytania otagowane jako computer-algebra

2
Rozstrzygalność problemu dotyczącego wielomianów
Natknąłem się na następujący interesujący problem: niech będą wielomianami na polu liczb rzeczywistych i załóżmy, że wszystkie ich współczynniki są liczbami całkowitymi (tzn. Istnieje dokładna reprezentacja tych wielomianów). W razie potrzeby możemy założyć, że stopień obu wielomianów jest równy. Oznaczmy przez (resp. X_q ) największa wartość bezwzględna niektórych (rzeczywistej lub …
2
Rozstrzygalność sprawdzania pierwotnego?
Załóżmy, że mam dwie funkcje i i jestem zainteresowany ustaleniem, czyFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Załóżmy, że moje funkcje składają się z funkcji elementarnych (wielomiany, wykładnicze, logi i funkcje trygonometryczne), ale nie, powiedzmy, szereg Taylora. Czy można rozwiązać ten problem? Jeśli nie, czy jest to w połowie rozstrzygalne? (Pytam, ponieważ …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.