Real Root Isolation of Regular Chains (Q2799549): Difference between revisions

@@ Property / cites work @@
+Implementations of a new theorem for computing bounds for positive roots of polynomials
+Normal rank
@@ Property / cites work @@
+Interval arithmetic in cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+A new efficient algorithm for computing Gröbner bases \((F_4)\)
+Normal rank
@@ Property / cites work @@
+Towards faster real algebraic numbers
@@ Property / cites work: Towards faster real algebraic numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Efficient isolation of polynomial's real roots.
@@ Property / cites work: Efficient isolation of polynomial's real roots. / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for isolating the real solutions of semi-algebraic systems
+Normal rank
@@ Property / cites work @@
+Real solution isolation using interval arithmetic
@@ Property / cites work: Real solution isolation using interval arithmetic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RegularChains
@@ Property / describes a project that uses: RegularChains / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-43799-5_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1502087103
@@ Property / OpenAlex ID: W1502087103 / rank @@
+Normal rank