Results 101 to 110 of about 908,506 (166)

Gröbner Bases for Boolean Function Minimization

International audienceBoolean function minimization techniques try to find, for a given formula, a smaller equivalent formula. In this work, we present a novel technique for heuristic boolean function minimization.
Faroß, Nicolas, Schwarz, Simon
core   +1 more source

Solving System of Equations over Algebras using Gröbner Bases and Integro-Differential Structures

Mathematics Open
This work presents a symbolic algorithm for solving systems of equations, coupling Gröbner bases with integro-differential algebras to solve algebraic and differential systems.
Srinivasarao Thota, Chandan Kumar, Nasr Al Din Ide   +2 more
doaj   +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, Yuri A. Blinkov, Vladimir V. Mozzhilkin   +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, Dong L, Wang C, Luo N, Han T, Li M, Sun T, Ding R, Han B, Li G.   +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, Shadi Asgari, Ali Moradzadeh-Dehkordi, Amir Hashemi1   +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, van Iersel L, Janssen R, Jones M, Long C, Murakami Y.   +5 more
europepmc   +1 more source

Pioneer factors in development and cancer. [PDF]

iScience, 2021
Sunkel BD, Stanton BZ.
europepmc   +1 more source