On Tue, 08 Jul 2014 13:15:02 +0200, Borneq <b...@a...hidden.pl>
wrote:

>Jak działają takie przekształcenia nawet nie mówiąc o znajdowaniu całek,
>a jedynie pochodnych czy też wyjmowaniu zmiennych przed nawias.
>Przykład:
>Znaleźć równanie prostej w postaci Ax + By + C = 0 przechodzącej przez
>dwa punkty: (x0,y0) i (x1,y1)
>Wiadomo że równanie ma postać: (y-y0)*(x1-x0) = (x-x0)*(y1-y0)
>Algorytm ma przekształcić to na
>(y1-y0)x + (x0-x1)y + y0(x1-x0) + x0(y0-y1)
>
>Ciekawy temat, bo nie bardzo wiem, jak to ugryźć algorytmicznie ani
>jakich struktur użyć by trzymać zagnieżdżone wzory różnego typu:
>wielomiany, trygonometryczne i inne.
>Programy matematyczne jak Derive,Maxima,Axiom i inne, co ciekawe używają
>Lispa (http://c2.com/cgi/wiki?SmugLispWeenie)
>Taki program w Lispie wygląda dla mnie absurdalnie, ale widać Lisp jest
>stworzony do takich problemów. Powinien być jednak sposób, aby algorytm
>zaimplementować np. w Javie.


Huwa ac.... A sam nie mozesz riserczu zrobic?

Obliczenai symboliczne mozan zaimplementowac w dowolnym jezyku

Pierwsza proba to ABC Algol - obliczenia symboliczne zrobiono w Algolu
60. materialy dostepne sa na stronach Instytutu matematycznego w
Amsterdamie, z dokladnym opicem co i jak. nalezy wygoglosac "CWI
netherlands", pojsc do publications i zrobnic searcg na ABC Algol

Mozna to robic w C++; opis dokladny jest tutaj:

http://issc.uj.ac.za/symbolic/symbolic.html

z ksiazka w ktorej jest dokladnie napisane co i jak.

Poza tym jest implemenatcja w Pythonie ktora ci bylem podeslalem pare
dni temu, z kodem zrodlowym. Nie wystarczy?

W Javie tez jst:

http://code.google.com/p/symja/

materialow w sieci jest OD GROMA. Trzeba tylko doo..e oderwac od
stolka i poszukac. Najlepiej samemu. Ale po co, jak mozna jeleni
napuscic?..

A.L.