scientific article; zbMATH DE number 589362
From MaRDI portal
Publication:4295701
zbMath0835.11016MaRDI QIDQ4295701
Eberhard Becker, Thorsten Wörmann
Publication date: 29 March 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmsrational pointscommutative ringalgebraic varietyBröcker-Scheiderer theoremcounting real pointscounting real zerosquantifier elimination for real closed fieldsscaled Pfister formtrace formula for quadratic forms
Semialgebraic sets and related spaces (14P10) Computational aspects in algebraic geometry (14Q99) Forms over real fields (11E10)
Related Items (12)
Stickelberger and the Eigenvalue Theorem ⋮ Counting signed swallowtails of polynomial selfmaps of \(\mathbb R^3\) ⋮ Geometry and topology of proper polynomial mappings ⋮ Blind algebraic identification of communication channels: symbolic solution algorithms ⋮ On the computation of matrices of traces and radicals of ideals ⋮ Fundamental class of real algebraic sets ⋮ On the span of polynomials with integer coefficients ⋮ On polynomial mappings from the plane to the plane ⋮ On the Implementation of CGS Real QE ⋮ Radical computations of zero-dimensional ideals and real root counting. ⋮ On multivariate Hermitian quadratic forms ⋮ On the complexity of the real Nullstellensatz in the 0-dimensional case
This page was built for publication:
