Related papers: Blowing up Stringy Canonical Forms: An Algorithm t…
Subtraction games is a class of combinatorial games. It was solved since the Sprague-Grundy Theory was put forward. This paper described a new algorithm for subtraction games. The new algorithm can find win or lost positions in subtraction…
In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of…
We introduce homing vector automata, which are finite automata augmented by a vector that is multiplied at each step by a matrix determined by the current transition, and have to return the vector to its original setting in order to accept…
We provide explicit criteria for blow-up solutions of autonomous ordinary differential equations. Ideas are based on the quasi-homogeneous desingularization (blowing-up) of singularities and compactifications of phase spaces, which suitably…
Using mechanised reasoning we prove that combinatorial Vickrey auctions are soundly specified in that they associate a unique outcome (allocation and transfers) to any valid input (bids). Having done so, we auto-generate verified executable…
We introduce a novel method for bounding high-order multi-dimensional polynomials in finite element approximations. The method involves precomputing optimal piecewise-linear bounding boxes for polynomial basis functions, which can then be…
We build blowing-up solutions for a supercritical perturbation of the Yamabe problem on manifolds with boundary, provided the dimension of the manifold is n>6 and the trace-free part of the second fundamental form is non-zero everywhere on…
Stemming is the process of reducing related words to a standard form by removing affixes from them. Existing algorithms vary with respect to their complexity, configurability, handling of unknown words, and ability to avoid under- and…
Linearly implicit Runge-Kutta methods with approximate matrix factorization can solve efficiently large systems of differential equations that have a stiff linear part, e.g. reaction-diffusion systems. However, the use of approximate…
Mathematics has been used in the exploration and enumeration of juggling patterns. In the case when we catch and throw one ball at a time the number of possible juggling patterns is well-known. When we are allowed to catch and throw any…
We introduce an algebraic methodology for designing exactly-solvable Lie model Hamiltonians. The idea consists in looking at the algebra generated by bond operators. We illustrate how this method can be applied to solve numerous problems of…
We compute the Fukaya category of the symplectic blowup of a compact rational symplectic manifold at a point in the following sense: Suppose a collection of Lagrangian branes satisfy Abouzaid's criterion for split-generation of a…
For the critical focusing wave equation \Box u = u^5 on R^{3+1} in the radial case, we prove the existence of type II blow up solutions with scaling parameter \lambda(t) = t^{-1-\nu} for all \nu >0. This extends the previous work by the…
The harmonic map heat flow is a geometric flow well known to produce solutions whose gradient blows up in finite time. A popular model for investigating the blow-up is the heat flow for maps $\mathbb R^{d}\to S^{d}$, restricted to…
Several new methods of numerical integration of Cauchy problems with blow-up solutions for nonlinear ordinary differential equations of the first- and second-order are described. Solutions of such problems have singularities whose positions…
In this paper, we develop a high order numerical method for the numerical solutions of scattering problems with slightly perturbed periodic surfaces in two dimensional spaces. Based on the regularity property introduced in Part I, the…
We propose fast and practical quantum-inspired classical algorithms for solving linear systems. Specifically, given sampling and query access to a matrix $A\in\mathbb{R}^{m\times n}$ and a vector $b\in\mathbb{R}^m$, we propose classical…
In this paper we apply Shokurov's inductive method to study terminal and canonical singularities. As an easy consequence of the Minimal Model Program we show that for any three-dimensional log terminal singularity there exists some special,…
We present an index theory of equilibria for extensive form games. This requires developing an index theory for games where the strategy sets of players are general polytopes and their payoff functions are multiaffine in the product of…
The goal of this paper is the exact computation of the degrees $\text{deg}(f^n)$ of the iterates of birational maps $f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N$. In the preceding companion paper, a new method has been proposed based on…