Symbolic Computation | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Simple

Original

Articles about Symbolic Computation

Verified Language Processing with Hybrid Explainability: A Technical Report

4 days ago by Oliver Robert Fox and others

Computation and Language, Symbolic Computation

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems

5 days ago by Zhengyu Li and others

Logic in Computer Science, Symbolic Computation

Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series

6 days ago by Adya Musson-Leymarie

Commutative Algebra, Symbolic Computation

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations

7 days ago by Chandra Kanth Nagesh and others

Machine Learning, Symbolic Computation

Rational Solutions of Parametric First-Order Algebraic Differential Equations

7 days ago by Sebastian Falkensteiner and Rafael Sendra

Symbolic Computation

Generalized ODE reduction algorithm for bounded degree transformation

3 July 2025 by Shaoxuan Huang

Symbolic Computation

Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery

3 July 2025 by Miguel Ángel De Carvalho Servia and others

Computational Engineering, Finance, and Science, Symbolic Computation

High-resolution spatial memory requires grid-cell-like neural codes

1 July 2025 by Madison Cotteret and others

Neural and Evolutionary Computing, Artificial Intelligence

Advancing Local Search in SMT-NRA with MCSAT Integration

1 July 2025 by Tianyi Ding and others

Artificial Intelligence, Logic in Computer Science

One-Parametric Presburger Arithmetic has Quantifier Elimination

30 June 2025 by Alessio Mansutti and Mikhail Starchak

Logic in Computer Science, Symbolic Computation

Symbolic Sets for Proving Bounds on Rado Numbers

28 June 2025 by Tanbir Ahmed and others

Combinatorics, Discrete Mathematics

Efficient Tensor Decomposition via Moment Matrix Extension

27 June 2025 by Bobby Shi and others

Algebraic Geometry, Numerical Analysis

Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach

27 June 2025 by Frédéric Chyzak and Marni Mishna

Combinatorics, Symbolic Computation

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs

27 June 2025 by Isaac Wood

Symbolic Computation

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications

26 June 2025 by Jean-Guillaume Dumas and others

Symbolic Computation

A matrix criterion and algorithmic approach for the Peterson hit problem: Part I

25 June 2025 by Dang Phuc

Algebraic Topology, Symbolic Computation

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication

24 June 2025 by Jean-Guillaume Dumas and others

Numerical Analysis, Symbolic Computation

Structured Kolmogorov-Arnold Neural ODEs for Interpretable Learning and Symbolic Discovery of Nonlinear Dynamics

23 June 2025 by Wei Liu and others

Machine Learning, Artificial Intelligence

Polyra Swarms: A Shape-Based Approach to Machine Learning

16 June 2025 by Simon Klüttermann and Emmanuel Müller

Machine Learning, Neural and Evolutionary Computing

An O(n)-Algorithm for the Higher-Order Kinematics and Inverse Dynamics of Serial Manipulators using Spatial Representation of Twists

12 June 2025 by Andreas Mueller at

Johannes Kepler Universität Linz

Robotics, Symbolic Computation

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning

12 June 2025 by Mohd Anwar Jamal Faiz

Artificial Intelligence, Human-Computer Interaction

Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher

11 June 2025 by La Scala Roberto and Sharwan Kumar Tiwari

Cryptography and Security, Symbolic Computation

Certified algebraic curve projections by path tracking

11 June 2025 by Michael Burr and others

Symbolic Computation, Numerical Analysis

Gradient-Weighted, Data-Driven Normalization for Approximate Border Bases -- Concept and Computation

11 June 2025 by Hiroshi Kera and Achim Kehrein

Symbolic Computation, Commutative Algebra

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking

11 June 2025 by Silin Gao and others

Computation and Language, Artificial Intelligence

Support bound for differential elimination in polynomial dynamical systems

10 June 2025 by Yulia Mukhina and Gleb Pogudin

Symbolic Computation, Algebraic Geometry

Telescoping Algorithms for Σ^*-Extensions via Complete Reductions

10 June 2025 by Shaoshi Chen and others

Symbolic Computation

CALT: A Library for Computer Algebra with Transformer

10 June 2025 by Hiroshi Kera and others

Machine Learning, Symbolic Computation

How to generate all possible rational Wilf-Zeilberger forms?

8 June 2025 by Shaoshi Chen and others

Symbolic Computation

Decoupling Representation and Learning in Genetic Programming: the LaSER Approach

6 June 2025 by Nam Le and Josh Bongard

Neural and Evolutionary Computing, Artificial Intelligence

Load more