Richard Zippel. The Weyl computer algebra substrate. Available by ftp from cs.cornell.edu, January 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....matters further, leading Abelson and Sussman to remark in [AS85] We do not yet understand data types. These issues all surface in the domain of generic arithmetic systems, and we find it quite naive to suppose that generic functions can adequately solve the generic arithmetic problem (see [Zip93]) The present work may have applications to these issues since I believe that a successful module system needs to be able to distinguish types and implementations in the presence of multiple implementations and coercions. 3.3 Extensible denotational semantics This section outlines an approach ....

Richard Zippel. The Weyl computer algebra substrate. Available by ftp from cs.cornell.edu, January 1993.

....community [ Watt et al. 1988, Jenks and Sutor, 1992, Watt et al. 1994 ] However, this area is historically based on interpreted and dynamically typed languages where performance is not a primary goal. The situation is gradually changing by putting more emphasis on type systems [ Santas, 1993, Zippel, 1993 ] and by the emerging of compilers for previously interpreted languages [ Watt et al. 1994 ] Still these systems are not very efficient and based on proprietary core languages with comparatively little spread. We would like to overcome this situation by basing further developments on general ....

Richard Zippel. The Weyl Computer Algebra Substrate. In Alfonso Miola, editor, DISCO '93 --- International Symposium on the Design and Implementation of Symbolic Computation Systems, volume 722 of Lecture Notes in Computer Science, pages 303--318, Gmunden, Austria, September 15--17, 1993. Springer, Berlin.

....itself becomes the program. 1. 5 The Chains implementation The algebraic topological functionality described previously has been prototyped in the computer system Chains, which is implemented in Common Lisp using the Common Lisp Object System (CLOS) Chains uses Mathematica[Wol91] and Weyl[Zip89] for symbolic computations (for instance to compute with chains having polynomials as coefficients) as well as FORTRAN libraries for numerical routines. The system generates optimized C, FORTRAN, and Common Lisp code, and examples to date have used numerical libraries including ....

Richard E. Zippel. The weyl computer algebra substrate. working paper, July 1989.

....in their respective fields. Second, it is only recently that the software base capable of providing the required functionality has matured. Functionally, software components such as geometric modelers[3, 22, 17] ODE integrators[7] linear algebra packages[6] and symbolic algebra systems[20, 9, 21, 23] are well developed. However, these components are not constructed using a software architecture that supports closely coupled integration. Numerical packages such as Linpack are notable exceptions. Linpack provides linear algebra functionality at a variety of levels, using a variety of data ....

....the state vector, f is a vector valued function, and t is time. Thus the state variables are identified, and all time derivatives of state variables are moved to the left hand side of the equations. 5. Since the symbolic algebraic manipulations are performed using the computer algebra system Weyl[23], and the simulator itself is in FORTRAN, the set of equations is mapped into a single vector equation and translated into FORTRAN subroutines, which are used by ODEPACK integrators to compute the time derivative of the state vector. The routines generated depend on the integration method being ....

[Article contains additional citation context not shown here]

Richard Eliot Zippel. The Weyl computer algebra substrate. Technical Report 90--1077, Department of Computer Science, Cornell University, Ithaca, NY, 1990.

No context found.

Richard Zippel. The Weyl Computer Algebra Substrate. In Alfonso Miola, editor, DISCO '93 --- International Symposium on the Design and Implementation of Symbolic Computation Systems, volume 722 of Lecture Notes in Computer Science, pages 303--318, Gmunden, Austria, September 15--17, 1993. Springer, Berlin.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC