Related papers: A scheme for solving hyperbolic problems with symb…
The 2-body problem on the sphere and hyperbolic space are both real forms of holomorphic Hamiltonian systems defined on the complex sphere. This admits a natural description in terms of biquaternions and allows us to address questions…
A completely algebraic treatment of the six-dimensional hypercoulomb problem is discussed in terms of an oscillator realization of the dynamical algebra of SO(7,2). Closed expressions are derived for the energy spectrum and form factors.
We prove the global classical solvability of initial-boundary problems for semilinear first-order hyperbolic systems subjected to local and nonlocal nonlinear boundary conditions. We also establish lower bounds for the order of nonlinearity…
We construct Markov partitions for non-invertible and/or singular nonuniformly hyperbolic systems defined on higher dimensional Riemannian manifolds. The generality of the setup covers classical examples not treated so far, such as geodesic…
Hyperbolic spaces have proven to be suitable for modeling data of hierarchical nature. As such we use the Poincare ball to embed sentences with the goal of proving how hyperbolic spaces can be used for solving Textual Entailment. To this…
In this note, we discuss and analyse a shortest path finding approach using strong spatial cognition. It is compared with a symbolic graph-based algorithm and it is shown that both approaches are similar with respect to structure and…
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using…
Quasilinear systems with piecewise constant arguments of generalized type are under investigation from the asymptotic point of view. The systems have discontinuous right-hand sides which are identified via a discrete-time map. It is…
Hyperbolic geometry has emerged as a powerful tool for modeling complex, structured data, particularly where hierarchical or tree-like relationships are present. By enabling embeddings with lower distortion, hyperbolic neural networks offer…
We consider a system of two kinetic equations modelling a multicellular system : The first equation governs the dynamics of cells, whereas the second kinetic equation governs the dynamics of the chemoattractant. For this system, we first…
We define and prove the existence of unique solutions of an asymptotic Plateau problem for spacelike maximal surfaces in the pseudo-hyperbolic space of signature (2, n): the boundary data is given by loops on the boundary at infinity of the…
We consider the development of high order space and time numerical methods based on Implicit-Explicit (IMEX) multistep time integrators for hyperbolic systems with relaxation. More specifically, we consider hyperbolic balance laws in which…
In parameter slices of quadratic rational functions, we identify arcs represented by matings of quadratic polynomials. These arcs are on the boundaries of hyperbolic components.
Two effective methods for writing the dynamical equations for non-holonomic systems are illustrated. They are based on the two types of representation of the constraints: by parametric equations or by implicit equations. They can be applied…
A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments, is proposed. First, the derivation of arguments for standard propositional and predicate logic is addressed. Next, an extension that…
Structural proof theory is praised for being a symbolic approach to reasoning and proofs, in which one can define schemas for reasoning steps and manipulate proofs as a mathematical structure. For this to be possible, proof systems must be…
Let $K$ be a field with characteristic different from 2 and let $S$ be a symbol algebra over $K$. We compute the symmetric powers of hyperbolic quadratic forms over $K$. Also, we compute the symmetric powers of the quadratic trace form of…
It was shown recently that the constraints on the initial data for Einstein's equations may be posed as an evolutionary problem [9]. In one of the proposed two methods the constraints can be replaced by a first order symmetrizable…
It is well known, thanks to Lax-Wendroff theorem, that the local conservation of a numerical scheme for a conservative hyperbolic system is a simple and systematic way to guarantee that, if stable, a scheme will provide a sequence of…
Time-periodic weak solutions for a coupled hyperbolic-parabolic system are obtained. A linear heat and wave equation are considered on two respective $d$-dimensional spatial domains that share a common $(d-1)$-dimensional interface…