Geometry Amateur / News: Recent posts

Finished until now - polynom framework, creating grobner basis of polynoms, format of input theorem files, converting theorem into system of polynoms

To Do list - finalize project, i.e. create grobner basis from theorem and made conclusion, make grobner basis algorithm faster

This project is part of post-graduated studies on Faculty of Mathematics, Belgrade, Computer Science course.