Mathematical thinking in differential equations through a computer algebra system by Zeynivannezhad, FereshtehFereshteh

“…Maxima, an open source software, was the computer algebra system chosen to be used as a cognitive tool in the learning activities. …”
Get full text

Representing modular tensor categories: a computer algebra system for topological quantum computing by Roberts, D

“…This difficulty could be greatly mitigated by the development of a computer algebra system to represent such categories. Thus, a computer algebra system for representing modular tensor categories within the symmetric monoidal 2-category 2Vect was developed.…”

Topology for trees and curves: theory and applications by Beers, D

Subjects:

Numerical algorithms for the mathematics of information by Mendoza-Smith, R

Subjects: “…Computational Algebraic Topology…”

Predicate dispatching in the Common Lisp Object by Ucko, Aaron Mark, 1977-

Get full text

Embodied mathematics by interactive sketching by Saquib, Nazmus

Get full text

Semantic-based retrieval for mathematical knowledge by Sidath Harshanath Samarasinghe

Get full text

KOMPUTASI GERAK BENDA JATUH RELATIVISTIK DENGAN VARIASI PERCEPATAN GRAVITASI DAN GESEKAN MENGGUNAKAN BAHASA REDUCE by , TRI HARTANTI, , Dr. Arief Hermanto, S.U.,M.Sc.

“…This study reported a computational error and its resolution calculation of a differential equation related to the relativistic motion of objects with variation gravitational acceleration and friction using the hep of a computer algebra system Reduce or programming language with Taylor series Numerical method. …”

Performance Engineering of Modular Symbols by Boonsiriseth, Krit

“…Our program MFSplit is based on modular symbols, which is a formalism commonly used to compute modular forms. Existing computer algebra systems such as Sage and Magma include implementations of modular symbols. …”
Get full text

Variations on the theme of zeta functions of groups and rings by Lee, S

“…</p> <p>Most of the explicit calculations in this thesis have been checked and verified with computer algebra system MAGMA.</p>…”

Effect of double stratification on boundary layer flow and heat of nanofluid over a vertical plate in the presence of chemical reaction by Rahamat, Lily Afizah

“…The resulting systems of equations are then solved numerically by using very robust computer algebra software MAPLE 18. This software uses a fourth-fifth order Runge Kutta Fehlberg method as a default to solve boundary values problems numerically using the dsolve command. …”
Get full text
Get full text
Get full text

Hybrid resultant matrix algorithm based on the sylvester-bezout formulation by Ahmad, Shamsatun Nahar

“…Upon completion of this research two new computer algebra packages have been developed, namely the Sylvester matrix package for multivariate polynomial equations and the hybrid Sylvester- B´ezout matrix package for computing the resultant of bivariate polynomial equations.…”
Get full text

Racetrack memory based logic design for in-memory computing by Luo, Tao

“…Modular multiplication is widely used in various applications such as cryptography, number theory, group theory, ring theory, knot theory, abstract algebra, computer algebra, computer science, chemistry and the visual and musical arts. …”
Get full text

Robust stability and contraction analysis of nonlinear systems via semidefinite optimization by Aylward, Erin M

Get full text