A simple solver for linear equations containing nonlinear operators

Software - Practice and Experience

Volumn 26, Issue 4, 1996, Pages 467-487

  Ramsey, Norman ^a,b  

^a TELCORDIA TECHNOLOGIES   (United States)

^b Purdue University   (United States)

Author keywords

Algebraic simplification; Literate programming; Simultaneous equations

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; DECODING; DIGITAL ARITHMETIC; ENCODING (SYMBOLS); LINEAR ALGEBRA; MACHINE ORIENTED LANGUAGES; MATHEMATICAL OPERATORS; MODULA (PROGRAMMING LANGUAGE);

ALGEBRAIC SIMPLIFICATION; EQUATION SOLVER; EQUATIONAL SPECIFICATIONS; LINEAR EQUATIONS; LITERATE PROGRAMMING; MACHINE INSTRUCTIONS; NONLINEAR OPERATORS; SIMULTANEOUS EQUATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0030128747     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199604)26:4<467::AID-SPE17>3.0.CO;2-M     Document Type: Article

References (16)

1. Ivan Sutherland, Sketchpad: A Man-Machine Graphical Communication System, PhD thesis, MIT, Cambridge, MA (1963).
2. Alan Borning, 'The programming language aspects of ThingLab, a constraint-oriented simulation laboratory', ACM Transactions on Programming Languages and Systems, 3(4), 353-387 (1981).
3. Donald E. Knuth, The Metafontbook, Addison-Wesley, Reading, MA (1986).
4. David A. Ladd and J. Christopher Ramming, 'Two application languages in software production', in Proceedings of the USENIX Symposium on Very High Level Languages, Santa Fe, NM, pp 169-177 (1994).
5. Norman Ramsey and Mary F. Fernández, 'The New Jersey Machine-Code Toolkit', in Proceedings of the 1995 USENIX Technical Conference, New Orleans, LA, pp 289-302 (1995).
6. Donald E. Knuth, METAFONT: The Program, volume D of Computers & Typesetting, Addison-Wesley (1986).
7. Emanuel Derman and Christopher Van Wyk, 'A simple equation solver and its application to financial modelling', Software - Practice & Experience, 14(12), 1169-1181 (1984).
8. Christos H. Papadimitriou and Kenneth Steiglitz, Combinatorial Optimization: Algorithms and Complexity, Prentice-Hall, Englewood Cliffs, NJ (1982).
9. William Pugh, 'A practical algorithm for exact array dependence analysis', Communications of the ACM, 35(8), 102-114 (1992).
10. Norman Ramsey, 'Literate programming simplified', IEEE Software, 11(5), 97-105 (1994).
11. Donald E. Knuth, 'Literate programming', The Computer Journal, 27(2), 97-111 (1984).
12. Ralph E. Griswold and Madge T. Griswold, The Icon Programming Language (second ed), Prentice Hall, Englewood Cliffs, NJ (1990).
13. Norman Ramsey and Mary F. Fernández, 'New Jersey Machine-Code Toolkit architecture specifications', Technical Report TR-470-94, Department of Computer Science, Princeton University (1994).
14. Christopher J. Van Wyk, 'Arithmetic equality constraints as C++ statements', Software - Practice & Experience, 22(6), 467-494 (1992).
15. Larch: Languages and Tools for Formal Specification, John V. Guttag and James J. Horning (eds.), Texts and Monographs in Computer Science, Springer-Verlag, With Stephen J. Garland, Kevin D. Jones, Andrés Modet, and Jeannette M. Wing (1993).
16. Cristoph M. Hoffman and Michael J. O'Donnell, 'Programming with equations', ACM Transactions on Programming Languages and Systems, 4(1), 83-112 (1982).