research
∙
01/14/2023
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Mixed trigonometric-polynomials (MTPs) are functions of the form f(x,sin...
share
research
∙
04/06/2022
A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions
Preordered semialgebras and semirings are two kinds of algebraic structu...
research
∙
12/27/2021
Technical and Mathematical Foundations of Information Systems Dynamics
ThThis paper reviews and summarizes the main process of the close combin...
research
∙
02/01/2021
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure
Cylindrical algebraic decomposition (CAD) plays an important role in the...
research
∙
05/05/2020
Characterizing Triviality of the Exponent Lattice of A Polynomial through Galois and Galois-Like Groups
The problem of computing the exponent lattice which consists of all the ...
research
∙
08/08/2018
An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers
Computing a basis for the exponent lattice of algebraic numbers is a bas...
research
∙
08/08/2018
Incrementally and inductively constructing basis of multiplicative dependence lattice of non-zero algebraic numbers
Let x=(x_1,x_2,...,x_n)^T be a vector of non-zero algebraic numbers, the...
research
∙
04/07/2018