Results 81 to 90 of about 369,824 (381)
Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic [PDF]
IEEE transactions on computers, 2016 Arb is a C library for arbitrary-precision interval arithmetic using the midpoint-radius representation, also known as ball arithmetic. It supports real and complex numbers, polynomials, power series, matrices, and evaluation of many special functions ...
Fredrik Johansson
semanticscholar +1 more source
On "An Identity in Arithmetic" [PDF]
Proceedings of the American Mathematical Society, 1960 H. D. Block and J. Marschak have presented in the Bulletin of the American Mathematical Society vol. 65 (1959) pp. 123-124, an identity which arose in a probability context. This note proves it by a probability theoretical argument. Consider an experiment having the set of possible outcomes N--{ 1, I.
openaire +2 more sources
Advanced Engineering Materials, EarlyView.Hydrostatic bearings excel in high‐precision applications, but their performance hinges on a continuous external supply. This study evaluates various material combinations for sliding surfaces to mitigate damage during supply failures or misalignment and to discover the most effective materials identified for enhancing the reliability and efficiency of
Michal Michalec +6 more
wiley +1 more source
Arithmetic, 2022 The research was conducted during the covid-19 pandemic and learning was carried out from and there were many technical obstacles and students' thinking abilities which tended to be low because they were unable to understand the material by being given ...
T.S. Hadi +3 more
doaj +1 more source
The theta invariants and the volume function on arithmetic varieties [PDF]
arXiv, 2022 We introduce a new arithmetic invariant for hermitian line bundles on an arithmetic variety. We use this invariant to measure the variation of the volume function with respect to the metric. The main result of this paper is a generalized Hodge index theorem on arithmetic toric varieties.
arxiv
Notre Dame Journal of Formal Logic, 1999 This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide
openaire +6 more sources
Advanced Engineering Materials, EarlyView.A novel approach for alloy development in laser powder bed fusion is introduced. Instead of producing massive samples of one composition at a time, prepressed powder bed samples produced from powder mixtures are processed. Guidelines for the selection of precursor powders are developed.
Felix Großwendt +6 more
wiley +1 more source
Arithmetic, 2022 This study aims to increase student activity and learning outcomes by using the Missouri Mathematics Project (MMP) learning model on trigonometry equations. This research is a Classroom Action Research conducted in 3 cycles at MAN 1 Jombang. The subjects
Erviningsih Setyorini +2 more
doaj +1 more source
Deformation Behavior of La2O3‐Doped Copper during Equal Channel Angular Pressing
Advanced Engineering Materials, EarlyView.By additions of strengthening elements and/or structure optimization, the mechanical properties of copper can be increased while keeping favorable electric conductivity. By combining addition of La2O3 and processing by equal channel angular pressing, substructure development is achieved, leading to increase in microhardness to more than double the ...
Lenka Kunčická +2 more
wiley +1 more source