Results 31 to 40 of about 4,550,410 (148)
Generalization of Buchberger’s Algorithm with Respect to Several Orderings on Difference Modules
پژوهشهای ریاضی, 2021 Grobner basis with respect to several orderings is a powerful tool to compute multivariate difference dimension polynomials. In this paper, an algorithm for computing a Grobner basis of a difference module over a ground difference field with respect to ...
hamzeh harfsheno +2 more
doaj
Satisfying positivity requirement in the Beyond Complex Langevin approach
EPJ Web of Conferences, 2018 The problem of finding a positive distribution, which corresponds to a given complex density, is studied. By the requirement that the moments of the positive distribution and of the complex density are equal, one can reduce the problem to solving the ...
Wyrzykowski Adam, Ruba Błażej Ruba
doaj +1 more source
Practical Gröbner basis computation
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 2012 Full online version including appendices, 17 pages; Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC ...
Roune, Bjarke Hammersholt +1 more
openaire +2 more sources
Mathematical Problems in Engineering, Volume 2020, Issue 1, 2020., 2020 Ultrawideband (UWB) is considered as a promising technology in indoor positioning due to its accurate time resolution and good penetration through objects. Since the functional model of UWB positioning is nonlinear, iterative algorithms are often considered for solving the nonlinear problem.
Chuanyang Wang +6 more
wiley +1 more source
Tropical Differential Groebner Basis
, 2019 In this paper, the tropical differential Gr bner basis is studied, which is a natural generalization of the tropical Gr bner basis to the recently introduced tropical differential algebra. Like the differential Gr bner basis, the tropical differential Gr bner basis generally contains an infinite number of elements.
Hu, Youren, Gao, Xiao-Shan
openaire +2 more sources
An extension of Buchberger's criteria for Groebner basis decision
, 2009 Two fundamental questions in the theory of Groebner bases are decision ("Is a basis G of a polynomial ideal a Groebner basis?") and transformation ("If it is not, how do we transform it into a Groebner basis?") This paper considers the first question. It
Adams +10 more
core +1 more source
ACM Trans. Design Autom. Electr. Syst.One promising approach to verify large arithmetic circuits is making use of Symbolic Computer Algebra (SCA), where the circuit and the specification are translated to a set of polynomials, and the verification is performed by the ideal membership testing.
Negar Aghapour Sabbagh, B. Alizadeh
semanticscholar +1 more source
A geometric view of cryptographic equation solving
Journal of Mathematical Cryptology, 2008 This paper considers the geometric properties of the Relinearisation algorithm and of the XL algorithm used in cryptology for equation solving. We give a formal description of each algorithm in terms of projective geometry, making particular use of the ...
Murphy S., Paterson M. B.
doaj +1 more source
IEEE Power & Energy Society General Meeting, 2015 For analysis of non-constant electro-mechanical oscillation frequency with a power system, this paper proposes an analytical approach integrating Differential Groebner Basis (Diff-GB) and the Harmonic Balance Method (HBM). This approach is illustrated in
Nan Duan, Bin Wang, K. Sun, J. Ning
semanticscholar +1 more source
Groebner basis structure of ideal interpolation
, 2020 We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a polynomial ideal. In this paper, we propose the notion of "reverse" complete reduced basis.
Gong, Yihe, Jiang, Xue
openaire +2 more sources