Community articles — Math

The lecture notes are based on Tom Coates' lecture on toric varieties. A few references: M. Audin, Toric actions on symplectic manifolds W. Fulton, Toric varieties Cox-Schenck-Little, Toric varieties

This is the solutions document for a mock AMC10.

Math project.

Multivariate analysis

Um artigo que sugere somente a compreensão dos limites, sem o uso de sua definição formal, que se desenvolve até o entendimento das operações de diferenciação.

Mathematic homework exercise in LaTeX

Math 471 Homework 1

Resumo das Regras para a Dedução Natural Material de aula da disciplina MAC0239 - Introdução à Lógica e Verificação de Programas (Agosto de 2015)

Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP. Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.