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

Arbitrary 3D multi-body road vehicle modeling for vehicle-infrastructure interaction by Shiyi Mei, Colin Caprani, Daniel Cantero

“…By avoiding imposing traditional force and moment equilibrium, this approach can be easily applied to a Computer Algebra System (CAS): an open-source Python script based on CAS is provided for constructing symbolic matrices across various road vehicle configurations. …”
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

Shannon Entropy Computations in Navier–Stokes Flow Problems Using the Stochastic Finite Volume Method by Marcin Kamiński, Rafał Leszek Ossowski

“…The deterministic problem is solved using the freeware OpenFVM, the computer algebra software MAPLE 2019 is employed for the LSM local fittings, and the resulting probabilistic quantities are computed. …”
Get full text

pyScrew4Mobility: Modul Python untuk Penentuan Mobilitas Manipulator Paralel Berbasis Teori Screw by Adriyan Adriyan

“…<p>This paper addresses the mobility determination of parallel manipulators (PMs) using screw theory with algebra methods on an open-source computer algebra package: Sympy (symbolic python). The screw theory can specify the number and the type of motions owned by PMs with over-constrained or non-over constrained kinematic structures. …”
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

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

Nonlinear asymptotic stability in $L^\infty $ for Lipschitz solutions to scalar conservation laws by Golding, William

“…As an application, we are able to compute algebraic decay rates of the $L^\infty $ norm of perturbations of global-in-time Lipschitz solutions, including perturbations of planar rarefaction waves. …”
Get full text

An Algorithm to Compute the H-Bases for Ideals of Subalgebras by Rabia, Muhammad Ahsan Binyamin, Nazia Jabeen, Adnan Aslam, Kraidi Anoh Yannick

“…The concept of H-bases, introduced long ago by Macauly, has become an important ingredient for the treatment of various problems in computational algebra. The concept of H-bases is for ideals in polynomial rings, which allows an investigation of multivariate polynomial spaces degree by degree. …”
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

Application of the New Mapping Method to Complex Three Coupled Maccari’s System Possessing M-Fractional Derivative by Jan Martinovic, Aziz Ur Rehman, Muhammad Bilal Riaz

“…This is achieved through the utilization of M-Truncated fractional derivative with employing the new mapping method and computer algebraic syatem (CAS) such as Maple. The derived solutions in the form of hyperbolic and trigonometric functions. …”
Get full text