265 search results - page 1 / 53 » Little Theories |
CADE
1992
Springer
13 years 8 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
AAAI
1998
13 years 6 months ago
1998
Weadvance a knowledge-based learning method that augments conventional generalization to permit concept acquisition in failure domains. These are domains in whichlearning must pro...
CADE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
MSCS
2007
13 years 4 months ago
2007
Perturbation theory has always been an important part of natural sciences. From celestial mechanics to quantum theory of fields it has always played a central role that this litt...