The complicated nature of calculations in general relativity was one of the driving forces in the early development of computer algebra (CA). CA has become widely used in gravity research (GR) and its ...

This repository contains materials used for machine-assisted proofs of Kariya's theorem, described in the following paper: Ayane Ito, Takefumi Kasai, and Akira Terui. Computer-assisted proofs of ...

Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor computer algebra, tensor polynomial ...

The Symbolic Algebra Coding Examples repository is a collection of examples showcasing the capabilities of various symbolic algebra systems. The repository contains code snippets and scripts that ...

C. Bright, Kotsireas, I. S. , and Ganesh, V. , “Applying computer algebra systems with SAT solvers to the Williamson conjecture”, J. Symb. Comput., vol. 100, pp ...

Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification taking care ...

Computer Algebra Systems have been extensively used in higher education. The reasons are many e.g., visualize mathematical problems, correlate real-world problems on a conceptual level, are flexible, ...

Abstract: For the interactive computer algebra system (CAS), to solve the matching problem of different mathematical expressions between students and CAS, this paper proposes a mathematical expression ...

Computer-based testing is an emerging method to evaluate students' mathematics learning outcomes. However, algebra problems impose a high cognitive load due to requiring multiple calculation steps, ...

Abstract: The article deals with the module ‘Finite element method in solving problems of Structural Mechanics’ of ‘Mathematical Modeling’ course for students pursuing a bachelor's degree in ...