Parallel computer algebra system by Valdona Judickaitė, Regina Kulvietienė, Genadijus Kulvietis

Get full text

An Implementation of Lipschitz Simple Functions in Computer Algebra System Singular by Yanan Liu, Muhammad Ahsan Binyamin, Adnan Aslam, Minahal Arshad, Chengmei Fan, Hassan Mahmood, Jia-Bao Liu

“…The aim of this article is to implement a classifier in terms of easy computable invariants to compute the type of the Lipschitz simple function germs without computing the normal form in the computer algebra system Singular.…”
Get full text

Possibilities of using immersive learning based on abstract highly formalized mathematical models for training future mathematics teachers by Valentina A. Matveeva, Olga Yu. Zaslavskaya

Subjects: Get full text

A Computational Approach to the Perimeter-Area Inequality in a Triangle by Tomás Recio, Carlos Ueno, María Pilar Vélez

Subjects: Get full text

Limit Cycles in a Cubic Kolmogorov System with Harvest and Two Positive Equilibrium Points by Qi-Ming Zhang, Feng Li, Yulin Zhao

“…With the help of computer algebra system MATHEMATICA, we prove that five limit cycles can be bifurcated simultaneously from the two critical points (1, 1) and (2, 2), respectively, in the first quadrant. …”
Get full text

Exact Solutions to a Generalized Bogoyavlensky-Konopelchenko Equation via Maple Symbolic Computations by Shou-Ting Chen, Wen-Xiu Ma

“…We aim to construct exact and explicit solutions to a generalized Bogoyavlensky-Konopelchenko equation through the Maple computer algebra system. The considered nonlinear equation is transformed into a Hirota bilinear form, and symbolic computations are made for solving both the nonlinear equation and the corresponding bilinear equation. …”
Get full text

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches by Ning Zhou, Jinzhao Wu, Xinyan Gao

“…This work presents an efficient solution using computer algebra system to perform linear temporal properties verification for synchronous digital systems. …”
Get full text

h-Adic Polynomials and Partial Fraction Decomposition of Proper Rational Functions over R or C by Kwang Hyun Kim, Xin Zhang

“…Since its computation requires only simple algebraic operations, it does not require a computer algebra system to be programmed.…”
Get full text

On the Number of Conjugate Classes of Derangements by Wen-Wei Li, Zhong-Lin Cheng, Jia-Bao Liu

“…Although we may obtain the value of hn in some computer algebra system, it is still meaningful to find an efficient way to calculate the approximate value, especially in engineering, since most people are familiar with neither programming nor CAS software. …”
Get full text

Limit Cycles and Analytic Centers for a Family of 4n-1 Degree Systems with Generalized Nilpotent Singularities by Yusen Wu, Cui Zhang, Changjin Xu

“…With the aid of computer algebra system Mathematica 8.0 and by the integral factor method, for a family of generalized nilpotent systems, we first compute the first several quasi-Lyapunov constants, by vanishing them and rigorous proof, and then we get sufficient and necessary conditions under which the systems admit analytic centers at the origin. …”
Get full text

Computation of symmetries of rational surfaces by Juan Gerardo Alcázar, Carlos Hermoso, Hüsnü Anıl Çoban, Uğur Gözütok

“…The algorithms have been implemented in the computer algebra system Maple, and the implementations have been made public. …”
Get full text

External barycentric coordinates for arbitrary polygons and an approximate method for calculating them by Ivan S. Polyansky

“…The algorithmic features of the implementation of an approximate analytical solution with a structured representation of pseudocodes of programs for calculating external barycentric coordinates, formed mainly for the MathCad computer algebra system, are clarified. The efficiency is demonstrated by specific examples. …”
Get full text

Investigation of new solitary stochastic structures to the Heisenberg ferromagnetic spin chain model via a Stratonovich sense by Md. Nur Alam

“…With the help of Maple, a robust computer algebra system, we generate generalized solitons and examine their dynamic behavior by exploring parameter values and their interrelations. …”
Get full text

Computer algebra and applications by Aleksas Domarkas, Rimantas-Jonas Rakauskas, Albertas Pincevičius

“… Short review of computer algebra systems Macsyma, Maple, Derive, Mathematica, MuPad, Maxima. …”
Get full text

RETRACTED ARTICLE: Analytical investigations of propagation of ultra-broad nonparaxial pulses in a birefringent optical waveguide by three computational ideas by Yuanyuan Liu, Jalil Manafian, Gurpreet Singh, Naief Alabed Alkader, Kottakkaran Sooppy Nisar

“…This method is based on the general properties of the nonlinear model of expansion method with the support of the complete discrimination system for polynomial method and computer algebraic system (AS) such as Maple or Mathematica. …”
Get full text

Methods, algorithms and programs of computer algebra in problems of registration and analysis of random point structures by A.L. Reznik, A.A. Soloviev

“…The approach is based on the development and application of high-performance specialized computer algebra systems. Three software packages have been created specifically for carrying out equivalent analytical transformations on a computer. …”
Get full text

CyberUnits Bricks: An Implementation Study of a Class Library for Simulating Nonlinear Biological Feedback Loops by Johannes W. Dietrich, Nina Siegmar, Jonas R. Hojjati, Oliver Gardt, Bernhard O. Boehm

“…Currently, available approaches for modelling and simulation comprise basically domain-specific environments, toolkits for computer algebra systems and custom software written in universal programming languages for a specific purpose, respectively. …”
Get full text