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

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

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

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

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions by Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li

“…Case studies show that computer algebra can provide canonical symbolic representations for both assertions and circuit designs and can act as a novel solver engine from the viewpoint of symbolic computation.…”
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

A Mathematical Model for a Transmissible Disease with a Variant by A. Otto, M. Amidou

“…We determined the four equilibria of the system of ordinary differential equations representing the model and characterized their existence using exact methods of algebraic geometry and computer algebra. The model is studied using the stability theory for systems of differential equations and the basic reproduction number R0. …”
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