相关论文: Parametrizing the abstract Ellentuck theorem

The authors propose and analyze a well-posed numerical scheme for a type of ill-posed elliptic Cauchy problem by using a constrained minimization approach combined with the weak Galerkin finite element method. The resulting Euler-Lagrange…

In this note we consider questions about parametrisations of elliptic curves defined over number fields by quotients of the upper half-plane by finite index subgroups of SL_2(Z). We ask if we can choose such a parametrisation of an elliptic…

We use actions by finite cyclic groups to derive generalizations of three classical theorems from elementary number theory.

We introduce and study a family of axioms that closely follows the pattern of parametrized diamonds, studied by Moore, Hru\v{s}\'ak, and D\v{z}amonja in [13]. However, our approach appeals to model theoretic / forcing theoretic notions,…

We use results by Kirilin to show that in general relativity the nonleading terms in the energy-momentum tensor of a particle depends on the parameterization of the gravitational field. While the classical metric that is calculated from…

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…

The aim of this article is to introduce the Kantorovich form of generalized Szasz-type operators involving Charlier polynomials with certain parameters. In this paper we discussed the rate of convergence better error estimates and…

We present two hypermatrix formulations of the Cayley Hamilton theorem. One of the proposed formulation naturally extends to hypermatrices the combinatorial interpretations of the classical Cayley Hamilton theorem. We conclude by discussing…

A precise characterization of the extremal points of sublevel sets of nonsmooth penalties provides both detailed information about minimizers, and optimality conditions in general classes of minimization problems involving them. Moreover,…

We introduce new invariants of the projective plane (and, more generally, of certain toric surfaces) that arise from the appropriate enumeration of real elliptic curves. These invariants admit a refinement (according to the quantum index)…

In terms of the best approximations of functions and generalized moduli of smoothness, direct and inverse approximation theorems are proved for Besicovitch almost periodic functions whose Fourier exponent sequences have a single limit point…

In this paper we consider the problem of configuring partial predicate abstraction that combines two techniques that have been effective in analyzing infinite-state systems: predicate abstraction and fixpoint approximations. A fundamental…

We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in an interactive theorem prover like Coq.

A systematic way of formulating the Batalin-Vilkovisky method of quantization was obtained in terms of the ``odd time'' formulation. We show that in a class of gauge theories it is possible to find an ``odd time lagrangian'' yielding, by a…

We refine metrical statements in the style of the Khintchine-Groshev Theorem by requiring certain coprimality constraints on the coordinates of the integer solutions.

This paper is intended to give a characterization of the optimality case in Nash's inequality, based on methods of nonlinear analysis for elliptic equations and techniques of the calculus of variations. By embedding the problem into a…

The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously…

We develop the General Theory of Relativity in a formalism with extended causality that describes physical interaction through discrete, transversal and localized pointlike fields. The homogeneous field equations are then solved for a…

Generalized trigonometric functions are applied to the Legendre-Jacobi standard form of complete elliptic integrals, and a new form of the generalized complete elliptic integrals of the Borweins is presented. According to the form, it can…

We introduce a new approach to the study of a system of algebraic equations in the algebraic torus whose Newton polytopes have sufficiently general relative positions. Our method is based on the theory of Parshin's residues and tame symbols…