Algebras of Binary Isolating Formulas for Strong Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2023 Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emelyanov
doaj +2 more sources
Algebras of Binary Isolating Formulas for Theories of Root Products of Graphs
Известия Иркутского государственного университета: Серия "Математика", 2021 Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emel’yanov
doaj +2 more sources
Algebras of Binary Isolating Formulas for Tensor Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2022 Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations.
D.Yu. Emel’yanov
doaj +2 more sources
Algebras of Binary Isolating Formulas for Homomorphic Product Theories
Известия Иркутского государственного университета: Серия "Математика"Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emel’yanov
doaj +2 more sources
On Deterministic and Absorbing Algebras of Binary Formulas of Polygonometrical Theories
Известия Иркутского государственного университета: Серия "Математика", 2017 Algebras of distributions of binary isolating and semi-isolating formulas are derived structures for a given theory. These algebras reflect binary links between realizations of 1-types defined by formulas of the initial theory.
D. Emelyanov, S. Sudoplatov
doaj +1 more source
Identity Testing for Constant-Width, and Any-Order, Read-Once Oblivious Arithmetic Branching Programs [PDF]
, 2017 We give improved hitting sets for two special cases of Read-once Oblivious Arithmetic Branching Programs (ROABP). First is the case of an ROABP with known order of the variables.
Gurjar, Rohit +2 more
core +1 more source
On formulas for decoding binary cyclic codes [PDF]
, 2007 We adress the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to find the error locator polynomial in terms of the syndroms of the received word ...
Augot, Daniel +2 more
core +8 more sources
Algebras of Distributions of Binary Formulas for Theories of Archimedean Solids
Известия Иркутского государственного университета: Серия "Математика", 2019 Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emelyanov
doaj +1 more source
Computing hypergeometric functions rigorously [PDF]
, 2016 We present an efficient implementation of hypergeometric functions in arbitrary-precision interval arithmetic. The functions ${}_0F_1$, ${}_1F_1$, ${}_2F_1$ and ${}_2F_0$ (or the Kummer $U$-function) are supported for unrestricted complex parameters and ...
Johansson, Fredrik
core +5 more sources
Deterministic Identity Testing for Sum of Read-Once Oblivious Arithmetic Branching Programs [PDF]
, 2015 A read-once oblivious arithmetic branching program (ROABP) is an arithmetic branching program (ABP) where each variable occurs in at most one layer. We give the first polynomial time whitebox identity test for a polynomial computed by a sum of constantly
Gurjar, Rohit +3 more
core +3 more sources