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
Mostrar Somente
Refinado por: assunto: Mathematics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Upper bounds on positional Paris–Harrington games
Upper bounds on positional Paris–Harrington games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Upper bounds on positional Paris–Harrington games

Carlucci, Lorenzo ; Lauria, Massimo

Discrete mathematics, 2021-03, Vol.344 (3), p.112257, Article 112257 [Periódico revisado por pares]

Elsevier B.V

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
Clique Is Hard on Average for Regular Resolution
Clique Is Hard on Average for Regular Resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

Clique Is Hard on Average for Regular Resolution

Atserias, Albert ; Bonacina, Ilario ; De Rezende, Susanna F. ; Lauria, Massimo ; Nordström, Jakob ; Razborov, Alexander

Journal of the ACM, 2021-08, Vol.68 (4), p.1-26 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
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
6
Space Complexity in Polynomial Calculus
Space Complexity in Polynomial Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Space Complexity in Polynomial Calculus

Filmus, Yuval ; Lauria, Massimo ; Nordström, Jakob ; Ron-Zewi, Noga ; Thapen, Neil

SIAM journal on computing, 2015-01, Vol.44 (4), p.1119-1153 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
7
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
8
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
Material Type:
Artigo 		Adicionar ao Meu Espaço

A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

Information processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Minimum-Energy Broadcast and disk cover in grid wireless networks
Minimum-Energy Broadcast and disk cover in grid wireless networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Minimum-Energy Broadcast and disk cover in grid wireless networks

Calamoneri, Tiziana ; Clementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Silvestri, Riccardo

Theoretical computer science, 2008-06, Vol.399 (1), p.38-53 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
On the bounded-hop MST problem on random Euclidean instances
On the bounded-hop MST problem on random Euclidean instances
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the bounded-hop MST problem on random Euclidean instances

Clementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Rossi, Gianluca ; Silvestri, Riccardo

Theoretical computer science, 2007-10, Vol.384 (2), p.161-167 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (9)

Data de Publicação 

De até
Refinar
  1. Antes de2007  (1)
  2. 2007Até2007  (1)
  3. 2008Até2009  (1)
  4. 2010Até2015  (3)
  5. Após 2015  (5)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.