Search results for "arithmetic"

Some problems in number theory that arise from group theory

2021

In this expository paper, we present several open problems in number theory that have arisen while doing research in group theory. These problems are on arithmetical functions or partitions. Solving some of these problems would allow to solve some open problem in group theory.

Improving Interpolants for Linear Arithmetic

2015

Craig interpolation for satisfiability modulo theory formulas have come more into focus for applications of formal verification. In this paper we, introduce a method to reduce the size of linear constraints used in the description of already computed interpolant in the theory of linear arithmetic with respect to the number of linear constraints. We successfully improve interpolants by combining satisfiability modulo theory and linear programming in a local search heuristic. Our experimental results suggest a lower running time and a larger reduction compared to other methods from the literature.

Arithmetic Problems Formulation and Working Memory Load

1987

First, third, and fifth graders (French children in American-numbered grades) were asked to solve arithmetic problems in which an initial state was modified by two successive transformations. Three independent variables were manipulated systematically. First, the unknown state was either the final state (Sl) or the initial state (S2). Second, either the known state (01) or the transformations (02) appeared in the first place in the problem wording. Third, the question was either located at the end (Ql) or at the beginning (42) of the problem text. As anticipated, these modifications strongly affected the performances at every age: S1 appears clearly easier than S2; 0 1 leads to a better per…

Skaitļu teorija: lekcijas, lasītas Latvijas Universitātes Matemātikas un dabas zinātņu fakultātē

1936

Lekcijas sakārtojis Fogels, Ernests ; rediģējis Lūsis, Arvīds.

Contrasting probabilistic and anti-optimization approaches in an applied mechanics problem

2003

Probabilistic and non-probabilistic, anti-optimization analyses of uncertainty are contrasted in this study. Specifically, the comparison of these two competing approaches is conducted for an uniform column, with initial geometric imperfection, subjected to an impact axial load. The reliability of the column is derived for the cases when the initial imperfections posses either (a) uniform probability density, (b) truncated exponential density or (c) generic truncated probability density. The problem is also analyzed in the context of an interval analysis. It is shown that in, the most important near-unity reliability range these two approaches tend to each other. Since the interval analysis…

Relative Rigid Cohomology and Deformation of Hypersurfaces

2010

Arifmetika taceoceori daŋsani tǝpciuri skoladu: ʒuǝjǝciǝ pasi: ʒuǝjǝciǝ taceoceori ajŋaņa

1934

Aritmētika nanaju (goldu) valodā 2. klasei

Arifmetika tatigawun nonopti tatkit ʒarin: II han: alagun gepti anŋanin

1934

Aritmētikas mācību grāmata 2. klasei evenku valodā.

RTS2 - the Remote Telescope System

2010

RTS2 is an open source observatory manager. It was written from scratch in the C++ language, with portability and modularity in mind. Its driving requirements originated from quick follow-ups of Gamma Ray Bursts. After some years of development it is now used to carry tasks it was originally not intended to carry. This article presents the current development status of the RTS2 code. It focuses on describing strategies which worked as well as things which failed to deliver expected results. Copyright © 2010 Petr Kubánek.

Fuzzy tuning systems: the mathematics of musicians

2005

We present some mathematical properties which determine tuning methods. We introduce the concept of fuzzy tuning systems and we analyze four of the systems coexisting within the current orchestras: Pythagorean, Just Intonation, Holder's and Equal Temperament systems. We show that the theoretical and practical tuning methods are the same. We introduce the idea of compatibility between tuning systems and we give some sufficient conditions to determine an appropriate number of notes into which the octave must be divided.