Related papers: Higher-dimensional Delta-systems
We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting systems that takes type information into account. Specifically, base-type terms are mapped to \emph{tuples} of natural numbers and higher-order…
We extend recent work by Tremblay, Turbiner, and Winternitz which analyzes an infinite family of solvable and integrable quantum systems in the plane, indexed by the positive parameter k. Key components of their analysis were to demonstrate…
We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff they are equal as sets. Moreover, every program has a unique…
We look for solutions of $(-\Delta)^s u+f(u) = 0$ in a bounded smooth domain $\Omega$, $s\in(0,1)$, with a strong singularity at the boundary. In particular, we are interested in solutions which are $L^1(\Omega)$ and higher order with…
In this paper, we introduce principally $\delta$-lifting modules which are analogous to $\delta$-lifting modules and principally $\delta$-semiperfect modules as a generalization of $\delta$-semiperfect modules and investigate their…
Symmetry groups allow to transform solutions of differential equations continuously into other solutions. This property can be used for the observability analysis of infinite-dimensional systems with input and output. In this contribution,…
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem proving. Our main motivation is to provide the foundation for our…
In this article, we study the behaviour of discrete one-dimensional dynamical systems associated to functions on finite sets. We formalise the global orbit pattern formed by all the periodic orbits (gop) as the ordered set of periods when…
Given an approximation to a multiple isolated solution of a polynomial system of equations, we have provided a symbolic-numeric deflation algorithm to restore the quadratic convergence of Newton's method. Using first-order derivatives of…
We study the problem of computing the \textsc{Maxima} of a set of $n$ $d$-dimensional points. For dimensions 2 and 3, there are algorithms to solve the problem with order-oblivious instance-optimal running time. However, in higher…
Complex structures can only form in a universe that allows for bound states. While this is clearly observed in three-dimensions, added degrees of freedom in a higher-dimensional space preclude the immediate assumption that binding…
We prove the Euler-Lagrange delta-differential equations for problems of the calculus of variations on arbitrary time scales with delta-integral functionals depending on higher-order delta derivatives.
We give a construction of homotopy algebras based on ``higher derived brackets''. More precisely, the data include a Lie superalgebra with a projector on an Abelian subalgebra satisfying a certain axiom, and an odd element $\Delta$. Given…
Algorithms for bilevel optimization often encounter Hessian computations, which are prohibitive in high dimensions. While recent works offer first-order methods for unconstrained bilevel problems, the constrained setting remains relatively…
We discuss the problem of optimizing the distance function from a given point, subject to polynomial constraints. A key algebraic invariant that governs its complexity is the Euclidean distance degree, which pertains to first-order…
Infinite-dimensional differential algebraic equations (short DAEs) with input and output are studied. The concepts of operator nodes and system nodes are extended to systems which additionally may include algebraic constraints.…
We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered. For left-linear…
A superintegrable system is, roughly speaking, a system that allows more integrals of motion than degrees of freedom. This review is devoted to finite dimensional classical and quantum superintegrable systems with scalar potentials and…
Lattices are a commonly used structure for the representation and analysis of relational and ontological knowledge. In particular, the analysis of these requires a decomposition of a large and high-dimensional lattice into a set of…
Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We…