Couple of the Variational Iteration Method and Legendre Wavelets for Nonlinear Partial Differential Equations by Fukang Yin, Junqiang Song, Xiaoqun Cao, Fengshun Lu

“…The main advantage of the new method is that it can avoid solving the nonlinear algebraic system and symbolic computation. Furthermore, the developed vector-matrix form makes it computationally efficient. …”
Get full text

Newfangled Linearization Formula of Certain Nonsymmetric Jacobi Polynomials: Numerical Treatment of Nonlinear Fisher’s Equation by W. M. Abd-Elhameed, Afnan Ali, Y. H. Youssri

“…The derivation of this formula is based on employing a new moment formula of this class of polynomials and after that using suitable symbolic computation to reduce the resulting linearization coefficients into simplified forms that do not contain any hypergeometric functions or sums. …”
Get full text

F-Expansion Method and New Exact Solutions of the Schrödinger-KdV Equation by Ali Filiz, Mehmet Ekici, Abdullah Sonmezoglu

“…With the aid of symbolic computation, we choose the Schrödinger-KdV equation with a source to illustrate the validity and advantages of the proposed method. …”
Get full text

Nonautonomous Motion Study on Accelerated and Decelerated Lump Waves for a (3 + 1)-Dimensional Generalized Shallow Water Wave Equation with Variable Coefficients by Wei-Qin Chen, Qing-Feng Guan, Chao-Fan Jiang, Fei-Fan Zhang, Lei Wang

“…The exact lump solutions of this equation are presented by virtue of its bilinear form and symbolic computation. Compared with the solutions of the previous cases, these solutions contain two inhomogeneous coefficients, which can show some interesting nonautonomous characteristics. …”
Get full text

A Symbolic Algorithm for Checking the Identifiability of a Time-Series Model by Guy Mélard 

“…It cannot be used in open-source symbolic computation software like GNU Octave and GNU Maxima. …”
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

Lump Solutions and Resonance Stripe Solitons to the (2+1)-Dimensional Sawada-Kotera Equation by Xian Li, Yao Wang, Meidan Chen, Biao Li

“…Based on the symbolic computation, a class of lump solutions to the (2+1)-dimensional Sawada-Kotera (2DSK) equation is obtained through making use of its Hirota bilinear form and one positive quadratic function. …”
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

“…The main contribution of this work is to describe the challenges, and potential ways to approach their solutions, still posed by the use of such automated, symbolic computation, methods in dynamic geometry, in particular concerning the discovery of loci of points that satisfy specific geometric conditions, suggesting relevant improvements for the future development of these symbolic AI-based educational tools in geometry.…”
Get full text

Transcendentality of zeros of higher dereivatives of functions involving Bessel functions by Lee Lorch, Martin E. Muldoon

“…For most values of n, the proofs used the symbolic computation package Maple V (Release 1).…”
Get full text

Prediction of cold region dew volume based on an ECOA-BiTCN-BiLSTM hybrid model by Yi Zhang, Pengtao Liu, Yingying Xu, Meng Zhang

Get full text

Constructing meaningful code changes via graph transformer by Shikai Guo, Mengxuan Li, Xin Ge, Hui Li, Rong Chen, Tingting Li

Get full text

DLD: An Optimized Chinese Speech Recognition Model Based on Deep Learning by Hong Lei, Yue Xiao, Yanchun Liang, Dalin Li, Heow Pueh Lee

Get full text

Exact Solutions of Damped Improved Boussinesq Equations by Extended (G′/G)-Expansion Method by Kai Fan, Cunlong Zhou

“…In addition, the symbolic computing software maple makes our computing work easier.…”
Get full text

Investigating wave solutions in coupled nonlinear Schrödinger equation: insights into bifurcation, chaos, and sensitivity by Adil Jhangeer, Abdallah M. Talafha, Ariana Abdul Rahimzai, Lubomír Říha

“…The accuracy of the derived solitons is validated through symbolic computations performed in Wolfram Mathematica, accompanied by graphical visualizations of the proposed solutions. …”
Get full text

Exp-Function Method for a Generalized MKdV Equation by Yuzhen Chai, Tingting Jia, Huiqin Hao, Jianwen Zhang

“…By figures and symbolic computations, we have discussed the propagation characteristics of those solitons under different values of those coefficients in the generalized MKdV equation. …”
Get full text

Random 2D Composites and the Generalized Method of Schwarz by Vladimir Mityushev

“…The proposed method yields an algorithm which can be applied with symbolic computations. The Torquato-Milton parameter ζ1 is exactly written for circular inclusions.…”
Get full text

Modelling of Spacecraft Dynamics at Deployment of Large Elastic Structure by V. S. Khoroshilov, A. E. Zakrzhevskii

“…The equations of motion are derived with the use of the Eulerian-LaGrangian formalism and symbolic computing. Numerical simulations of the typical operational mode of the system are conducted taking into account various control profiles for the deployment. …”
Get full text

Investigating higher dimensional Jimbo–Miwa nonlinear dynamics through phase portraits, sensitivity, chaos and soliton behavior by Muhammad Aziz ur Rehman, Muhammad Bilal Riaz, Muhammad Iqbal

“…These innovative concepts are utilized through symbolic computations to provide comprehensive and powerful mathematical tools for addressing various benign nonlinear problems.…”
Get full text

SYMBOLIC ANALYSIS OF CLASSICAL NEURAL NETWORKS FOR DEEP LEARNING by Vladimir Milićević, Igor Franc, Maja Lutovac Banduka, Nemanja Zdravković, Nikola Dimitrijević

“…The proposed algorithm can be implemented in any programming language with symbolic computing. Although it was developed for a classical neural network, the same methodology can be used for any type of neural network.…”
Get full text