922 search results - page 99 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
203
click to vote
SODA
2012
ACM
13 years 8 months ago
2012
ACM
Given an integer h, a graph G = (V, E) with arbitrary positive edge capacities and k pairs of vertices (s1, t1), (s2, t2), . . . , (sk, tk), called terminals, an h-route cut is a ...
140
click to vote
ISSAC
1998
Springer
15 years 10 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
168
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
142
click to vote
EUSFLAT
2001
15 years 7 months ago
2001
We characterize T-measures on weakly generated tribes, where T is a strict triangular norm and we give a Liapunoff Theorem for these measures. This generalizes previous results ob...
128
click to vote
APAL
2010
15 years 6 months ago
2010
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize "linear" theories in terms of properties of the correspon...