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: Strange Attractors: Creating Patterns in ChaosStrange Attractors: Creating Patterns in Chaos
by - M & T Books
Chaos and fractals have revolutionized our view of the world. This book shows examples of the artistic beauty that can arise from very simple equations, and teaches the reader how to produce an endless variety of such patterns.
(12823 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.
(9762 views)
Book cover: Algorithmic AlgebraAlgorithmic Algebra
by - Courant Institute of Mathematical Sciences
The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra.
(14324 views)
Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - Springer
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
(9751 views)