Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by F. Sergeraert
fKenzo: A User Interface for Computations in Algebraic Topology
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra