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

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

Get full text

Usage of computer algebra in teaching process by Aleksas Domarkas, Gintautas Misevičius, Violeta Pakalnytė, Albertas Pincevičius, Rimantas-Jonas Rakauskas

“… This work was intended to motivate the necessity of intensive training of mathematics utilising the computer algebra MAPLE in Lithuanian Military Academy. …”
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

Subjects: “…methods of computer algebra…”
Get full text

Computational Algebraic Geometry in String and Gauge Theory by Yang-Hui He, Philip Candelas, Amihay Hanany, Andre Lukas, Burt Ovrut

Get full text

The conjunction between computer algebra and numerical methods by Aleksas Domarkas, Rimantas-Jonas Rakauskas, Silvijus Cicėnas

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

BİLGİSAYAR CEBİRİ SİSTEMLERİ ORTAMLARINDA ÖĞRETMEN ADAYLARININ PROBLEM ÇÖZME STRATEJİLERİNİN İNCELENMESİ by Yasemin SAĞLAM, Arif ALTUN, Petek AŞKAR

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

Investigation of one task of the potential theory by Aleksas Domarkas, Rimantas-Jonas Rakauskas, Svajonė Vošterienė

“… Using computer algebra package Maple we compute aproximative analytical solution. …”
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

SMARANDACHE ANTI ZERO DIVISORS by Rebin M. Hassan, Suham H. Awla

“…Some results related to the given concepts are proved in detail. Accordingly, a Computer Algebra System (GAP) is used to verify the results of this study …”
Get full text

Number of Forts in Iterated Logistic Mapping by Kaixuan Yu, Zhiheng Yu

“…Using the theory of complete discrimination system and the computer algebra system MAPLE V.17, we compute the number of forts for the logistic mapping fλ(x)=λx(1-x) on [0,1] parameterized by λ∈(0,4]. …”
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

Complete verification of strong BSD for many modular abelian surfaces over ${\mathbf {Q}}$ by Timo Keller, Michael Stoll

Get full text