Related papers: On Solving String Equations via Powers and Parikh …
Solving symbolic reasoning problems that require compositionality and systematicity is considered one of the key ingredients of human intelligence. However, symbolic reasoning is still a great challenge for deep learning models, which often…
This paper presents segmentation-free strategies for the recognition of handwritten numeral strings of unknown length. A synthetic dataset of touching numeral strings of sizes 2-, 3- and 4-digits was created to train end-to-end solutions…
In the graphical calculus of planar string diagrams, equality is generated by exchange moves, which swap the heights of adjacent vertices. We show that left- and right-handed exchanges each give strongly normalizing rewrite strategies for…
In this paper, we present an algorithm for the solution of the von Karman equations of elasticity theory and related problems. Our method of successive reconditioning is able to avoid convergence problems at any ratio of the nonlinear…
Sentence splitting is a major simplification operator. Here we present a simple and efficient splitting algorithm based on an automatic semantic parser. After splitting, the text is amenable for further fine-tuned simplification operations.…
{\bf Exact} solutions of the string equations of motion and constraints are {\bf systematically} constructed in de Sitter spacetime using the dressing method of soliton theory. The string dynamics in de Sitter spacetime is integrable due to…
We present a simple algorithm to obtain solutions that generalize the Israel--Wilson--Perj\'es class for the low-energy limit of heterotic string theory toroidally compactified from D=d+3 to three dimensions. A remarkable map existing…
We present a new numerical scheme to treat the non-linear evolution of cosmological power spectra. Governing equations for matter power spectra have been previously derived by a non-perturbative technique with closure approximation.…
Segmented strings in flat space are piecewise linear classical string solutions. Kinks between the segments move with the speed of light and their worldlines form a lattice on the worldsheet. This idea can be generalized to AdS$_3$ where…
We argue that string theory should have a formulation for which stability and causality are evident. Rather than regard strings as fundamental objects, we suggest they should be regarded as composite systems of more fundamental point-like…
We study the problem of recovering a collection of $n$ numbers from the evaluation of $m$ power sums. This yields a system of polynomial equations, which can be underconstrained ($m < n$), square ($m = n$), or overconstrained ($m > n$).…
We find exact solutions of the string equations of motion and constraints describing the {\em classical}\ splitting of a string into two. We show that for the same Cauchy data, the strings that split have {\bf smaller} action than the…
We study the system of equations of motion for inextensible strings. This system possesses many internal symmetries, and is related to discontinuous systems of conservation laws and the total variation wave equation. We prove existence of…
A zero-finding technique for solving nonlinear equations more efficiently than they usually are with traditional iterative methods in which the order of convergence is improved is presented. The key idea in deriving this procedure is to…
This paper proposes a Transformer-based model to generate equations for math word problems. It achieves much better results than RNN models when copy and align mechanisms are not used, and can outperform complex copy and align RNN models.…
We find the comlete solution to ten-dimensional supergravity coupled to a three-form field strength, given the ``standard ansatz" for the fields, and show that in addition to the well-known elementary and solitonic (heterotic) string…
Harmonic sums and their generalizations are extremely useful in the evaluation of higher-order perturbative corrections in quantum field theory. Of particular interest have been the so-called nested sums,where the harmonic sums and their…
We give efficient algorithms for finding power-sum decomposition of an input polynomial $P(x)= \sum_{i\leq m} p_i(x)^d$ with component $p_i$s. The case of linear $p_i$s is equivalent to the well-studied tensor decomposition problem while…
In [7], a new iterative method for solving linear system of equations was presented which can be considered as a modification of the Gauss-Seidel method. Then in [4] a different approach, say 2D-DSPM, and more effective one was introduced.…
We present a novel length-aware solving algorithm for the quantifier-free first-order theory over regex membership predicate and linear arithmetic over string length. We implement and evaluate this algorithm and related heuristics in the Z3…