Simcas is a simple and very flexible analog simulator. SimCAS uses symbolic equations to define components and solves the net system by using a "Computer Algebra System" algorithm [read more at: SimCAS Web Site]
Related papers:
[1] K. Singhal and J. Vlach, "Symbolic analysis of analog and digital circuits," in IEEE Transactions on Circuits and Systems, vol. 24, no. 11, pp. 598-609, Nov 1977. doi: 10.1109/TCS.1977.1084282
[2] G. M. Wierzba, A. Srivastava, V. Joshi, K. V. Noren and J. A. Svoboda, "Sspice-a symbolic SPICE program for linear active circuits," Proceedings of the 32nd Midwest Symposium on Circuits and Systems,, Champaign, IL, 1989, pp. 1197-1201 vol.2. doi: 10.1109/MWSCAS.1989.102070
[3] G. G. E. Gielen, H. C. C. Walscharts and W. M. C. Sansen, "ISAAC: a symbolic simulator for analog integrated circuits," in IEEE Journal of Solid-State Circuits, vol. 24, no. 6, pp. 1587-1597, Dec 1989. doi: 10.1109/4.44994
[4] Rob A. Rutenbar; Georges G. E. Gielen; Brian A. Antao, Interactive AC Modeling and Characterization of Analog Circuits via Symbolic Analysis; Computer-Aided Design of Analog Integrated Circuits and Systems; Year: 2002; Pages: 287 - 312, DOI: 10.1109/9780470544310.ch23
[5] G. Fontana; F. Grasso; A. Luchetta; S. Manetti; M. C. Piccirilli; A. Reatti; A new simulation program for analog circuits using symbolic analysis techniques; 2015 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD); Year: 2015; Pages: 1 - 4, DOI: 10.1109/SMACD.2015.7301682