Publications associées à Logique mathématique

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Moments of the number of points in a bounded set for number field lattices

Maryna Viazovska, Nihar Prakash Gargava, Vlad Serban

We examine the moments of the number of lattice points in a fixed ball of volume

V

for lattices in Euclidean space which are modules over the ring of integers of a number field

K

. In particular, denoting by

ω_K

the number of roots of unity in

K

, we ...

arXiv2023

Logique mathématique

Graph Chatbot

Chattez avec Graph Search

LISA – A Modern Proof System

Complex Representation Learning with Graph Convolutional Networks for Knowledge Graph Alignment

Correspondence functors and duality

Moments of the number of points in a bounded set for number field lattices

Early decoding of walking tasks with minimal set of EMG channels

Model agnostic methods meta-learn despite misspecifications

Equivariant Neural Architectures for Representing and Generating Graphs

Results on Sparse Integer Programming and Geometric Independent Sets

Positive Definite Completions and Continuous Graphical Models

Improving Standard-Cell Design Flow using Factored Form Optimization

Complex Representation Learning with Graph Convolutional Networks for Knowledge Graph Alignment

Equivariant Neural Architectures for Representing and Generating Graphs

Results on Sparse Integer Programming and Geometric Independent Sets

LISA – A Modern Proof System

Moments of the number of points in a bounded set for number field lattices

Early decoding of walking tasks with minimal set of EMG channels

Improving Standard-Cell Design Flow using Factored Form Optimization

Model agnostic methods meta-learn despite misspecifications

Correspondence functors and duality

Positive Definite Completions and Continuous Graphical Models