Results 241 to 250 of about 1,839 (290)
Some of the next articles are maybe not open access.
1984
The goal of this section is the construction, by means of sums and products of simpler functions, of holomorphic functions with prescribed behavior. In what follows, when we speak of a sequence of complex numbers we ordinarily mean a sequence with multiplicity, so that a function taking some value at a point of the sequence must take that value with ...
D. H. Luecking, L. A. Rubel
openaire +1 more source
The goal of this section is the construction, by means of sums and products of simpler functions, of holomorphic functions with prescribed behavior. In what follows, when we speak of a sequence of complex numbers we ordinarily mean a sequence with multiplicity, so that a function taking some value at a point of the sequence must take that value with ...
D. H. Luecking, L. A. Rubel
openaire +1 more source
1985
This chapter will describe the approach to formal systems for constructive mathematics initiated by Martin-Lof. Of the various systems described in this book, these systems have so far been the most used by computer scientists interested in actual implementation; this will be discussed briefly at the end of the chapter.
openaire +1 more source
This chapter will describe the approach to formal systems for constructive mathematics initiated by Martin-Lof. Of the various systems described in this book, these systems have so far been the most used by computer scientists interested in actual implementation; this will be discussed briefly at the end of the chapter.
openaire +1 more source
1998
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
Sociological Theory Construction.
Contemporary Sociology, 1974Joseph W. Schneider +2 more
openaire +1 more source
Nuclear effective field theory: Status and perspectives
Reviews of Modern Physics, 2020Hans-Werner Hammer +2 more
exaly
A new era of cancer immunotherapy: converting theory to performance
Ca-A Cancer Journal for Clinicians, 1999Steven A Rosenberg
exaly