The full description of the solution of Example 4.8 in our paper entitled “Applying Groebner Basis Method to Multiparametric Polynomial Nonlinear Programming”, joint with B. M.-Alizadeh and A. Basiri.
The Maple implementation of our algorithms to compute Groebner basis in a difference algebra.
These algorithms are presented in a paper joint with H. Harfsheno and A. Basiri.
The Maple implementation of our algorithms to solve a system of multivariable congruence equations.
These algorithms are presented in a paper joint with A. Basiri and M. Riahi.
The Maple implementation of our algorithms to solve nonlinear programming (NLP) and multi-parametric nonlinear programming (Mp-NLP) problems.
These algorithms are presented in a paper joint with A. Basiri and B. M.-Alizadeh.
The Maple implementation of IGS algorithm to compute an interval Grobner system for an interval polynomial system.
This algorithm is introduced in our paper joint with A. Basiri and B. M.-Alizadeh.
The Magma implementation of IGS algorithm to compute an interval Grobner system for an interval polynomial system.
This algorithm is introduced in our paper joint with A. Basiri and B. M.-Alizadeh.
 Rosenfeld-Groebner Algorithm (rga_main.mpl)  and Examples (systems 1 , 2 , 3 , 4 , 5 )
Our Maple implementation of Rosenfeld-Groebner algorithm (joint with Sh. Fakouri and A. Basiri.).
Variant-Rosenfeld-Groebner Algorithm (rga_variant.mpl) and Examples (systems 1 , 2 , 3 , 4 , 5 )
The Maple implementation of a variant of Rosenfeld-Groebner algorithm.
This algorithm is introduced in our paper joint with Sh. Fakouri and A. Basiri.

Parametric-Rosenfeld-Groebner Algorithm (par-rga.mpl) and Examples 1 , 2 , 3
The Maple implementation of Parametric-Rosenfeld-Groebner algorithm.
This algorithm is introduced in our paper joint with Sh. Fakouri and A. Basiri.