相关论文: A remark on higher order RUE-resolution with EXTRU…

In [2] the author claims to provide a counterexample to a result in a recent paper [1]. In this note, we prove that the details of his example is false and this example is compatible with our result in [1] and so is not a countreexample.

We give different proofs and prove new results on the non complete solvability of some systems of complex first order p.d.e.'s, especially related to the analysis on CR manifolds.

We present a counterexample related to relative uniform convergence, showing that, in general, the relatve uniform completion of the principal ideal of a vector lattice E generated by an element x is stricly contained in the ideal generated…

In this paper we present an explicit counterexample of degree $n=7$, which shows that the conjecture proposed by Li et al. \cite{Li2013} regarding the first derivative bounds for rational B\'ezier curves is generally false. We further…

This is an elementary expository article regarding the application of Kleene's Recursion Theorems in making definitions by recursion. Whereas the Second Recursion Theorem (SRT) is applicable in a first-order setting, the First Recursion…

Resolution modulo is a first-order theorem proving method that can be applied both to first-order presentations of simple type theory (also called higher-order logic) and to set theory. When it is applied to some first-order presentations…

We present all order results for the heavy top corrections to the \rho parameter in the complex mass scheme. We derive translation formulas between the complex mass and the on-shell scheme and show that they are ultimately equivalent. We…

The well known string solution to Bethe ansatz equations is shown to be inconsistent in its widely accepted form. A valid refinement demanding higher order corrections in subsequent roots is identified. A new alternative string solution is…

We first highlight the main differences between second order and higher order linear parabolic equations. Then we survey existing results for the latter, in particular by analyzing the behavior of the convolution kernels. We illustrate the…

We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a…

In preparing the paper "Some extensions of Hilbert-Kunz multiplicity", we had occasion to perform an intricate set of computations pertaining to a single illustrative example. In the end, we have decided not to include the computations in…

We study first-order expansions of the reals which do not define the set of natural numbers. We also show that several stronger notions of tameness are equivalent to each others.

We provide separations between the parameterized versions of Res(1) (Resolution) and Res(2). Using a different set of parameterized contradictions, we also separate the parameterized versions of Res*(1) (tree-Resolution) and Res*(2).

We consider rational varieties with a torus action of complexity one and extend the combinatorial approach via the Cox ring developed for the complete case in earlier work to the non-complete, e.g. affine, case. This includes in particular…

We present the results of the computation of a twisting type N solution to vacuum Einstein equations following an iterative approach. Our results show that the higher order terms fail to provide a full exact solution with non-vanishing…

In recent years, the success of deep learning has inspired many researchers to study the optimization of general smooth non-convex functions. However, recent works have established pessimistic worst-case complexities for this class…

Bachmair's and Ganzinger's abstract redundancy concept for the Superposition Calculus justifies almost all operations that are used in superposition provers to delete or simplify clauses, and thus to keep the clause set manageable. Typical…

Pulman has shown that Higher--Order Unification (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification--based approach to cases which are often seen as a test--bed for focus theory: utterances with…

Using a regularization with the properties of dimensional regularization, higher order local consistency conditions on one loop anomalies and divergent counterterms are given. They are derived without any a priori assumption on the form of…

We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.