Imagen de Portada

A Dataset of Nonlinear Equations for Subdivision

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Xu, Juan, Lai, Huilong, Cheng, Yingying, Yang, Wenqiang, Chen, Changbo
Formato:	Preprint
Publicado:	2026
Materias:	Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
por: Jing, Rui-Juan, et al.
Publicado: (2026)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
por: Moroz, Guillaume
Publicado: (2024)

A semi-algebraic model for automatic loop parallelization
por: Chen, Changbo
Publicado: (2024)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
por: Deng, Siyuan, et al.
Publicado: (2024)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
por: Zheng, Min-Yi, et al.
Publicado: (2026)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
por: Oki, Taihei, et al.
Publicado: (2024)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
por: Wang, Zhonghan
Publicado: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
por: Böhmer, Christian G., et al.
Publicado: (2025)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
por: Yufei, Kuang, et al.
Publicado: (2025)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
por: Chen, Tianhao, et al.
Publicado: (2024)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
por: Buali, Mahdi, et al.
Publicado: (2024)

GENSR: Symbolic Regression Based in Equation Generative Space
por: Li, Qian, et al.
Publicado: (2026)

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
por: Treumova, Veronika, et al.
Publicado: (2024)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
por: Hong, Hoon, et al.
Publicado: (2024)

Nominal Equational Rewriting and Narrowing
por: Ayala-Rincón, Mauricio, et al.
Publicado: (2025)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
por: Hofstadler, Clemens, et al.
Publicado: (2026)

Improving NLSAT for Nonlinear Real Arithmetic
por: Wang, Zhonghan
Publicado: (2024)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
por: Chen, Shaoshi, et al.
Publicado: (2025)

Symbolic Equation Solving via Reinforcement Learning
por: Dabelow, Lennart, et al.
Publicado: (2024)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
por: Hong, Hoon, et al.
Publicado: (2023)

Unit-Aware Genetic Programming for the Development of Empirical Equations
por: Reuter, Julia, et al.
Publicado: (2024)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
por: Qin, Simin, et al.
Publicado: (2024)

Flip Graphs for Polynomial Multiplication
por: Chen, Shaoshi, et al.
Publicado: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
por: Chen, Shaoshi, et al.
Publicado: (2024)

Creative Telescoping
por: Chen, Shaoshi, et al.
Publicado: (2025)

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming
por: de Vries, Sigur, et al.
Publicado: (2026)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
por: Chen, Shaoshi, et al.
Publicado: (2026)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
por: Chen, Shaoshi, et al.
Publicado: (2025)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
por: Kramer, Boris, et al.
Publicado: (2025)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
por: Nagesh, Chandra Kanth, et al.
Publicado: (2025)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
por: Jiang, Nan, et al.
Publicado: (2024)

Fractal Attractors in Random Nonlinear Iterated Function Systems: Existence, Stability, and Dimensional Properties
por: Bouke, Mohamed Aly
Publicado: (2025)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
por: Huang, Wei-Jia, et al.
Publicado: (2026)

A Syzygial Method for Equidimensional Decomposition
por: Mohr, Rafael
Publicado: (2024)

A note on a paper by Hashemi and Kapur
por: Heisel, Anna Nymann, et al.
Publicado: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
por: Blake, Sam
Publicado: (2026)

A unified approach for degree bound estimates of linear differential operators
por: Gaillard, Louis
Publicado: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
por: Nalbach, Jasper, et al.
Publicado: (2025)

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
por: Dumas, Jean-Guillaume, et al.
Publicado: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
por: Corniquel, Florent
Publicado: (2026)