Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke On multivariate Hermitian quadratic forms. (English) Zbl 07095829 Math. Comput. Sci. 13, No. 1-2, 79-93 (2019). MSC: 12D99 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., Math. Comput. Sci. 13, No. 1--2, 79--93 (2019; Zbl 07095829) Full Text: DOI OpenURL
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. (English) Zbl 1365.68488 ACM Commun. Comput. Algebra 50, No. 3, 101-104 (2016). MSC: 68W30 13-04 13P10 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., ACM Commun. Comput. Algebra 50, No. 3, 101--104 (2016; Zbl 1365.68488) Full Text: DOI OpenURL