skip to main content
Idioma:
previous page 3 4 Resultados 5 6 7 next page
Mostrar Somente
Refinado por: assunto: Mathematical Analysis remover
Result Number Material Type Add to My Shelf Action Record Details and Options
41
On Presburger arithmetic extended with non-unary counting quantifiers
On Presburger arithmetic extended with non-unary counting quantifiers
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Presburger arithmetic extended with non-unary counting quantifiers

Habermehl, Peter ; Kuske, Dietrich

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
42
An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

Lee, Hochang ; Jeong, Kyung Chul ; Han, Daewan ; Kim, Panjin

arXiv.org, 2024-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
43
Extensional Taylor Expansion
Extensional Taylor Expansion
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extensional Taylor Expansion

Blondeau-Patissier, Lison ; Clairambault, Pierre ; Lionel Vaux Auclair

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
44
Higher Order Automatic Differentiation of Higher Order Functions
Higher Order Automatic Differentiation of Higher Order Functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Higher Order Automatic Differentiation of Higher Order Functions

Huot, Mathieu ; Staton, Sam ; Vákár, Matthijs

arXiv.org, 2024-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
45
A Semantic Search Engine for Mathlib4
A Semantic Search Engine for Mathlib4
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Semantic Search Engine for Mathlib4

Gao, Guoxiong ; Ju, Haocheng ; Jiang, Jiedong ; Qin, Zihan ; Dong, Bin

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
46
On the Hardness of Analyzing Quantum Programs Quantitatively
On the Hardness of Analyzing Quantum Programs Quantitatively
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Hardness of Analyzing Quantum Programs Quantitatively

Avanzini, Martin ; Moser, Georg ; Péchoux, Romain ; Perdrix, Simon

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
47
The syntactic side of autonomous categories enriched over generalised metric spaces
The syntactic side of autonomous categories enriched over generalised metric spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

The syntactic side of autonomous categories enriched over generalised metric spaces

Dahlqvist, Fredrik ; Neves, Renato

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
48
Chebyshev distances associated to the second members of systems of Max-product/Lukasiewicz Fuzzy relational equations
Chebyshev distances associated to the second members of systems of Max-product/Lukasiewicz Fuzzy relational equations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Chebyshev distances associated to the second members of systems of Max-product/Lukasiewicz Fuzzy relational equations

Baaj, Ismaïl

arXiv.org, 2023-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
49
clauseSMT: A NLSAT-Based Clause-Level Framework for Satisfiability Modulo Nonlinear Real Arithmetic Theory
clauseSMT: A NLSAT-Based Clause-Level Framework for Satisfiability Modulo Nonlinear Real Arithmetic Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

clauseSMT: A NLSAT-Based Clause-Level Framework for Satisfiability Modulo Nonlinear Real Arithmetic Theory

Wang, Zhonghan

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
50
Type-Theoretic Approaches to Ordinals
Type-Theoretic Approaches to Ordinals
Material Type:
Artigo 		Adicionar ao Meu Espaço

Type-Theoretic Approaches to Ordinals

Kraus, Nicolai ; sberg, Fredrik Nordvall ; Xu, Chuangjie

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5.988)
  2. Revistas revisadas por pares (4.611)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (5.722)
  2. Anais de Congresso  (479)
  3. Livros  (255)
  4. magazinearticle  (27)
  5. Book Chapters  (7)
  6. Reports  (5)
  7. Resenhas  (2)
  8. Verbetes  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1979  (21)
  2. 1979Até1990  (67)
  3. 1991Até2001  (330)
  4. 2002Até2013  (2.670)
  5. Após 2013  (3.513)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (355)
  2. Chinês  (9)
  3. Português  (9)
  4. Alemão  (4)
  5. Espanhol  (4)
  6. Russo  (2)
  7. Turco  (1)
  8. Croatian  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.