NSTL国家科技图书文献中心

1. Groups definable in Presburger arithmetic NSTL国家科技图书文献中心

Acosta, Juan Pablo - 《Annals of Pure and Applied Logic》 - 2025,176(1) - 共17页

摘要： definable in Presburger arithmetic* up to a finite index* | Here we give a complete list of the groups | subgroup. (c) 2024 The Author(s). Published by Elsevier | B.V. This is an open access article under the CC BY | license (http://creativecommons .org /licenses /by /4 .0/).

关键词： Groups | Presburger arithmetic | Model theory | Definability

2. Study on geometric-arithmetic, arithmetic-geometric and Randić indices of graphs NSTL国家科技图书文献中心

Das, Kinkar Chandra | Huh, Da-yeon ... - 《Discrete Applied Mathematics》 - 2025,360 - 229～245 - 共17页

摘要：-arithmetic* index (GA), GA ), and the arithmetic-geometric* | Topological indices are mathematical | descriptors used in the field of chemistry to characterize | the topological structure of chemical compounds. The | Randi & cacute; index (R), R ), the geometric

关键词： Topological index | Extremal graph | Randi & cacute; index | Geometric-arithmetic index | Arithmetic-geometric index

3. A comprehensive study of quantum arithmetic circuits NSTL国家科技图书文献中心

Wang, Siyi | Li, Xiufan ... - 《Philosophical transactions of the Royal Society.Mathematical, physical, and engineering sciences》 - 2025,383(2288) - 共37页

摘要： illustration. Quantum arithmetic* circuits, which are the* | quantum arithmetic* circuits. Specifically, this study* | potential applications of the presented arithmetic | In recent decades, the field of quantum | computing has experienced remarkable progress. This

关键词： quantum computing | quantum arithmetic | efficiency optimization | quantum simulation | quantum hardware

4. Twisted conjugacy in soluble arithmetic groups NSTL国家科技图书文献中心

de Araujo, Paula M. ... | Rego, Yuri Santos - 《Mathematische Nachrichten》 - 2025,298(3) - 763～793 - 共31页

摘要：, and Wong, showing hat many soluble S-arithmetic | Reidemeister numbers of group automorphisms | encode the number of twisted conjugacy classes of | groups and might yield information about self-maps of | spaces related to the given objects. Here, we address a

关键词： fixed points | Nielsen number | property R-infinity | solvmanifolds | s-arithmetic groups | twisted conjugacy | property R∞$R_infty$ | s$s$‐arithmetic groups

5. Peano arithmetic, games and descent recursion NSTL国家科技图书文献中心

Frittaion, Emanuele - 《Annals of Pure and Applied Logic》 - 2025,176(4) - 共27页

摘要： interpretation of Peano Arithmetic* [6] through the lens of* | We analyze Coquand's game-theoretic | elementary descent recursion [8]. In Coquand's game | semantics, winning strategies correspond to infinitary cut | -free proofs and cut elimination corresponds to

关键词： Peano arithmetic | Coquand's game semantics | Elementary descent recursion | Cut elimination

6. Sampling of Large Probabilistic Graphical Models Using Arithmetic Circuits NSTL国家科技图书文献中心

Sandeep Suresh | Barry Drake - 《AI 2024: Advances in Artificial Intelligence,Part II》 - Australasian Joint Conference on Artificial Intelligence - 2025, - 174～187 - 共14页

摘要： an arithmetic* circuit. The methods are a form of* | be efficiently calculated using the arithmetic | Motivated by the need to generate high-quality | synthetic data, we sought to develop efficient methods for | drawing large numbers of independent samples from

关键词： Probabilistic model | Arithmetic circuit | Sampling

7. Heights and quantitative arithmetic on stacky curves NSTL国家科技图书文献中心

Nasserden, Brett | Xiao, Stanley Yao - 《Canadian Journal of Mathematics》 - 2025,77(2) - 481～534 - 共54页

摘要：In this paper, we investigate the theory of | heights in a family of stacky curves following recent | work of Ellenberg, Satriano, and Zureick-Brown. We | first give an elementary construction of a height | which is seen to be dual to theirs. We count rational

关键词： Arithmetic geometry | algebraic stacks | heights

8. Intuitionistic sets and numbers: small set theory and Heyting arithmetic NSTL国家科技图书文献中心

Shapiro, Stewart | Mccarty, Charles ... - 《Archive for Mathematical Logic》 - 2025,64(1/2) - 79～105 - 共27页

摘要： arithmetic is, in some strong sense, "equivalent" to the | definitionally equivalent to Heyting Arithmetic* HA, in a sense* | It has long been known that (classical) Peano | variant of (classical) Zermelo-Fraenkel set theory | (including choice) in which the axiom of infinity is

关键词： Small set theory | Heyting arithmetic | Definitional equivalence | Set realizability

9. Numeral completeness of weak theories of arithmetic NSTL国家科技图书文献中心

REINHARD KAHLE | ISABEL OITAVEM ... - 《Journal of logic and computation》 - 2025,35(1) - 172～193 - 共22页

摘要：We study numeral forms of completeness and | consistency for S_2~1 and other weak theories, like EA. This | gives rise to an exploration of the derivability | conditions needed to establish the mentioned results; a | presentation of a weak form of Gödels Second Incompleteness

关键词： Metamathematics | numeral completeness | weak theory of arithmetic

10. Binary sequences with ideal and small arithmetic correlations NSTL国家科技图书文献中心

Zhiru Chen | Vladimir Edemskiy ... - 《Cryptography and communications》 - 2025,17(2) - 453～464 - 共12页

摘要：Arithmetic cross/auto-correlation, which is | arithmetic correlations of nontrivial shifts are as small | as possible. Sequences have ideal arithmetic | correlations if their arithmetic* correlations of nontrivial* | contributions on the arithmetic* cross/auto-correlations of two*

摘要： definable in Presburger arithmetic* up to a finite index* | Here we give a complete list of the groups | subgroup. (c) 2024 The Author(s). Published by Elsevier | B.V. This is an open access article under the CC BY | license (http://creativecommons .org /licenses /by /4 .0/).

关键词： Groups | Presburger arithmetic | Model theory | Definability

摘要：-arithmetic* index (GA), GA ), and the arithmetic-geometric* | Topological indices are mathematical | descriptors used in the field of chemistry to characterize | the topological structure of chemical compounds. The | Randi & cacute; index (R), R ), the geometric

关键词： Topological index | Extremal graph | Randi & cacute; index | Geometric-arithmetic index | Arithmetic-geometric index

摘要： illustration. Quantum arithmetic* circuits, which are the* | quantum arithmetic* circuits. Specifically, this study* | potential applications of the presented arithmetic | In recent decades, the field of quantum | computing has experienced remarkable progress. This

关键词： quantum computing | quantum arithmetic | efficiency optimization | quantum simulation | quantum hardware

摘要：, and Wong, showing hat many soluble S-arithmetic | Reidemeister numbers of group automorphisms | encode the number of twisted conjugacy classes of | groups and might yield information about self-maps of | spaces related to the given objects. Here, we address a

关键词： fixed points | Nielsen number | property R-infinity | solvmanifolds | s-arithmetic groups | twisted conjugacy | property R∞$R_infty$ | s$s$‐arithmetic groups

摘要： interpretation of Peano Arithmetic* [6] through the lens of* | We analyze Coquand's game-theoretic | elementary descent recursion [8]. In Coquand's game | semantics, winning strategies correspond to infinitary cut | -free proofs and cut elimination corresponds to

关键词： Peano arithmetic | Coquand's game semantics | Elementary descent recursion | Cut elimination

摘要： an arithmetic* circuit. The methods are a form of* | be efficiently calculated using the arithmetic | Motivated by the need to generate high-quality | synthetic data, we sought to develop efficient methods for | drawing large numbers of independent samples from

关键词： Probabilistic model | Arithmetic circuit | Sampling

摘要：In this paper, we investigate the theory of | heights in a family of stacky curves following recent | work of Ellenberg, Satriano, and Zureick-Brown. We | first give an elementary construction of a height | which is seen to be dual to theirs. We count rational

关键词： Arithmetic geometry | algebraic stacks | heights

摘要： arithmetic is, in some strong sense, "equivalent" to the | definitionally equivalent to Heyting Arithmetic* HA, in a sense* | It has long been known that (classical) Peano | variant of (classical) Zermelo-Fraenkel set theory | (including choice) in which the axiom of infinity is

关键词： Small set theory | Heyting arithmetic | Definitional equivalence | Set realizability

摘要：We study numeral forms of completeness and | consistency for S_2~1 and other weak theories, like EA. This | gives rise to an exploration of the derivability | conditions needed to establish the mentioned results; a | presentation of a weak form of Gödels Second Incompleteness

关键词： Metamathematics | numeral completeness | weak theory of arithmetic

摘要：Arithmetic cross/auto-correlation, which is | arithmetic correlations of nontrivial shifts are as small | as possible. Sequences have ideal arithmetic | correlations if their arithmetic* correlations of nontrivial* | contributions on the arithmetic* cross/auto-correlations of two*

关键词： Feedback with carry shift registers (FCSRs) | Pseudorandom sequences | Binary sequences | Ideal arithmetic correlations

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： definable in Presburger arithmetic up to a finite index | Here we give a complete list of the groups | subgroup. (c) 2024 The Author(s). Published by Elsevier | B.V. This is an open access article under the CC BY | license (http://creativecommons .org /licenses /by /4 .0/).

关键词： Groups | Presburger arithmetic | Model theory | Definability

摘要：-arithmetic index (GA), GA ), and the arithmetic-geometric | Topological indices are mathematical | descriptors used in the field of chemistry to characterize | the topological structure of chemical compounds. The | Randi & cacute; index (R), R ), the geometric

关键词： Topological index | Extremal graph | Randi & cacute; index | Geometric-arithmetic index | Arithmetic-geometric index

摘要： illustration. Quantum arithmetic circuits, which are the | quantum arithmetic circuits. Specifically, this study | potential applications of the presented arithmetic | In recent decades, the field of quantum | computing has experienced remarkable progress. This

关键词： quantum computing | quantum arithmetic | efficiency optimization | quantum simulation | quantum hardware

摘要：, and Wong, showing hat many soluble S-arithmetic | Reidemeister numbers of group automorphisms | encode the number of twisted conjugacy classes of | groups and might yield information about self-maps of | spaces related to the given objects. Here, we address a

关键词： fixed points | Nielsen number | property R-infinity | solvmanifolds | s-arithmetic groups | twisted conjugacy | property R∞$R_infty$ | s$s$‐arithmetic groups

摘要： interpretation of Peano Arithmetic [6] through the lens of | We analyze Coquand's game-theoretic | elementary descent recursion [8]. In Coquand's game | semantics, winning strategies correspond to infinitary cut | -free proofs and cut elimination corresponds to

关键词： Peano arithmetic | Coquand's game semantics | Elementary descent recursion | Cut elimination

摘要： an arithmetic circuit. The methods are a form of | be efficiently calculated using the arithmetic | Motivated by the need to generate high-quality | synthetic data, we sought to develop efficient methods for | drawing large numbers of independent samples from

关键词： Probabilistic model | Arithmetic circuit | Sampling

摘要：In this paper, we investigate the theory of | heights in a family of stacky curves following recent | work of Ellenberg, Satriano, and Zureick-Brown. We | first give an elementary construction of a height | which is seen to be dual to theirs. We count rational

关键词： Arithmetic geometry | algebraic stacks | heights

摘要： arithmetic is, in some strong sense, "equivalent" to the | definitionally equivalent to Heyting Arithmetic HA, in a sense | It has long been known that (classical) Peano | variant of (classical) Zermelo-Fraenkel set theory | (including choice) in which the axiom of infinity is

关键词： Small set theory | Heyting arithmetic | Definitional equivalence | Set realizability

摘要：We study numeral forms of completeness and | consistency for S_2~1 and other weak theories, like EA. This | gives rise to an exploration of the derivability | conditions needed to establish the mentioned results; a | presentation of a weak form of Gödels Second Incompleteness

关键词： Metamathematics | numeral completeness | weak theory of arithmetic

摘要：Arithmetic cross/auto-correlation, which is | arithmetic correlations of nontrivial shifts are as small | as possible. Sequences have ideal arithmetic | correlations if their arithmetic correlations of nontrivial | contributions on the arithmetic cross/auto-correlations of two

关键词： Feedback with carry shift registers (FCSRs) | Pseudorandom sequences | Binary sequences | Ideal arithmetic correlations

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： definable in Presburger arithmetic* up to a finite index* | Here we give a complete list of the groups | subgroup. (c) 2024 The Author(s). Published by Elsevier | B.V. This is an open access article under the CC BY | license (http://creativecommons .org /licenses /by /4 .0/).

摘要：-arithmetic* index (GA), GA ), and the arithmetic-geometric* | Topological indices are mathematical | descriptors used in the field of chemistry to characterize | the topological structure of chemical compounds. The | Randi & cacute; index (R), R ), the geometric

摘要： illustration. Quantum arithmetic* circuits, which are the* | quantum arithmetic* circuits. Specifically, this study* | potential applications of the presented arithmetic | In recent decades, the field of quantum | computing has experienced remarkable progress. This

摘要： interpretation of Peano Arithmetic* [6] through the lens of* | We analyze Coquand's game-theoretic | elementary descent recursion [8]. In Coquand's game | semantics, winning strategies correspond to infinitary cut | -free proofs and cut elimination corresponds to

摘要： an arithmetic* circuit. The methods are a form of* | be efficiently calculated using the arithmetic | Motivated by the need to generate high-quality | synthetic data, we sought to develop efficient methods for | drawing large numbers of independent samples from

摘要： arithmetic is, in some strong sense, "equivalent" to the | definitionally equivalent to Heyting Arithmetic* HA, in a sense* | It has long been known that (classical) Peano | variant of (classical) Zermelo-Fraenkel set theory | (including choice) in which the axiom of infinity is

摘要：Arithmetic cross/auto-correlation, which is | arithmetic correlations of nontrivial shifts are as small | as possible. Sequences have ideal arithmetic | correlations if their arithmetic* correlations of nontrivial* | contributions on the arithmetic* cross/auto-correlations of two*