This paper presents a review of the use of Computer Algebra Systems in General Relativity research and teaching. On one hand, the impact of using Computer Algebra Systems in General Relativity research is illustrated by pointing out some important achievements in the field. In particular, by using

In the French system of CPGE (undergraduate level), CAS (Computer Algebra System) is used as a mathematical aid. The ability of students to use CAS as a tool in a real mathematical activity is relatively easy to test if you are tutoring them in the context of their research projects

ABSTRACT: This paper examines the process through which students learn to make functional use of computer algebra systems (CAS), and the interaction between that process and the wider mathematical development of students. The result of ‘instrumentalising ’ a device to become a mathematical tool

There are discussed implementational aspects of the special-purpose computer algebra system FELIX designed for computations in constructive algebra. In particular, data types developed for the representation of and computation with commutative and non-commutative polynomials are described

without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the CCSC copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Consortium for Computing

In this article we are going to present interesting combinatorial games that have been invented and studied by high school students. Combinatorial games are very good topic for high school students to study, and it is fairly easy for high school students to invent new combinatorial games, once they are introduced to some games. After students invent an interesting game, they can study the game by using

7.57> of order p, by randomly choosing elements of G until you get one of order divisible by p. Find CG (g) using backtrack. Recursively find a Sylow p-subgroup P of CG (g) and test elements in Z(P ) \Gamma f1g to find a nontrivial element h central in a Sylow subgroup of G. (More backtrack.) Find the set \Delta of orbits of hhi, and recursively find a Sylow p-subgroup of the group induced on \Delta by CG (h). Pull back to a Sylow subgroup of G. Related procedures using backtrack to find centralizers are presently employed in cayley and MAGMA (as well as GAP) in order to find Sylow subgroups. They work well when n

of the integrand. Notwithstanding the great success of this approach, many approximations and error results have yet to be discovered due to the algebraic complexities involved; especially those that involve product integrands. We outline a method that uses the computer algebra system Maple that is able

systems which used visual, algebraic and data-based representations constructed using the computer algebra system Maple. Positive and negative impacts on the students are discussed as they apply to representational translation and perceived learning. Note: This is a preprint of a paper submitted

Abstract: In this study, feasibility of computer algebra systems, which are more commonly used in science and engineering fields especially in mathematics and physics, is examined in terms of teaching mathematics. Primarily common features of general purpose computer algebra systems