Consider a polar space S weakly embedded in a projective space P. A secant of S is the intersection of the point set of S with a line of P spanned by two non-collinear points of S...
Given a metric d on a permutation group G, the corresponding weight problem is to decide whether there exists an element g ∈ G such that d(g, e) = k for some k ∈ N. In this pa...
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
This paper is a survey of location-routing: a relatively new branch of locational analysis that takes into account vehicle routing aspects. We propose a classification scheme and...
Abstract – In this paper two new concepts are introduced: the similarity and the (∗,δ)-equality of fuzzy choice functions. We investigate the manner the similarity and (∗,δ...