Matthew England

Avanços recentes em Eliminação de Quantificadores Reais e CAD melhoram a eficiência na resolução de problemas em matemática.