✦ LIBER ✦

REDUCE programs for algebraic computation in general relativity

✍ Scribed by G. Dautcourt; K.-P. Jann

Publisher: John Wiley and Sons
Year: 1983
Tongue: English
Weight: 322 KB
Volume: 304
Category: Article
ISSN: 0004-6337
DOI: 10.1002/asna.2113040505

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

LORETO: a tool for reducing state explos

LORETO: a tool for reducing state explosion in verification of LOTOS programs

✍ Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 171 KB

LOTOS is a formal specification language for concurrent and distributed systems. Basic LOTOS is the version of LOTOS without value-passing. A widely used approach to the verification of temporal properties is model checking. Often, in this approach the formal specification is translated into a label

Medical student appraisal of interactive

Medical student appraisal of interactive computer-assisted learning programs embedded in a general pathology course

✍ William A. Reid; Jen Harvey; Gordon R. Watson; Raashid Luqmani; Patrick J. R. Ha 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

Book Review: Computer Programming for Ch

Book Review: Computer Programming for Chemists. By K. B. Wiberg. Frontires in Chemistry

✍ G. Ege 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB 👁 1 views

Software club: Software for molecular bi

Software club: Software for molecular biology. III. General analysis programs classified according to the computer on which they run

✍ Martin J. Bishop 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 475 KB

## Cobol TRS-80 Recombinant DNA & Rownd2O strategy TABLE V . DEC 10 and 20 sofware for general analysis in molecular biology and molecular genetics Author Abarbanel,

GERHARD RAYNA:REDUCE. Software for Algeb

GERHARD RAYNA:REDUCE. Software for Algebraic Computation New York, Berlin, Heidelberg, London, Paris, Tokyo 1987.— 329 S. Preis: 59,- DM, ISBN 0-387-96598-X, ISBN 3-540-96598-X

✍ M. Schultz 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB

A concept of a general computer program

A concept of a general computer program for the iterative calculation of maximum likelihood estimators with application to qualitative dose response analyses

✍ K. Pahnke; W. Stucky 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 423 KB