Onkohan olemassa mitään helppokäyttöistä automaattista teoreemantodistajaa, joka osaisi todistaa polynomiepäyhtälöitä oikeaksi? Löysin E nimisen ohjelman, mutta en osannut käyttää sitä.
Haetko numeerista vai teoreettista ratkaisijaa? En tosin tiedä yhtään ohjelmaa, kunhanpahan kysyn tällaista triviaalista seikkaa. Periaatteessa numeerisen tarkastajan ohjelmointi ei välttämättä olisi vaikeaa, tosin ehkä hieman työlästä.
Eräs Päivölän vanha opiskelija mielestäni on tehnyt tuollaisen teoreemantodistajan, joskaan en tiedä mihin kaikkeen se kykenee, enkä jaksa nyt perehtyäkään. Jos kiinnostaa enemmän, niin vilkaise itse: http://planetx.cc.vt.edu/AsteroidMeta/
Teoreettista haen. Tutustun tuohon.
Aihe on jo aika vanha, joten et voi enää vastata siihen.