Sciweavers

3353 search results - page 20 / 671
» Laver and set theory
Sort
View
ISSAC
2007
Springer
142views Mathematics» more  ISSAC 2007»
16 years 6 days ago
Fast arithmetic for triangular sets: from theory to practice
We study arithmetic operations for triangular families of polynomials, concentrating on multiplication in dimension zero. By a suitable extension of fast univariate Euclidean divi...
Xin Li, Marc Moreno Maza, Éric Schost
151
Voted
PREMI
2007
Springer
16 years 5 days ago
Rough Set Theory of Pattern Classification in the Brain
Humans effortlessly classify and recognize complex patterns even if their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual ...
Andrzej W. Przybyszewski
RSKT
2007
Springer
16 years 5 days ago
Using Rough Set Theory to Induce Pavement Maintenance and Rehabilitation Strategy
Jia-Ruey Chang, Ching-Tsung Hung, Gwo-Hshiung Tzen...
TPHOL
2003
IEEE
15 years 11 months ago
Click'n Prove: Interactive Proofs within Set Theory
Jean-Raymond Abrial, Dominique Cansell
ICCS
2003
Springer
15 years 11 months ago
Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations
Michael V. Falaleev, Olga A. Romanova, Nicholas A....