41 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Brazilian Society of Computational and Applied MathematicsBR1 paper
- Fundação de Amparo à Pesquisa do Estado de São PauloBR1 paper
- Fundação Getulio VargasBR1 paper
- Institut des Sciences AnalytiquesFR1 paper
- Instituto de Estudos Avançados da Universidade de São Paulo1 paper
- Lyon 1 UniversitéFR1 paper
- New York UniversityUS1 paper
- Pontifícia Universidade Católica do Rio de JaneiroBR1 paper
- Universidade de São PauloBR1 paper
- Universidade Federal FluminenseBR1 paper
4 papers
Diagonals and algebraicity modulo : a sharper degree bound
Boris Adamczewski, Alin Bostan, Xavier Caruso
In 1984, Deligne proved that for any prime number , the reduction modulo of the diagonal of a multivariate algebraic power series with integer coefficients is algebraic over…
Artificial Intelligence for reverse engineering: application to detergents using Raman spectroscopy
Pedro Marote, Marie Martin, Anne Bonhomme +2
The reverse engineering of a complex mixture, regardless of its nature, has become significant today. Being able to quickly assess the potential toxicity of new commercial products…
CrimAnalyzer: Understanding Crime Patterns in São Paulo City
Garcia-Zanabria, Germain, Silveira +13
São Paulo is the largest city in South America, with high criminality rates. The number and type of crimes varies considerably around the city, assuming different patterns dependin…
Revisiting the proof theory of Classical S4
Bruno Lopes, Cecília Englander, Fernanda Lobo +1
In 1965 Dag Prawitz presented an extension of Gentzen-type systems of Natural Deduction to modal concepts of S4. Maria da Paz Medeiros showed in 2006 that the proof of normalisatio…