On Solving The Systems of Algebraic Equations Using Gröbner Bases
Труды Института системного программирования РАН, 2018 Described and proved the algorithm for finding some solution of algebraic equations over arbitrary field k for zero dimension ideals if Gröbner basis of this ideal over lexicographic order is given.
Alexander Shokurov
doaj
On the computation of Hilbert series and Poincare series for algebras with infinite Grobner bases [PDF]
Computer Science Journal of Moldova, 2000 In this paper we present algorithms to compute finite state automata which, given any rational language, recognize the languages of normal words and n-chains.
Jonas Mansson
doaj
Generation of all randomizations using circuits. [PDF]
Ann Inst Stat Math, 2023 Pesce E +3 more
europepmc +1 more source
Gröbner Bases and Generation of Difference Schemes for Partial Differential Equations
Symmetry, Integrability and Geometry: Methods and Applications, 2006 In this paper we present an algorithmic approach to the generation of fully conservative difference schemes for linear partial differential equations. The approach is based on enlargement of the equations in their integral conservation law form by extra ...
Vladimir P. Gerdt +2 more
doaj
Molecular genomic landscape of pediatric solid tumors in Chinese patients: implications for clinical significance. [PDF]
J Cancer Res Clin Oncol, 2023 Gong J +9 more
europepmc +1 more source
Solving System of Linear Congruence Equations over some Rings by Decompositions of Modules
پژوهشهای ریاضی, 2018 In this paper, we deal with solving systems of linear congruences over commutative CF-rings. More precisely, let R be a CF-ring (every finitely generated direct sum of cyclic R-modules has a canonical form) and let I_1,..., I_n be n ideals of R.
Mahmood Behboodi1 +3 more
doaj
Phenotype Control techniques for Boolean gene regulatory networks. [PDF]
Bull Math Biol, 2023 Plaugher D, Murrugarra D.
europepmc +1 more source
Incremental column-wise verification of arithmetic circuits using computer algebra. [PDF]
Form Methods Syst Des, 2020 Kaufmann D, Biere A, Kauers M.
europepmc +1 more source
Distinguishing level-1 phylogenetic networks on the basis of data generated by Markov processes. [PDF]
J Math Biol, 2021 Gross E +5 more
europepmc +1 more source
Global identifiability of latent class models with applications to diagnostic test accuracy studies: A Gröbner basis approach. [PDF]
Biometrics, 2020 Duan R +11 more
europepmc +1 more source