Buscas alternativas:
"Computer-assisted proofs" » "Computer-assisted proof" (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"Computer-assisted proofs"', tempo de busca: 0,46s

1

Assuntos: “...Computer-assisted proofs...”

Validação de soluções numéricas para sistemas de equações diferenciais ordinárias

Publicado em 2022
Acessar documento
Tese