  A theorem due to Nail H. Ibragimov (2007) provides a connection between
symmetries and conservation laws for arbitrary differential equations. The
theorem is valid for any system of differential equations provided that the
number of equations is equal to the number of dependent variables. In this
paper we use the theorem to determine conservation laws for a nonlinear system
of differential equations that represents a mathematical model for HIV
transmission.
