Buchumschlag

A Monadic Calculus with Episodic Flows

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Henning, Sotirios
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Symbolic Computation 68W30
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

First steps towards Computational Polynomials in Lean
von: Davenport, James Harold
Veröffentlicht: (2024)

Towards Verified Polynomial Factorisation
von: Davenport, James H.
Veröffentlicht: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
von: Durán, Antonio J., et al.
Veröffentlicht: (2013)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
von: Huang, Bo, et al.
Veröffentlicht: (2024)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024)

Integer multiplication is at least as hard as matrix transposition
von: Harvey, David, et al.
Veröffentlicht: (2025)

A Kronecker algorithm for locally closed sets over a perfect field
von: Giménez, Nardo, et al.
Veröffentlicht: (2025)

Sufficient conditions for the surjectivity of radical curve parametrizations
von: Caravantes, Jorce, et al.
Veröffentlicht: (2023)

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2026)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

An Exact Algorithm for Computing the Structure of Jordan Blocks
von: Tajima, Shinichi, et al.
Veröffentlicht: (2025)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
von: Davenport, James H., et al.
Veröffentlicht: (2023)

Numerically Computing Galois Groups of Minimal Problems
von: Duff, Timothy
Veröffentlicht: (2025)

A zero-test for D-algebraic transseries
von: Chen, Shaoshi, et al.
Veröffentlicht: (2026)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
von: Lyakhov, Dmitry A., et al.
Veröffentlicht: (2024)

On some Exotic Cylindrical Algebraic Decompositions and Cells
von: Michel, Lucas
Veröffentlicht: (2026)

Certifying solutions of degenerate semidefinite programs
von: Kolmogorov, Vladimir, et al.
Veröffentlicht: (2024)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
von: Tajima, Shinichi, et al.
Veröffentlicht: (2022)

On the gradient of the coefficient of the characteristic polynomial
von: Ikenmeyer, Christian
Veröffentlicht: (2025)

On the configurations of four spheres supporting the vertices of a tetrahedron
von: Longinetti, Marco, et al.
Veröffentlicht: (2024)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
von: Shang, Weifeng, et al.
Veröffentlicht: (2025)

Certified Real Eigenvalue Location
von: Solmaz, Baran, et al.
Veröffentlicht: (2026)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
von: Davenport, James H., et al.
Veröffentlicht: (2026)

Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups
von: Anokhin, Mikhail
Veröffentlicht: (2025)

Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression
von: Gupta, Chakshu, et al.
Veröffentlicht: (2026)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
von: Demin, Alexander, et al.
Veröffentlicht: (2025)

Exact Volumes of Semi-Algebraic Convex Bodies
von: Ramesh, Lakshmi, et al.
Veröffentlicht: (2026)

Efficient Symbolic Computation via Hash Consing
von: Zhu, Bowen, et al.
Veröffentlicht: (2025)

An algorithm for annihilator and Bernstein-Sato polynomial of a rational function
von: González-Villa, Manuel, et al.
Veröffentlicht: (2026)

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
von: Xu, Jia, et al.
Veröffentlicht: (2025)

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems
von: Shirato, Yusuke, et al.
Veröffentlicht: (2024)

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
von: Drechsler, Rolf
Veröffentlicht: (2025)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
von: del Río, Tereso, et al.
Veröffentlicht: (2024)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
von: Pickering, Lynn, et al.
Veröffentlicht: (2023)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
von: Ergür, Alperen A., et al.
Veröffentlicht: (2025)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
von: Florescu, Dorian, et al.
Veröffentlicht: (2024)

A new method for reducing algebraic programs to polynomial programs
von: Maaz, Muhammad, et al.
Veröffentlicht: (2025)

An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)

Concatenations of Terms of an Arithmetic Progression
von: Luca, Florian, et al.
Veröffentlicht: (2022)