Involutive bases algorithm incorporating F\(_5\) criterion
From MaRDI portal
Publication:2437322
DOI10.1016/j.jsc.2013.08.002zbMath1435.68391arXiv1306.6811MaRDI QIDQ2437322
Amir Hashemi, Benyamin M.-Alizadeh, Vladimir P. Gerdt
Publication date: 3 March 2014
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1306.6811
Gröbner bases; involutive bases; involutive division; Buchberger's criteria; F\(_5\) criterion; G\(^2\)V algorithm
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Uses Software