1 search result for "author:"Holger Thies""

Showing 1 - 1
  1. rocq-taylor-rocqs

    No documentation

    A Taylor-series solver for analytic ODEs, verified in Rocq
    keyword:ordinary differential equations keyword:analytic functions keyword:Taylor series keyword:exact real arithmetic keyword:interval arithmetic logpath:TR
    Holger Thies
    1.1
    MIT
    Used by 0 other packages
    23 Sep 2026