3
Benchmarki dla baz Gröbnera i wielomianowego rozwiązania systemowego
W ostatnim pytaniu System rozwiązywania 7 nieliniowych równań algebraicznych symbolicznie Brian Borchers eksperymentalnie potwierdził, że Maple może rozwiązać układ wielomianowy, z którym Matlab / Mupad nie może sobie poradzić. W przeszłości słyszałem od ludzi pracujących w tej dziedzinie, że Maple ma wysokiej jakości implementację baz Gröbnera i powiązanych algorytmów (które, …