Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics (Mathematics and Its Applications, 72)

Brackx, F.; Constales, D.

ISBN 10: 0792314417 / ISBN 13: 9780792314417

Editore: Kluwer Academic Publishers, 1991

Riguardo questo articolo

Codice articolo ABLIING23Feb2416190180901

Dati bibliografici

• Titolo: Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics (Mathematics and Its Applications, 72)
• Editore: Kluwer Academic Publishers
• Data di pubblicazione: 1991
• Lingua: Inglese
• ISBN 10: 0792314417
• ISBN 13: 9780792314417
• Rilegatura: Rilegato
• Condizione: New

Descrizione articolo

Riassunto

One service mathematics has rendered the tEL moi, ...si j'avait su comment en revenir. je n'y serais point alle'.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- sense', The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non- linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics ...'; 'One service logic has rendered com- puter science ...'; 'One service category theory has rendered mathematics ,..'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series.

Contenuti

1 Introduction.- 2 Standard LISP and RLISP.- 3 REDUCE algebraic mode.- 4 Applications.- 5 A package for three-dimensional euclidean geometry.