منابع مشابه
gTybalt - a free computer algebra system
This article documents the free computer algebra system “gTybalt”. The program is build on top of other packages, among others GiNaC, TeXmacs and Root. It offers the possibility of interactive symbolic calculations within the C++ programming language. Mathematical formulae are visualized using TeX fonts.
متن کاملA Computer Algebra System
Systems of polynomial equations appear throughout mathematics, science, and engineering, but solving them is widely considered to be part of numerical analysis, not computer algebra or algebraic geometry. Due to rounding errors, though, purely numerical methods often are unstable in unpredictable ways. They usually don’t find all solutions and frequently have problems with overdetermined system...
متن کاملThe Maple Computer Algebra System
Maple is a comprehensive general purpose computer algebra system. It is used primarily in education and scientific research in the sciences, in mathematics, and in engineering. Maple can do both symbolic and numerical calculations and has facilities for 2 and 3-dimensional graphical output. The newest version of Maple, Maple V Release 2, sports a new user interface that integrates these three f...
متن کاملDisCAS: A Distributed-Parallel Computer Algebra System
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra system developed to support Wu’s method for computing characteristic sets of polynomials and for other related operations. GridPPI, an MPI-like interface for grid computing, could couple multiple computing tools distr...
متن کاملA Type System for Computer Algebra
This paper presents a type system for support of subtypes, parameterized types with sharing and categoriesin a computeralgebra environment.By modelingrepresentationof instances in terms of existential types, we obtain a simpliied model, and build a basis for deening subtyping among algebraic domains. The inheritance at category level has been formalized; this allows the automatic inference of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Physics Communications
سال: 2004
ISSN: 0010-4655
DOI: 10.1016/s0010-4655(03)00468-5