Results 121 to 130 of about 4,550,410 (148)

Super Exponential Groebner Basis Under Lexicographic Order

Social Science Research Network, 2022
Archana S. Morye, Sreenanda S B, Prakash Saivasan   +2 more
semanticscholar   +2 more sources

An Assessment of Groebner Basis Methods for a Simplified Biomolecular Folding Model

International Conference on Intelligent Cloud Computing, 2023
Groebner Basis methods offer attractive alternatives to analytically compute solutions of systems of polynomial equations in a variety of contexts including biomolecular folding.
Vinod Kumar, S. Sen
semanticscholar   +1 more source

Arithmetic Circuit Correction by Adding Optimized Correctors Based on Groebner Basis Computation

IEEE European Test Symposium, 2021
Although Symbolic Computer Algebra (SCA) is a promising approach to verify large arithmetic circuits, automatic correction of such circuits based on SCA remains a significant challenge due to the monomial explosion.
Negar Aghapour Sabbagh, B. Alizadeh
semanticscholar   +1 more source

Groebner Basis Methods for Stationary Solutions of a Low-Dimensional Model for a Shear Flow

Journal of nonlinear science, 2014
We use Groebner basis methods to extract all stationary solutions for the nine-mode shear flow model described in Moehlis et al. (New J Phys 6:56, 2004).
Marina Pausch, F. Grossmann, B. Eckhardt, V. Romanovski   +3 more
semanticscholar   +2 more sources

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences

arXiv.org
We present an efficient algorithm for computing the leading monomials of a minimal Groebner basis of a generic sequence of homogeneous polynomials. Our approach bypasses costly polynomial reductions by exploiting structural properties conjectured to hold
Kosuke Sakata, Tsuyoshi Takagi
semanticscholar   +1 more source

Online Stability Improvement of Groebner Basis Solvers using Deep Learning

arXiv.org
Over the past decade, the Gr\"obner basis theory and automatic solver generation have lead to a large number of solutions to geometric vision problems. In practically all cases, the derived solvers apply a fixed elimination template to calculate the Gr ...
Wanting Xu, Lan Hu, M. Tsakiris, L. Kneip   +3 more
semanticscholar   +1 more source

Gro¨bner basis strategies in regression

Journal of Applied Statistics, 2000
The Grobner basis method in experimental design (Pistone & Wynn, 1996) is developed in a practical setting. The computational algebraic techniques (Grobner bases in particular) are coupled with statistical strategies and the links to more standard approaches made.
GIGLIO, RICCOMAGNO, EVA, H. P. WYNN
openaire   +2 more sources

Numerical stability and stabilization of Groebner basis computation

Proceedings of the 2002 international symposium on Symbolic and algebraic computation, 2002
In this paper we consider the problem of the use of approximate arithmetics in Grobner basis computation. This is useful to reduce the cost of integer arithmetic, but is especially necessary for overdetermined systems whose coefficients are only approximately known.We report on some numerical experiments, that show that the intrinsic instability of the
TRAVERSO, CARLO, ZANONI ALBERTO
openaire   +2 more sources

Groebner basis, resultants and the generalized Mandelbrot set

Chaos, Solitons & Fractals, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Geum, Young Hee, Hare, Kevin G.
openaire   +1 more source

Multi-Valued Model Checking via Groebner Basis Approach

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007
The management of uncertainty and imprecision is becoming essential for modeling many real problems. Multivalued model checking, a generalization of classical model checking, is useful for analyzing models that contain uncertainty or inconsistency. This paper shows that Groebner bases can provide canonical symbolic representations for multi-valued ...
Jinzhao Wu, Lin Zhao
openaire   +1 more source