fKenzo: a user interface for computations in algebraic topology. fKenzo is an integral assistant for research in (a subset of) Algebraic Topology. The ”integral” adjective means that this assistant not only provides a graphical interface for using a computational kernel (Kenzo), but also guides the user in his interaction with the system, and as far as possible, produces certificates about the correctness of the computations per- formed.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element