Results 241 to 250 of about 1,466,157 (309)
Some of the next articles are maybe not open access.
Computer Algebra Systems and Symbolic Computations
Journal of Mathematical Sciences, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2004
The development of computers has made possible the introduction of computer algebra systems for “doing mathematics”. They are software systems able to perform mathematical operations formally. These systems, such as Macsyma, Reduce, Derive, Maple, Mathcad, Mathematica, can also be used on relatively small computers (PC), and with their help, we can ...
Ilja N. Bronshtein +3 more
openaire +1 more source
The development of computers has made possible the introduction of computer algebra systems for “doing mathematics”. They are software systems able to perform mathematical operations formally. These systems, such as Macsyma, Reduce, Derive, Maple, Mathcad, Mathematica, can also be used on relatively small computers (PC), and with their help, we can ...
Ilja N. Bronshtein +3 more
openaire +1 more source
2000
In this chapter we survey some computer algebra systems and give some applications. There are a large number of computer algebra systems available, so we will concentrate on a few of them. Reduce and Axiom are based on Lisp. On the other hand Mathematica, Maple and MuPAD are based on C.
Tan Kiat Shi +2 more
openaire +1 more source
In this chapter we survey some computer algebra systems and give some applications. There are a large number of computer algebra systems available, so we will concentrate on a few of them. Reduce and Axiom are based on Lisp. On the other hand Mathematica, Maple and MuPAD are based on C.
Tan Kiat Shi +2 more
openaire +1 more source
Computational Complexity in Algebraic Systems
Siberian Mathematical Journal, 2004The author defines complexity notions for the approach to computability on abstract structures based upon BSS-machines acting over list extensions [\textit{I. V. Ashaev, V. Ya. Belyaev}, and \textit{A. G. Myasnikov}, Algebra Logic 32, No.~4, 183--205 (1993); translation from Algebra Logika 32, No.~4, 349--386 (1993; Zbl 0829.03023)].
openaire +2 more sources
FERMI SYSTEMS AND COMPUTER ALGEBRA
International Journal of Modern Physics C, 1993Computer algebra is a helpful tool in studying Fermi systems. We show how the anticommutation relations can be implemented with computer algebra. Then we give an application to the Hubbard model.
openaire +1 more source
Geometric Algebra Computing for Heterogeneous Systems
Advances in Applied Clifford Algebras, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hildenbrand, D. +3 more
openaire +2 more sources
Computer Algebra Systems: DERIVE®
The American Statistician, 1995DERIVE Version 2.55, Extended Memory Version 2.55XM, and Version 2.60 Available from The Soft Warehouse, Inc., 3660 Waialae Avenue, Suite 304, Honolulu, HI 96816-3236; fax: 808-735-1105. Prices Vary; see, for example, mathware @ xmission.com or connect to http://www/.xmission.com/ -mathware/mathware.html .Version 3 now released. This review follows the
openaire +1 more source
1998
We contrast computer algebra systems and theorem provers, pointing out the strengths and weaknesses of each, and suggest a simple way to achieve a synthesis of some of the best features of both. Our method is based on the systematic separation of search for a solution and checking the solution, using a physical connection between systems.
openaire +1 more source
We contrast computer algebra systems and theorem provers, pointing out the strengths and weaknesses of each, and suggest a simple way to achieve a synthesis of some of the best features of both. Our method is based on the systematic separation of search for a solution and checking the solution, using a physical connection between systems.
openaire +1 more source
2013
First attempts to use computers for calculations not only with numbers but also with mathematical expressions (e.g., symbolic differentiation) were made in the 1950s. In the 1960s research in this direction became rather intensive. This area was known under different names: symbolic calculations, analytic calculations, and computer algebra.
openaire +1 more source
First attempts to use computers for calculations not only with numbers but also with mathematical expressions (e.g., symbolic differentiation) were made in the 1950s. In the 1960s research in this direction became rather intensive. This area was known under different names: symbolic calculations, analytic calculations, and computer algebra.
openaire +1 more source
Interoperating between computer algebra systems
Proceedings of the 2009 international symposium on Symbolic and algebraic computation, 2009In this paper we report on an experience communicating between the GAP computional algebra system (in particular, its HAP package for homological algebra computations) and the Kenzo computer system for Algebraic Topology. Both systems were made to cooperate through an OpenMath link in order to perform computations in group cohomology. Furthermore, once
Ana Romero, Graham Ellis, Julio Rubio
openaire +1 more source