922 search results - page 43 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
123
click to vote
JUCS
2010
15 years 12 days ago
2010
: Given a multiple power sum (extending polynomial’s exponents to real numbers), the positive root isolation problem is to find a list of disjoint intervals, satisfying that the...
126
click to vote
TCS
2010
15 years 10 days ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
146
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
122
click to vote
GECCO
2000
Springer
15 years 5 months ago
2000
Springer
We generalize Holland's Schema Theorem to the setting that genes are arranged, not necessarily in a linear sequence, but as the nodes in a connected graph. We have experiment...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
11 A classical theorem by Ritt states that all the complete decomposition chains of a univariate polynomial satisfying a certain tameness condition have the same length. In this p...