Menu

Filtros : "Computer-assisted proofs" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Artigo de periodico

    Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points (2024)

    Berg, Jan Bouwe van den ; Gameiro, Márcio Fuzeto ; Lessard, Jean-Philippe ; Vorst, Rob Van der

    Source: Foundations of Computational Mathematics. Unidade: ICMC

    Subjects: HOMOLOGIA, EQUAÇÕES DIFERENCIAIS PARCIAIS, TOPOLOGIA DIFERENCIAL

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BERG, Jan Bouwe van den et al. Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points. Foundations of Computational Mathematics, v. 24, p. 1739-1776, 2024Tradução . . Disponível em: https://doi.org/10.1007/s10208-023-09623-w. Acesso em: 03 jan. 2026.

    • APA

      Berg, J. B. van den, Gameiro, M. F., Lessard, J. -P., & Vorst, R. V. der. (2024). Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points. Foundations of Computational Mathematics, 24, 1739-1776. doi:10.1007/s10208-023-09623-w

    • NLM

      Berg JB van den, Gameiro MF, Lessard J-P, Vorst RV der. Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points [Internet]. Foundations of Computational Mathematics. 2024 ; 24 1739-1776.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1007/s10208-023-09623-w

    • Vancouver

      Berg JB van den, Gameiro MF, Lessard J-P, Vorst RV der. Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points [Internet]. Foundations of Computational Mathematics. 2024 ; 24 1739-1776.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1007/s10208-023-09623-w

  • Artigo de periodico

    Rigorous enclosures of solutions of Neumann boundary value problems (2022)

    Ramos, Eduardo ; Nolasco, Victor Hugo ; Gameiro, Márcio Fuzeto

    Source: Applied Numerical Mathematics. Unidade: ICMC

    Subjects: PROBLEMAS DE CONTORNO, TEOREMAS LIMITES

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      RAMOS, Eduardo e NOLASCO, Victor Hugo e GAMEIRO, Márcio Fuzeto. Rigorous enclosures of solutions of Neumann boundary value problems. Applied Numerical Mathematics, v. 180, p. 104-119, 2022Tradução . . Disponível em: https://doi.org/10.1016/j.apnum.2022.05.011. Acesso em: 03 jan. 2026.

    • APA

      Ramos, E., Nolasco, V. H., & Gameiro, M. F. (2022). Rigorous enclosures of solutions of Neumann boundary value problems. Applied Numerical Mathematics, 180, 104-119. doi:10.1016/j.apnum.2022.05.011

    • NLM

      Ramos E, Nolasco VH, Gameiro MF. Rigorous enclosures of solutions of Neumann boundary value problems [Internet]. Applied Numerical Mathematics. 2022 ; 180 104-119.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.apnum.2022.05.011

    • Vancouver

      Ramos E, Nolasco VH, Gameiro MF. Rigorous enclosures of solutions of Neumann boundary value problems [Internet]. Applied Numerical Mathematics. 2022 ; 180 104-119.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.apnum.2022.05.011

  • Tese (Doutorado)

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

    Nolasco, Victor Hugo; Gameiro, Márcio Fuzeto (Orientador)

    Unidade: ICMC

    Subjects: EQUAÇÕES DIFERENCIAIS ORDINÁRIAS, ANÁLISE NUMÉRICA, MATEMÁTICA APLICADA

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      NOLASCO, Victor Hugo. Validação de soluções numéricas para sistemas de equações diferenciais ordinárias. 2022. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102022-141714/. Acesso em: 03 jan. 2026.

    • APA

      Nolasco, V. H. (2022). Validação de soluções numéricas para sistemas de equações diferenciais ordinárias (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102022-141714/

    • NLM

      Nolasco VH. Validação de soluções numéricas para sistemas de equações diferenciais ordinárias [Internet]. 2022 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102022-141714/

    • Vancouver

      Nolasco VH. Validação de soluções numéricas para sistemas de equações diferenciais ordinárias [Internet]. 2022 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102022-141714/
  • 1

1 - 3 (3 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026