Logo

Computer Algebra, Algorithms, Systems and Applications

Small book cover: Computer Algebra, Algorithms, Systems and Applications

Computer Algebra, Algorithms, Systems and Applications
by

Publisher: Czech Technical University

Description:
From the table of contents: Introduction; Algorithms for algebraic computation; Integrated mathematical systems; Basic possibilities of integrated mathematical systems; Applications of computer algebra; Another sources of study.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Axiom: The Scientific Computation SystemAxiom: The Scientific Computation System
by - axiom-developer.org
Axiom is a free general purpose computer algebra system. The book gives a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms developed by the symbolic computation community, and presents advanced techniques.
(15870 views)
Book cover: Implementing Mathematics with The Nuprl Proof Development SystemImplementing Mathematics with The Nuprl Proof Development System
by - Prentice Hall
The authors offer a tutorial on the new mathematical ideas which underlie their research. Many of the ideas in this book will be accessible to a well-trained undergraduate with a good background in mathematics and computer science.
(12719 views)
Book cover: A Computational Introduction to Number Theory and AlgebraA Computational Introduction to Number Theory and Algebra
by - Cambridge University Press
This introductory book emphasises algorithms and applications, such as cryptography and error correcting codes. It is accessible to a broad audience. Prerequisites are a typical undergraduate course in calculus and some experience in doing proofs.
(35127 views)
Book cover: Mathematics in the Age of the Turing MachineMathematics in the Age of the Turing Machine
by - arXiv
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
(11860 views)