Package: 4ti2

"4ti2" package binaries on CentOS:

/usr/lib64/4ti2/bin/4ti2gmp /usr/lib64/4ti2/bin/4ti2int32 /usr/lib64/4ti2/bin/4ti2int64 /usr/lib64/4ti2/bin/circuits /usr/lib64/4ti2/bin/genmodel /usr/lib64/4ti2/bin/gensymm /usr/lib64/4ti2/bin/graver /usr/lib64/4ti2/bin/groebner /usr/lib64/4ti2/bin/hilbert /usr/lib64/4ti2/bin/markov /usr/lib64/4ti2/bin/minimize /usr/lib64/4ti2/bin/normalform /usr/lib64/4ti2/bin/output /usr/lib64/4ti2/bin/ppi /usr/lib64/4ti2/bin/qsolve /usr/lib64/4ti2/bin/rays /usr/lib64/4ti2/bin/walk /usr/lib64/4ti2/bin/zbasis /usr/lib64/4ti2/bin/zsolve

You may install this package on CentOS with yum install 4ti2