A computer-assisted mathematical modeling method that emphasizes the interaction between analysts and computers is presented. It combines algebraic and graph-theoretic approaches to extract a trade-off between human mental models and models based on the use of data collected from the system under study. The method is oriented to the modeling of the so-called "gray box" systems which often involve human behavioral aspects and also knowledge of the experts in relevant fields. By recursive dialogues with the computer, the modeler finds a system model which can be nonlinear with respect to descriptive variables. The structure of the computer program packages is also presented
