Results 121 to 130 of about 177 (175)

Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker. [PDF]

Form Methods Syst Des
Kaufmann D, Fleury M, Biere A, Kauers M.
europepmc   +1 more source

MONOMIALS AND BASIN CYLINDERS FOR NETWORK DYNAMICS. [PDF]

SIAM J Appl Dyn Syst, 2015
Austin D, Dinwoodie IH.
europepmc   +1 more source

Tan's Epsilon-Determinant and Ranks of Matrices over Semirings. [PDF]

Int Sch Res Notices, 2015
Mohindru P, Pereira R.
europepmc   +1 more source

Gram Determinants of Real Binary Tensors. [PDF]

Linear Algebra Appl, 2018
Seigal A.
europepmc   +1 more source

CENTER CONDITIONS AND CYCLICITY FOR A FAMILY OF CUBIC SYSTEMS: COMPUTER ALGEBRA APPROACH. [PDF]

Math Comput Simul, 2013
Ferčec B, Mahdi A.
europepmc   +1 more source

Cremmer-Gervais cluster structure on SLn. [PDF]

Proc Natl Acad Sci U S A, 2014
Gekhtman M, Shapiro M, Vainshtein A.
europepmc   +1 more source

Translated chemical reaction networks. [PDF]

Bull Math Biol, 2014
Johnston MD.
europepmc   +1 more source