MathematicsThis paper presents a Neural Network-Based Symbolic Computation Algorithm (NNSCA) for solving the (2+1)-dimensional Yu-Toda-Sasa-Fukuyama (YTSF) equation.
Jiang-Long Shen +3 more
doaj +2 more sources
Emergence of periodic soliton patterns in the time-fractional Hodgkin–Huxley model arising in modern neuroscience [PDF]
Scientific ReportsThe time-fractional Hodgkin-Huxley Model (tfHHM) with Katugampola Fractional Derivatives (KFDs) is the main subject of the current study. This model was developed in modern neuroscience that imitate the way action potentials move along the giant axon in ...
Yousef Jawarneh +3 more
doaj +2 more sources
An analytical exploration of dark and bright solitary wave solutions of time-fractional (3+1) -dimensional generalized Painlevé-type equation [PDF]
Scientific ReportsThis research study constructs and examines solitary wave solutions to the Katugampola time-fractional $$(3 +1)$$ -dimensional generalized Painlev’e-type (also known as P-type) equation with the help of the generalized $$(r+\frac{G'}{G})$$ -expansion ...
Mohsin Khan +3 more
doaj +2 more sources
Exact wave structures and bifurcation for the (2+1)-Dimensional bogoyavlensky–Konopelchenko equation using modified extended direct algebraic technique [PDF]
MethodsXThis study investigates exact analytical solutions and bifurcation dynamics of the (2+1)-dimensional Bogoyavlensky–Konopchenko (BK) equation, a nonlinear model that arises in fluid mechanics and nonlinear wave propagation.
Mohamed A. Elhady +4 more
doaj +2 more sources
Optimal hyperdimensional representation for learning and cognitive computation [PDF]
Frontiers in Artificial IntelligenceHyperdimensional Computing (HDC) is a neurally inspired computing paradigm that leverages lightweight, high-dimensional operations to emulate key brain functions.
Prathyush P. Poduval +7 more
doaj +2 more sources
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition [PDF]
, 2023 This toolbox supports the results in the following publication: Pickering, L., del Río, T., England, M. and Cohen, K., 2023. Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic ...
Del Rio, Tereso +6 more
core +3 more sources
Symbolic computation for evaluation of measurement uncertainty [PDF]
, 2007 In recent years, with the rapid development of symbolic computation, the integration of symbolic and numeric methods is increasingly applied in various applications.
Wei, P +7 more
core +1 more source
Algebraic Skeleton Transform: A symbolic computation challenge [PDF]
, 2022 This paper was presented at the International Symposium on Symbolic and Algebraic Computation (ISSAC 2020).We introduce an algebraic formulation for the shape skeleton transform (also known as the medial axis transform) and present a concrete low-degree ...
Storti, Duane
core
04061 Summary – Real Computation and Complexity [PDF]
, 2006 The seminar "Real Computation and Complexity" was intended as a meeting place of several tendencies in the complexity analysis of algorithms in real computation.
Lickteig, Thomas +2 more
core +1 more source
Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems [PDF]
, 2014 The application of automated reasoning to the formal verification of symbolic computation systems is motivated by the need of ensuring the correctness of the results computed by the system, beyond the classical approach of testing. Formal verification
Ruiz Reina, José Luis +1 more
core +1 more source