Search Results - "Symbolic computation"

Symbolic Summation of Multivariate Rational Functions.

Authors: Chen, Shaoshi Du, Lixin Fang, Hanqian

Source: Foundations of Computational Mathematics. Jun2026, Vol. 26 Issue 3, p1635-1697. 63p.

Subjects: Symbolic computation, Isotropy subgroups, Addition (Mathematics)

DISSERTATIONES MATHEMATICAE.

Authors: MOULIN-OLLAGNIER, JEAN POPOV, SASHO IVANOV STRELCYN, JEAN-MARIE

Source: Dissertationes Mathematicae. 2026, Issue 610, p1-150. 150p.

Toward state estimation by high gain differentiators with automatic differentiation.

Authors: Röbenack, Klaus Gerbet, Daniel

Source: Optimization Methods & Software; Apr2026, Vol. 41 Issue 2, p279-294, 16p

DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA.

Authors: ANDRÉ, ÉTIENNE LIME, DIDIER ROUX, OLIVIER H.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-32, 32p

Encoding-Relative Structural Diagnostics for Differential Operators.

Authors: Castro, Robert¹ (AUTHOR)

Source: Symmetry (20738994). Apr2026, Vol. 18 Issue 4, p631. 42p.

A Hybrid Framework for Automated Geometric Problem-Solving by Integrating Formal Symbolic Systems and Deep Learning.

Authors: Hu, Zhengyu Zhang, Xiaokai Qin, Cheng et al.

Source: Symmetry (20738994). Apr2026, Vol. 18 Issue 4, p592. 25p.

A new efficient symbolic computation fusion neural network method: Solving exact solutions of (3+1)-dimensional nonlinear partial differential equations.

Authors: Gao, Yu Huang, Jingwen Du, Baoying et al.

Source: AIMS Mathematics. 2026, Vol. 11 Issue 4, p1-23. 23p.

Conics Through Inequivalent 5-Arcs in PG(2, 32).

Authors: Khalaf, Zainab Abbas Al-Zangana, Emad Bakr

Source: Baghdad Science Journal; 2026, Vol. 23 Issue 3, p999-1007, 9p

A New Neural Network Framework Integrating Symbolic Computation to Solve the (2+1)-Dimensional Boussinesq Equation.

Authors: Liang, Jing-Bin Du, Bao-Ying Li, Xia et al.

Source: Mathematics (2227-7390). Feb2026, Vol. 14 Issue 4, p648. 19p.

Bilinear feature-enhanced symbolic computation neural network method for solving the (1+1)-dimensional Caudrey–Dodd–Gibbon equation.

Authors: Li, Xia Shen, Jianglong Liang, Jingbin et al.

Source: AIMS Mathematics. 2026, Vol. 11 Issue 2, p1-26. 26p.

A linear-time algorithm to compute the conjugate of nonconvex bivariate piecewise linear-quadratic functions.

Authors: Karmarkar, Tanmaya Lucet, Yves

Source: Journal of Global Optimization; Jan2026, Vol. 94 Issue 1, p3-34, 32p

Classification of Finite Groups: Recent Developements and Open Problems.

Authors: Eick, Bettina¹, beick@tu-bs.de

Source: Foundations of Computational Mathematics; Dec2025, Vol. 25 Issue 6, p1907-1919, 13p

A novel algebraic technique for adjacency matrices of some derived graphs.

Authors: Ozden Ayna, Hacer Yurttas Gunes, Aysun Delen, Sadik et al.

Source: Mathematical & Computer Modelling of Dynamical Systems; Dec2025, Vol. 31 Issue 1, p1-8, 8p

Monadic Intersection Types, Relationally, and Ordered.

Authors: Galal, Zeinab Gavazzo, Francesco Treglia, Riccardo et al.

Source: ACM Transactions on Programming Languages & Systems; Dec2025, Vol. 47 Issue 4, p1-51, 51p

The auxiliary equation method for the construction of deformed solitary solutions to the model of tumor-immune system interaction.

Authors: Marcinkevičius, R. Mickevičius, R. Navickas, Z. et al.

Source: AIMS Mathematics. 2025, Vol. 10 Issue 11, p1-27. 27p.

On constructing frames of a split octonionic curve with an associated spatial split octonionic curve.

Authors: AkbIyIk, Mücahit Alo, Jeta

Source: Logic Journal of the IGPL. Jun2026, Vol. 34 Issue 3, p1-23. 23p.

Neural Network-Based Symbolic Computation Algorithm for Solving (2+1)-Dimensional Yu-Toda-Sasa-Fukuyama Equation.

Authors: Shen, Jiang-Long Zhang, Run-Fa Huang, Jing-Wen et al.

Source: Mathematics (2227-7390). Sep2025, Vol. 13 Issue 18, p3006. 18p.

Symbolic computation-based robust multistage NMPC for 3-D trajectory tracking of a ROV.

Authors: Jiang, Xiaoyong Yang, Zhenhai Wu, Yuxi et al.

Source: Journal of Marine Science & Technology. Jun2025, Vol. 30 Issue 2, p295-310. 16p.

Subjects: Symbolic computation, Hessian matrices, Jacobian matrices, Ecological disturbances, Sensitivity analysis

Measurement and Calculation of the Impedance of an Eddy Current Probe Placed Above a Disc with Two Layers of Different Diameters.

Authors: Xiang, Yike Tytko, Grzegorz Luo, Yao et al.

Source: Materials (1996-1944). May2025, Vol. 18 Issue 10, p2376. 15p.

Subjects: Symbolic computation, Eddy current testing, Eigenfunction expansions, Programming languages, Electric conductivity

Summary of the Special Issue Titled "Applications of Symbolic and Soft Computations in Applied Sciences".

Authors: Brociek, Rafał Walentyński, Ryszard

Source: Mathematics (2227-7390). Nov2025, Vol. 13 Issue 22, p3573. 3p.