Explore projects

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

Spherical Harmonic Transform library aimed at high performance numerical simulations in spherical geometries. It is very fast.

Provides the user with the state machine to execute CamiTK-Action, CamiTK-Component, visualization.

A CEGAR-based solver for maximum model counting