A high-performance C++ geometry engine built for projective transformations, exact algebraic constructions, and automated theorem proving.
All affine and projective transformations are processed through optimized CBLAS/LAPACKE routines, ensuring instantaneous matrix inversion and multiplication.
Move beyond Euclidean space. FluxGeo dynamically calculates Pole/Polar constructions and morphs warped circles into general conics via homogeneous coordinates.
A dedicated secondary executable translates geometric dependency graphs into polynomial ideals to automatically prove complex mathematical theorems.