English
Related papers

Related papers: Some cut-generating functions for second-order con…

200 papers

The purpose of this paper has twofold. The first is to establish a second main theorem with truncated counting functions for algebraically nondegenerate meromorphic mappings into an arbitrary projective variety intersecting a family of…

Complex Variables · Mathematics 2019-02-27 Si Duc Quang

An extension of sinc interpolation on $\mathbb{R}$ to the class of algebraically decaying functions is developed in the paper. Similarly to the classical sinc interpolation we establish two types of error estimates. First covers a wider…

Numerical Analysis · Mathematics 2018-09-27 Dmytro Sytnyk

We give an effective procedure that produces a natural number in its output from any natural number in its input, that is, it computes a total function. The elementary operations of the procedure are Turing-computable. The procedure has a…

Artificial Intelligence · Computer Science 2013-02-06 Kurt Ammon

D. S. Hong and P. Pongsriiam have provided a necessary and sufficient condition for the generating function for Fibonacci numbers (resp. the Lucas numbers) to be an integer value, for rational numbers. In other words, their results relate…

Number Theory · Mathematics 2019-09-16 Yuji Tsuno

Algorithms are proposed for the computation of set-valued quantiles and the values of the lower cone distribution function for bivariate data sets. These new objects make data analysis possible involving an order relation for the data…

Statistics Theory · Mathematics 2021-01-22 Andreas H Hamel , Daniel Kostner

First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this paper, we argue that the capabilities of FOMC algorithms to date are limited by their…

Logic in Computer Science · Computer Science 2023-06-08 Paulius Dilkas , Vaishak Belle

It is shown that if A generates a bounded cosine operator function on a UMD space X, then i(-A)^{1/2} generates a bounded C_0-group. The proof uses a transference principle for cosine functions.

Functional Analysis · Mathematics 2007-09-19 Markus Haase

Consider all possible ways of attaching disjoint chords to two ordered and oriented disjoint intervals so as to produce a connected graph. Taking the intervals to lie in the real axis with the induced orientation and the chords to lie in…

Combinatorics · Mathematics 2010-10-29 Jørgen E. Andersen , Robert C. Penner , Christian M. Reidys , Rita R. Wang

In this paper we consider a problem of searching a space of predictive models for a given training data set. We propose an iterative procedure for deriving a sequence of improving models and a corresponding sequence of sets of non-linear…

Machine Learning · Computer Science 2014-02-18 Michael Tetelman

This paper presents an alternate choice of computing the convex hulls (CHs) for planar point sets. We firstly discard the interior points and then sort the remaining vertices by x- / y- coordinates separately, and later create a group…

Computational Geometry · Computer Science 2013-09-02 Gang Mei , John C. Tipper , Nengxiong Xu

We derive the algebraic generating function for inversion sequences avoiding the patterns $201$ and $210$ by describing a set of succession rules, converting them to a system of generating function equations with one catalytic variable, and…

Combinatorics · Mathematics 2024-04-29 Jay Pantone

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. However, it has a worst case complexity doubly exponential in…

Symbolic Computation · Computer Science 2019-11-25 Zongyan Huang , Matthew England , David Wilson , James H. Davenport , Lawrence C. Paulson

In a recent article a generalization of the binomial distribution associated with a sequence of positive numbers was examined. The analysis of the nonnegativeness of the formal expressions was a key-point to allow to give them a statistical…

Mathematical Physics · Physics 2015-06-04 H. Bergeron , E. M. F. Curado , J. P. Gazeau , Ligia M. C. S. Rodrigues

This paper presents a new column-and-constraint generation method for two-stage robust mixed-integer programs with finite uncertainty sets. Our method combines and extends speed-up techniques used in previous column-and-constraint…

Optimization and Control · Mathematics 2025-11-04 Marc Goerigk , Dorothee Henke , Johannes Kager , Fabian Schäfer , Clemens Thielen

We consider two non-linear generalizations of fractal interpolating functions generated from iterated function systems. The first corresponds to fitting data using a Kth-order polynomial, while the second relates to the freedom of adding…

Chaotic Dynamics · Physics 2007-05-23 R. Kobes , H. Letkeman

Folding subgroups give a way to realize non-simply-laced Coxeter groups as subgroups of simply-laced Coxeter groups. In this paper, we study how folding subgroups of finite and affine type are distributed length-wise by calculating the…

Combinatorics · Mathematics 2026-05-13 Camilo Augusto Villamil Chalarca , Edward Richmond

In this paper we propose a new approach to the central limit theorem (CLT), based on functions of bounded F\'echet variation for the continuously differentiable linear statistics of random matrix ensembles which relies on: a weaker form of…

Probability · Mathematics 2022-01-12 Mario Diaz , James A. Mingo

To distinguish the contributions to the generalized Hurwitz number of the source Riemann surface with different genus, we define the genus expanded cut-and-join operators by observing carefully the symplectic surgery and the gluing formulas…

Symplectic Geometry · Mathematics 2022-11-22 Quan Zheng

Real-world applications of computational fluid dynamics often involve the evaluation of quantities of interest for several distinct geometries that define the computational domain or are embedded inside it. For example, design optimization…

Numerical Analysis · Mathematics 2023-08-08 Guglielmo Padula , Francesco Romor , Giovanni Stabile , Gianluigi Rozza

Let $\cT$ be a monadic-second order class of finite trees, and let $\bT(x)$ be its (ordinary) generating function, with radius of convergence $\rho$. If $\rho \ge 1$ then $\cT$ has an explicit specification (without using recursion) in…

Logic · Mathematics 2010-04-08 Jason Bell , Stanley Burris , Karen Yeats