Pourchet’s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares (Q6081964): Difference between revisions

Revision as of 10:52, 3 August 2024

scientific article; zbMATH DE number 7760788

Language	Label	Description	Also known as
English	Pourchet’s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares	scientific article; zbMATH DE number 7760788

Statements

instance of

scholarly article

0 references

title

Pourchet’s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares (English)

0 references

0 references

0 references

0 references

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation

0 references

publication date

3 November 2023

0 references

full work available at URL

https://arxiv.org/abs/2302.02202

0 references

zbMATH Keywords

nonnegative univariate rational polynomial

0 references

norm equation

0 references

rational polynomial

0 references

real algebraic geometry

0 references

sums of squares decomposition

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Fast Reflexive Arithmetic Tactics the Linear Case and Beyond

0 references

Subexponential class group and unit group computation in large degree number fields

0 references

Efficient quantum algorithms for computing class groups and solving the principal ideal problem in arbitrary degree number fields

0 references

Q4718180

0 references

Q2739443

0 references

Efficient and accurate computation of upper bounds of approximation errors

0 references

Q3139838

0 references

Advanced Topics in Computional Number Theory

0 references

On solving relative norm equations in algebraic number fields

0 references

Q3328637

0 references

An algorithm for finding an algebraic number whose norm is a given rational number.

0 references

Reducing number field defining polynomials: an application to class group computations

0 references

A FORMAL PROOF OF THE KEPLER CONJECTURE

0 references

Q3160258

0 references

Global Optimization with Polynomials and the Problem of Moments

0 references

Formal Proofs for Nonlinear Optimization

0 references

Certified Roundoff Error Bounds Using Semidefinite Programming

0 references

R <scp>eal</scp> c <scp>ertify</scp>

0 references

On exact Reznick, Hilbert-Artin and Putinar's representations

0 references

Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials

0 references

Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials

0 references

SONC optimization and exact nonnegativity certificates via second-order cone programming

0 references

Computing sum of squares decompositions with rational coefficients

0 references

Dirichlet’s proof of the three-square theorem: An algorithmic perspective

0 references

Q5384335

0 references

Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques

0 references

Randomized algorithms in number theory

0 references

Elliptic Curves Over Finite Fields and the Computation of Square Roots mod p

0 references

Solving norm equations in relative number fields using $S$-units

0 references

Q4847933

0 references

Short proofs using compact representations of algebraic integers

0 references

Editor's Corner: The Euclidean Algorithm Strikes Again

0 references

Identifiers

arXiv ID

2302.02202

0 references

DOI

10.1145/3597066.3597072

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6081964

@@ Property / cites work @@
+Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
+Normal rank
@@ Property / cites work @@
+Subexponential class group and unit group computation in large degree number fields
+Normal rank
@@ Property / cites work @@
+Efficient quantum algorithms for computing class groups and solving the principal ideal problem in arbitrary degree number fields
+Normal rank
@@ Property / cites work @@
+Q4718180
@@ Property / cites work: Q4718180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2739443
@@ Property / cites work: Q2739443 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and accurate computation of upper bounds of approximation errors
+Normal rank
@@ Property / cites work @@
+Q3139838
@@ Property / cites work: Q3139838 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Topics in Computional Number Theory
@@ Property / cites work: Advanced Topics in Computional Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On solving relative norm equations in algebraic number fields
+Normal rank
@@ Property / cites work @@
+Q3328637
@@ Property / cites work: Q3328637 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for finding an algebraic number whose norm is a given rational number.
+Normal rank
@@ Property / cites work @@
+Reducing number field defining polynomials: an application to class group computations
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank @@
+Normal rank
@@ Property / cites work @@
+Q3160258
@@ Property / cites work: Q3160258 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization with Polynomials and the Problem of Moments
+Normal rank
@@ Property / cites work @@
+Formal Proofs for Nonlinear Optimization
@@ Property / cites work: Formal Proofs for Nonlinear Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Roundoff Error Bounds Using Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+R             <scp>eal</scp>             c             <scp>ertify</scp>
@@ Property / cites work: R <scp>eal</scp> c <scp>ertify</scp> / rank @@
+Normal rank
@@ Property / cites work @@
+On exact Reznick, Hilbert-Artin and Putinar's representations
+Normal rank
@@ Property / cites work @@
+Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
+Normal rank
@@ Property / cites work @@
+Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials
+Normal rank
@@ Property / cites work @@
+SONC optimization and exact nonnegativity certificates via second-order cone programming
+Normal rank
@@ Property / cites work @@
+Computing sum of squares decompositions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Dirichlet’s proof of the three-square theorem: An algorithmic perspective
+Normal rank
@@ Property / cites work @@
+Q5384335
@@ Property / cites work: Q5384335 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques
+Normal rank
@@ Property / cites work @@
+Randomized algorithms in number theory
@@ Property / cites work: Randomized algorithms in number theory / rank @@
+Normal rank
@@ Property / cites work @@
+Elliptic Curves Over Finite Fields and the Computation of Square Roots mod p
+Normal rank
@@ Property / cites work @@
+Solving norm equations in relative number fields using $S$-units
+Normal rank
@@ Property / cites work @@
+Q4847933
@@ Property / cites work: Q4847933 / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs using compact representations of algebraic integers
+Normal rank
@@ Property / cites work @@
+Editor's Corner: The Euclidean Algorithm Strikes Again
+Normal rank