Results 211 to 220 of about 26,351 (260)

A Prenatal Ultrasound Study of Cerebral Cortical Sulci and Gyri Development in Fetuses With Overgrowth Syndrome and/or Cerebral Malformations due to Abnormalities in MTOR Pathway Genes. [PDF]

Mol Genet Genomic Med
Wang H, Li S, Zhen Q, Wen H, Liu B, Chen L, Liu Y, Luo C, Wu X.   +8 more
europepmc   +1 more source

Dietary Diversity and Sleep Quality Among Medical Students: Clarifying the Reported Data and Analysis

Health Science Reports, Volume 9, Issue 8, August 2026.
Muhammad Murtaza, Muhammad Mujtaba Rasool, Ali Jan Yaqubi, Ahmed Asad Raza   +3 more
wiley   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Nonstandard Analysis in ACL2

Journal of Automated Reasoning, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ruben Gamboa, Matt Kaufmann
openaire   +1 more source

On the strength of nonstandard analysis

The Journal of Symbolic Logic, 1986
It is often asserted in the literature that any theorem which can be proved using nonstandard analysis can also be proved without it. The purpose of this paper is to show that this assertion is wrong, and in fact there are theorems which can be proved with nonstandard analysis but cannot be proved without it.
C. Ward Henson, H. Jerome Keisler
openaire   +1 more source

What Is Nonstandard Analysis?

The American Mathematical Monthly, 1973
[no abstract]
openaire   +2 more sources

Developments in Constructive Nonstandard Analysis

Bulletin of Symbolic Logic, 1998
AbstractWe 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

Standard foundations for nonstandard analysis

Journal of Symbolic Logic, 1992
In the thirty years since its invention by Abraham Robinson, nonstandard analysis has become a useful tool for research in many areas of mathematics. It seems fair to say, however, that the search for practically satisfactory foundations for the subject is not yet completed.
David Ballard, Karel Hrbacek
openaire   +1 more source

Nonstandard analysis of global attractors

Mathematical Logic Quarterly, 2015
Key concepts of the theory of abstract dynamical systems are formulated in the language of nonstandard analysis (NSA). We are then able to provide simple and intuitive proofs of the basic facts. In particular, we use the NSA to give an alternative proof of the characterization of global attractors due to Ball. We also address the issue of connectedness.
Dalibor Prazák, Jakub Slavík
openaire   +1 more source

Analysis, nonstandard

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