Engineering students' actions in a mathematical modelling task: Mediating mathematical understanding in a computer algebra system by H Kotze, E D Spangenberg

Subjects: “…Computer algebra system…”
Get full text

Engineering students' actions in a mathematical modelling task: Mediating mathematical understanding in a computer algebra system by H Kotze, E D Spangenberg

Subjects: “…Computer algebra system…”
Get full text

Application of Computer Algebra Systems to the Construction of the Collocations and Least Residuals Method for Solving the 3D Navier–Stokes Equations by V. P. Shapeev, E. V. Vorozhtsov

“…At all stages of the CLR method construction, a computer algebra system (CAS) is applied for the derivation and verification of the formulas of the method and for their translation into arithmetic operators of the Fortran language. …”
Get full text

A characterization and implementation of corank one map germs from 2-space to 3-space in the computer algebra system SINGULAR by Ying Wang, Muhammad Ahsan Binyamin, Tauqeer Iqbal, Saima Aslam, Adnan Aslam

“…Also, we give its implementation in the computer algebra system SINGULAR ^{[<xref ref-type="bibr" rid="b15">15</xref>]}.…”
Get full text

The Grobner package in Maple and computer algebra system for solving multivariate polynomial equations / Shamsatun Nahar Ahmad and Nor'aini Aris by Ahmad, Shamsatun Nahar, Aris, Nor'aini

“…In this paper, we present an overview of the stages and development in the Grobner basis techniques and to discuss some basic implementations of the Grobner package in Maple and the computer algebra system related to solving multivariate polynomial equations.…”
Get full text

Animation Tools of CAS for Dynamic Exploration of Mathematics by Joana LIPEIKIENE, Antanas LIPEIKA

Subjects: “…computer algebra systems (CAS)…”
Get full text

Computer Algebra in Scientific Computing [electronic resource]: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007: Proceedings/ by International Workshop on Computer Algebra in Scientific Computing (10th : 2007 : Bonn, Germany), Vorozhtsov, Evgenii V., Mayr, Ernst W., Ganzha, Victor G., SpringerLink (Online service)

Get full text

Detecting isometries and symmetries of implicit algebraic surfaces by Uğur Gözütok, Hüsnü Anıl Çoban

Subjects: Get full text

Integration of the Kenzo System within SageMath for New Algebraic Topology Computations by Julián Cuevas-Rozo, Jose Divasón, Miguel Marco-Buzunáriz, Ana Romero

Subjects: “…computer algebra…”
Get full text

CAS MAXIMA AS A TOOL FOR FORMING RESEARCH SKILLS IN THE PROCESS OF PRE-SERVICE INFORMATICS TEACHERS TRAINING by Тарас Петрович Кобильник, Уляна Петрівна Когут, Наталія Володимирівна Винницька

Subjects: Get full text

The step-wise construction of solitary solutions to Riccati equations with diffusive coupling by Romas Marcinkevicius, Inga Telksniene, Tadas Telksnys, Zenonas Navickas, Minvydas Ragulskis

Subjects: Get full text

Automated Linearization of a System of Nonlinear Ordinary Differential Equations by Aigerim Mazakova, Sholpan Jomartova, Waldemar Wójcik, Talgat Mazakov, Gulzat Ziyatbekova

Subjects: Get full text

On Some Symmetries of Quadratic Systems by Maoan Han, Tatjana Petek, Valery G. Romanovski

Subjects: Get full text

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

Subjects:

Towards a Notion of Basis for Knowledge-Based Systems—Applications by Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez, Daniel Rodríguez-Chavarría

Subjects: Get full text

Mathematical Representation Competency in Relation to Use of Digital Technology and Task Design—A Literature Review by Mathilde Kjær Pedersen, Cecilie Carlsen Bach, Rikke Maagaard Gregersen, Ingi Heinesen Højsted, Uffe Thomas Jankvist

Subjects: Get full text

A fast and general algebraic approach to Railway Interlocking System across all train stations by Antonio Hernando, José Luis Galán-García, Gabriel Aguilera-Venegas

Subjects: Get full text

EUROCAL '87 / by European Conference on Computer Algebra(6th 1987 Leipzig,Germany), Davenport, James Harold, 1953-

Optimization of Complex Function Expansions for Gauss-Krüger Projections by Xiaoyong Li, Houpu Li, Guohui Liu, Shaofeng Bian

Subjects: Get full text

ReLie: A Reduce Program for Lie Group Analysis of Differential Equations by Francesco Oliveri

Subjects: Get full text