Algebraic programming system APS is considered as a tool for integrating computer algebra with artificial intelligence. The system is based on rewriting rule programming and algebraic program in APLAN, the source language of the system, in many cases may be considered as an executable specification of a problem. Two different kinds of solvers are specified in terms of rewriting rules. The first one is a universal solver that extends a pure PROLOG-like solver in different directions. One of the important property of this solver is the possibility for inclusion of special algorithms for solving equations in different algebras. Another solver is directed to solving problems on computational models (some kind of constraint networks). It searches for the solution of a problem in two stages — constructing the plan and solving equations. On the second stage the solver calls the universal one to get the solution of equations. The application of APS and its solvers to the development of system for mathematical education in secondary school is briefly described in the last section of the paper.