skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Base de dados/Biblioteca: Springer Nature - Complete Springer Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
Material Type:
Artigo 		Adicionar ao Meu Espaço

On vanishing sums of roots of unity in polynomial calculus and sum-of-squares

Bonacina, Ilario ; Galesi, Nicola ; Lauria, Massimo

Computational complexity, 2023-12, Vol.32 (2), Article 12 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
On the maximal part in unrefinable partitions of triangular numbers
On the maximal part in unrefinable partitions of triangular numbers
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the maximal part in unrefinable partitions of triangular numbers

Aragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, Massimo

Aequationes mathematicae, 2022-12, Vol.96 (6), p.1339-1363 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Tight Size-Degree Bounds for Sums-of-Squares Proofs
Tight Size-Degree Bounds for Sums-of-Squares Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tight Size-Degree Bounds for Sums-of-Squares Proofs

Lauria, Massimo ; Nordström, Jakob

Computational complexity, 2017-12, Vol.26 (4), p.911-948 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
On the Automatizability of Polynomial Calculus
On the Automatizability of Polynomial Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Automatizability of Polynomial Calculus

Galesi, Nicola ; Lauria, Massimo

Theory of computing systems, 2010-08, Vol.47 (2), p.491-506 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
5
The complexity of proving that a graph is Ramsey
The complexity of proving that a graph is Ramsey
Material Type:
Artigo 		Adicionar ao Meu Espaço

The complexity of proving that a graph is Ramsey

Lauria, Massimo ; Pudlák, Pavel ; Rödl, Vojtěch ; Thapen, Neil

Combinatorica (Budapest. 1981), 2017-04, Vol.37 (2), p.253-268 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.