Results 91 to 100 of about 294 (117)
Some of the next articles are maybe not open access.
Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
Mathematical Logic Quarterly, 1987In my thesis [see Bonner Math. Schriften 61 (1973; Zbl 0279.02039)] I have introduced the theory of Very Weak Induction for open formulae VWIO, which differs from WIO (AIO) studied by \textit{J. C. Shepherdson} [Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys.
openaire +2 more sources
The Fine Structure Theory of Nonstandard Models of Peano Arithmetic
This paper delves into the fine structure theory of nonstandard models of Peano Arithmetic (PA). Nonstandard models provide a rich landscape for exploring foundational issues in arithmetic, extending beyond the intuitive standard model of natural numbers.openaire +1 more source
The Arithmetic Optimization Algorithm
Computer Methods in Applied Mechanics and Engineering, 2021Laith Mohammad Abualigah +2 more
exaly
MXene Ti3C2 memristor for neuromorphic behavior and decimal arithmetic operation applications
Nano Energy, 2021Jingsheng Chen, Xiaobing Yan
exaly
A distributed particle-PHD filter using arithmetic-average fusion of Gaussian mixture parameters
Information Fusion, 2021Tian-cheng Li, Franz Hlawatsch
exaly
FIRE6: Feynman Integral REduction with modular arithmetic
Computer Physics Communications, 2020Alexander Smirnov
exaly
An enhanced hybrid arithmetic optimization algorithm for engineering applications
Computer Methods in Applied Mechanics and Engineering, 2022, Guo Wei
exaly
Electronic-photonic arithmetic logic unit for high-speed computing
Nature Communications, 2020Zhoufeng Ying, Chenghao Feng, Zheng Zhao
exaly