Results 31 to 40 of about 368,456 (381)
The Arithmetics of a Theory [PDF]
Notre Dame Journal of Formal Logic, 2015 In this paper we study the interpretations of a weak arithmetic, like Buss' theory S^1_2, in a given theory U. We call these interpretations *the arithmetics of U*.We develop the basics of the structure of the arithmetics of U. We study the provability logic(s) of U from the standpoint of the framework of the arithmetics of U.
openaire +5 more sources
Arithmetic, 2020 The purpose of this study is to develop iSpring software aided interactive learning against student retention on the concept of calculus II. This type of research is RnD research.
Shinta Dwi Handayani +1 more
doaj +1 more source
Urgensi Pengenalan Konsep Literasi Numerasi pada Anak Usia Dini
Arithmetic, 2022 This study discusses the urgency of introducing the concept of numeracy literacy in early childhood. Numerical literacy is one of the most needed skills in facing the 21st century, especially for the young generation.
Fevi Rahmadeni
doaj +1 more source
-Orthomorphisms and -Linear Operators on the Order Dual of an -Algebra Revisited
Abstract and Applied Analysis, 2013 We give a necessary and sufficient condition on an -algebra for which orthomorphisms, -linear operators, and -orthomorphisms on the order dual are the same class of operators.
Jamel Jaber
doaj +1 more source
Arithmetic, 2020 The purpose of this study was to determine the effects of the discovery learning model using Baretic Clock teaching aids on students' understanding of the concept of arithmetic sequences and arithmetic series in class XI SMA Negeri 4 Kota Pagar Alam for ...
Anggun Purnamasari +2 more
doaj +1 more source
Arithmetic coding for data compression
CACM, 1987 The state of the art in data compression is arithmetic coding, not the better-known Huffman method. Arithmetic coding gives greater compression, is faster for adaptive models, and clearly separates the model from the channel encoding.
I. Witten, Radford M. Neal, J. Cleary
semanticscholar +1 more source
Solving General Arithmetic Word Problems [PDF]
Conference on Empirical Methods in Natural Language Processing, 2016 This paper presents a novel approach to automatically solving arithmetic word problems. This is the first algorithmic approach that can handle arithmetic problems with multiple steps and operations, without depending on additional annotations or ...
Subhro Roy, D. Roth
semanticscholar +1 more source
On the arithmetic of arithmetical congruence monoids [PDF]
Colloquium Mathematicum, 2007 Let N represent the positive integers and N0 the non-negative integers. If b 2 N and is a multiplicatively closed subset of Zb = Z/bZ, then the set H = {x 2 N | x + bZ 2 } ( {1} is a multiplicative submonoid of N known as a congruence monoid. An arithmetical congruence monoid (or ACM) is a congruence monoid where = {a} consists of a single element.
M. Banister +3 more
openaire +2 more sources
Involve, a Journal of Mathematics, 2011 The arithmetic of the natural numbers can be extended to arithmetic operations on planar binary trees. This gives rise to a non-commutative arithmetic theory. In this exposition, we describe this arithmetree, first defined by Loday, and investigate prime trees.
Bruno, Adriano, Yasaki, Dan
openaire +4 more sources
Matrix multiplication via arithmetic progressions
Symposium on the Theory of Computing, 1987 We present a new method for accelerating matrix multiplication asymptotically. This work builds on recent ideas of Volker Strassen, by using a basic trilinear form which is not a matrix product. We make novel use of the Salem-Spencer Theorem, which gives
D. Coppersmith, S. Winograd
semanticscholar +1 more source