Neural Network-Based Symbolic Computation Algorithm for Solving (2+1)-Dimensional Yu-Toda-Sasa-Fukuyama Equation [PDF]
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
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
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +1 more source
Analyzing group based matrix multiplication algorithms [PDF]
, 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC 2009 (2009.
Irene Polo-Blanco +11 more
core +1 more source
Symbolic Computation of Molecular Integrals [PDF]
, 2023 The purpose of the present article is to give an account of the symbolic computation of molecular integrals. This sort of computation is a requisite for a scheme of quantum chemistry, which has been developed by the authors of the present article.
Ichio Kikuchi, Akihito Kikuchi
core +1 more source
A two-variable approach to solve the polynomial Lyapunov equation [PDF]
, 2001 A two-variable polynomial approach to solve the one-variable polynomial Lyapunov equation is proposed. Lifting the problem from the one-variable to the two-variable context allows to use Faddeev-type recursions in order to solve the polynomial Lyapunov ...
Peeters, Ralf +4 more
core +1 more source
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
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
New Specific and General Linearization Formulas of Some Classes of Jacobi Polynomials
Mathematics, 2020 The main purpose of the current article is to develop new specific and general linearization formulas of some classes of Jacobi polynomials. The basic idea behind the derivation of these formulas is based on reducing the linearization coefficients which ...
Waleed Mohamed Abd-Elhameed, Afnan Ali
doaj +1 more source