2086 search results - page 115 / 418 » Mathematical Theory Exploration |
88
Voted
APAL
2008
15 years 3 months ago
2008
We characterize the o-minimal expansions of the ring of real numbers, in mathematically transparent terms. This should help bridge the gap between investigators in ominimality and ...
127
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
99
Voted
IJON
2007
15 years 3 months ago
2007
This paper presents a computational theory of developmental mental architectures for artificial and natural systems, motivated by neuroscience. The work is an attempt to approxim...
107
click to vote
AMC
2005
15 years 3 months ago
2005
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...
127
click to vote
SIAMAM
2000
15 years 3 months ago
2000
Abstract. A hydrodynamical model based on the theory of extended thermodynamics is presented for carrier transport in semiconductors. Closure relations for fluxes are obtained by e...