Ima dokazivača specijalizovane namene koji izbacuju i nekakav postupak. Jedan od takvih je ugrađen u WinGCLC. Ipak, matematički alati su najčešće pravljeni tako da izbacuju samo konačan rezultat. Od open source matematičkog softvera opšte namene za simbolička izračunavanja, najbolji je program za koji znam je wxMaxima, mada po kvalitetu nije ni za prineti komercijalnim rešenjima. Za numerička izračunavanja imaš scilab i octave, koji nisu tako loši. Međutim, za neku specijalnu namenu je najbolje naći program koji je specijalizovan samo za to. Takvih kvalitetnih alata ima, i to kao open source, uglavnom razvijenih u okviru nekih akademskih projekata, ali imaju vrlo usko specijalizovanu namenu.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.