Symbolic And Algebraic Computation By Computers - Proceedings Of The Second International SymposiumN Inada, T Soma World Scientific, 1985/10/01 - 256 ページ This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manipulation machine at RIKEN known as the FLATS project. |
目次
1 | |
The Role of Explanation in Symbolic Computation | 13 |
Overview and Current Status of the FLATS | 35 |
The Rationale of LIER A Considered LISP | 41 |
Symbolic Manipulation of Recurrence Relations An Approach to the Manipulation of Special Functions | 55 |
Towards a Symbolic Mathematical Knowledge Base | 67 |
A Survey on the Method of Groebner Bases for Solving Problems in Connection with Systems of Multivariate Polynomials | 69 |
Towards a Parallel Reduction Architecture | 85 |
Gini Coefficient of Wealth in Life Cycle Model | 119 |
Another Topic in Solving Differential Equations | 153 |
Application of the Formula Manipulating System to Statistical Mechanics Focusing on the Spin Glass of the BondRandom Ising Model | 155 |
Recent Applications of REDUCE in RIKEN | 181 |
Closed Form Solutions of Ordinary Differential Equations | 183 |
Speeding Up the SKIM list Processor with Caches | 197 |
Architecture of a Josephson Computer FLATS3 | 205 |
The Key to Improved Algebraic Computation | 215 |
Circuit Simulation Code Generation by Computer Algebra | 87 |
Symbolic Newton Iteration and Its Application | 105 |
APPENDIX | 231 |
他の版 - すべて表示
多く使われている語句
Algebraic Computation algorithm application Buchberger calculation canonical cdr coding cells circuit simulation computer algebra system CSCG cycle DCFP DCFP's differential equations environment example execution explanation facility expression factor ferromagnetic FLATS formula manipulation FORTRAN function Gini coefficient given Goto Gröbner basis Hamiltonian hardware hash heuristic implementation Inada input instructions integration Josephson Josephson junction Katsura Lattice lexicographical ordering linear LISP Lisp machine logic machine MACSYMA main memory mathematical method node normal form operation orthogonal polynomials output pair parallel performed pipeline pointer polynomial problem Proc processing processor REDUCE reference counts relocation table representation RIKEN side relation SKIM solution solved Soma speed stack structure sub-expressions symbolic techniques variables vector wealth wiring World Scientific Publishing write