This paper presents a solver for solving constant coefficient linear differential equations. The solver is a mathematical softw are which gives the analytic solutions of the differential equations, using the recent achievements in the research on mathem atical methodology and modeling the procedure of human′smathematical thinking, through symbolic inferences with the method of relation, mapping, and inversion. The paper expounds them ainidea and tech-nique for the solver development and gives a few in stances of differential equations solved by the solver. |