Citat:
Nedeljko: Mislim da volframov integrator odavno ne radi tako, ali nemoj očekivati da rešenje koje izbaci uvek ima oblik koji si ti hteo.
Ja mislim suprotno, tj. da svi matematicki programi (ili skoro svi) npr. integrale resavaju na osnovu predefinisanih sablona sa minimalnim koriscenjem vestacke ineligencije. Mislim da programi do resenja dolaze algoritmima koji su potpuno drugaciji od nacina na koji mi resavamo zadatke, i da je glavi deo u progamu u stvari parsiranje unesenog teksta (zadatka) i da nakon toga ide trazenje resenja u bazu, i ako u bazi nadje odgovarajuci tip (mislim da ovde koriste nesto od "pametnih" algoritama za prepoznavanje) prikaze se resenje u onom obliku kako je navedeno u bazi. (i ne zaboravimo cinjenicu da je npr. samo opticko prepoznavanje teksta na racunaru pravi programski izazov i da tek od skora postoje odgovarajuci algoritmi sa zadovoljavajucim procentom uspesno prepoznatih karaktera).
Ovo iznosim jer sam pre 1-2 god. radio na pitanju kreiranja (programiranja) elektronskih zbirki zadataka koje bi imala detaljna resenja. Uspeo sam da relativno elegantno odradim prikaz poznatog resenja ali je malo veci izazov bio da korisnik sam definise zadatak i da program prikaze postupak resenja. Naravno, ja sam daleko i po mogucnostima i po znanju iza velikih programerskih kuca koji se bave ovim pitanjima, ali pokusao sam da pronadjem neka gotova resenja pa da ih malo proucim, ali nisam uspeo da pronadjem nesto tako (sem jednog izuzetka).
Svi matematicki programi su izbacivali samo resenje a ne i postupak (ili barem neki od medjukoraka). Zato mislim da oni koriste nesto poput ovoga:

i resenja su onakva kakva su data u bazi, i zato se ne mogu korigovati.
Ako bi koristili neki drugi princip, mislim da bi mogli da prikazu neki medjukorak u resavanju.
I mislim da online Volframov integrator sluzi i da pomogne ali i da skuplja zadatke cijih resenja nema u bazi i verujem da neresene tipove analizira i resava tim ljudi i ubacije u naredne verzije programa i zato su programi ovog tipa sve bolji i bolji, ali u smislu povecanje baze a ne i u sistemskom pristupu resavanja problema.
Naravno, ne tvrdim da je to bas ovako kako navodim, ali moja saznanja su ovakva. I otiso sam malo u offfff, ali cisto da malo pojasnim zasto se ne mozema bas uvek pouzdati u programe.