Results 211 to 220 of about 82,468 (248)
Bayesian inference of introgression between sister lineages using genomic data
Yang Z, Jiao X, Cheng S, Zhu T.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Automated Reasoning, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gamboa, Ruben A., Kaufmann, Matt
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gamboa, Ruben A., Kaufmann, Matt
openaire +1 more source
Nonstandard Analysis, Axiomatically
20041 Getting started.- 2 Elementary real analysis in the nonstandard universe.- 3 Theories of internal sets.- 4 Metamathematics of internal theories.- 5 Definable external sets and metamathematics of HST.- 6 Partially saturated universes and the Power Set problem.- 7 Forcing extensions of the nonstandard universe.- 8 Other nonstandard theories.- 9 ...
Vladimir Kanovei, Michael Reeken
openaire +1 more source
Singular Traces and Nonstandard Analysis
1995We discuss non trivial singular traces on the compact operators, extending some results by Dixmier and Varga. We also give an explicit description of these traces and associated ergodic states using tools of non standard analysis.
Albeverio, S +3 more
openaire +2 more sources
2018
Nonstandard analysis is an important application of mathematical logic to the rest of mathematics. Invented in 1960, it provided a long-sought-for rigorous justification for the use of infinitely large and infinitely small (infinitesimal) quantities in the differential and integral calculus, and the first sound canon for manipulating such quantities.
openaire +1 more source
Nonstandard analysis is an important application of mathematical logic to the rest of mathematics. Invented in 1960, it provided a long-sought-for rigorous justification for the use of infinitely large and infinitely small (infinitesimal) quantities in the differential and integral calculus, and the first sound canon for manipulating such quantities.
openaire +1 more source
Developments in Constructive Nonstandard Analysis
Bulletin of Symbolic Logic, 1998AbstractWe develop a constructive version of nonstandard analysis, extending Bishop's constructive analysis with infinitesimal methods. A full transfer principle and a strong idealisation principle are obtained by using a sheaf-theoretic construction due to I. Moerdijk.
openaire +2 more sources