On multivariate Hermitian quadratic forms

DOI10.1007/s11786-018-0387-8OpenAlexW2897961174MaRDI QIDQ2319444

Hidenao Iwane, Yosuke Sato, Ryoya Fukasaku

Publication date: 19 August 2019

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-018-0387-8

zbMATH Keywords

quantifier eliminationreal closed fieldcomprehensive Gröbner system

Mathematics Subject Classification ID

Real and complex fields (12D99)

Related Items (2)

Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system ⋮ On Parametric Border Bases

Uses Software

• PGB
• QEPCAD
• REDLOG
• CGSQE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving systems of strict polynomial inequalities
• On the Implementation of CGS Real QE
• Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems
• QE Software Based on Comprehensive Gröbner Systems
• Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems
• A new algorithm for computing comprehensive Gröbner systems
• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• Mathematics by machine
• On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal
• CGSQE/SyNRAC

This page was built for publication: On multivariate Hermitian quadratic forms