The classical Kharitonov theorem on interval stability cannot be carried over from polynomials to arbitrary entire functions. In this paper we identify a class of entire functions for which the desired generalization of the Kharitonov theorem can be proven. The class is wide enough to include classes quasi-polynomials occurring in the study of retarded systems with time delays, and some classes...

The existence of positive weak solutions is related to spectral information on the corresponding partial differential operator.

Using classroom activities to motivate the teaching and learning of Bayes’ theorem is not new. However, many textbook exercises published simulations gloss over how requisite probabilities are determined. In our case study, Able Construction a fictional company hoping exploit historical bidding data inform its own strategy on municipal construction project. Unlike most other activities, we chal...

The classical Kharitonov theorem on interval stability cannot be carried over from polynomials to arbitrary entire functions. In this paper we identify a class of entire functions for which the desired generalization of the Kharitonov theorem can be proven. The class is wide enough to include quasi-polynomials occurring in the study of retarded systems with time delays. We also derive results f...

Abstract. We consider some aspects of the geometry of surfaces of revolution in three-dimensional Minkowski space. First, we show that Clairaut’s theorem, which gives a well-known characterization of geodesics on a surface of revolution in Euclidean space, has an analogous result in three-dimensional Minkowski space. We then illustrate the significant differences between the two cases which ari...

We give an overview of issues surrounding computerverified theorem proving in the standard pure-mathematical context.

Ever since the days of Euler and Goldbach, number-theorists have been fascinated by additive representations of the integers as sums of primes. The most famous result in this field is I.M. Vinogradov’s three primes theorem [7], which states that every sufficiently large odd integer is the sum of three primes. Over the years, a number of authors have studied variants of the three primes theorem ...