Related papers: Bases of Solutions for Linear Congruences

Additional remarks and questions for transseries. In particular: properties of composition for transseries; the recursive nature of the construction of R[[[ x ]]]; modes of convergence for transseries. There are, at this stage, questions…

We discuss solutions of several questions concerning the geometry of conformal planes.

Linearizability has become the key correctness criterion for concurrent data structures, ensuring that histories of the concurrent object under consideration are consistent, where consistency is judged with respect to a sequential history…

We describe partial semi-simplicial resolutions of moduli spaces of surfaces with tangential structure. This allows us to prove a homological stability theorem for these moduli spaces, which often improves the known stability ranges and…

In this paper, we continue the study of linear sets with complementary weights. We find criteria to determine the set of points of any fixed weight and use this to present particular linear sets with few points of weight more than one. We…

Equations which define classical configurations of strings in $R^3$ are presented in a simple form. General properties as well as particular classes of solutions of these equations are considered.

We prove some general results on the existence and uniqueness of solutions to the Liouville equation. Then, we discuss the sharpness and possible generalizations. Finally, we give several applications, arising in both mathematics and…

In this paper we study about the existence of solutions of certain kind of non-linear differential and differential-difference equations. We give partial answer to a problem which was asked by chen et al. in [13].

We present a subdivision method to solve systems of congruence equations. This method is inspired in a subdivision method, based on Bernstein forms, to solve systems of polynomial inequalities in several variables and arbitrary degrees. The…

In this work we shall review some of our recent results concerning unique continuation properties of solutions of Schr\"odinger equations. In this equations we include linear ones with a time depending potential and semi-linear ones.

We investigate several boundedness properties of function spaces considered as uniform spaces.

In this paper, we propose a class of linear codes and obtain their weight distribution. Some of these codes are almost optimal. Moreover, several classes of constant composition codes(CCCs) are constructed as subcodes of linear codes.

In this paper we study properties of regular solutions of matrix Riccati equations. The obtained results are used to study the asymptotic behavior of solutions of linear systems of ordinary differential equations.

In this short note we discuss ordinary differential equations which linearize upon one (or more) differentiations. Although the subject is fairly elementary, equations of this type arise naturally in the context of integrable systems.

We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…

We present the elementary properties of log canonical centers of log varieties.

We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations.

There is no general existence theorem for solutions for nonlinear difference equations, so we must prove the existence of solutions in accordance with models one by one. In our work, we found theorems for the existence of analytic solutions…

We give a specific method to solve with quadratic complexity the linear systems arising in known algorithms to deal with the sign determination problem. In particular, this enable us to improve the complexity bound for sign determination in…

In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.