Russo, Mark F.; Peskin, Richard L.; Kowalski, A. Daniel A Prolog-based expert system for modeling with partial differential equations. (English) Zbl 0652.68119 Simulation 49, No. 4, 150-157 (1987). MSC: 68U20 68W30 65M06 68T99 65N06 × Cite Format Result Cite Review PDF Full Text: DOI
Paige, Robert; Henglein, Fritz Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study. (English) Zbl 0641.68025 J. Symb. Comput. 4, 207-232 (1987). MSC: 68Q60 68T20 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Moritsugu, S.; Furukawa, A.; Kobayashi, H.; Sasaki, T. On the power series solution of a system of algebraic equations. (English) Zbl 0635.65055 SIGSAM Bull. 21, No. 4, 14-23 (1987). Reviewer: S.Filippi MSC: 65H10 × Cite Format Result Cite Review PDF Full Text: DOI Link