Mathematical Knowledge Archives in Theorema

by Camelia Rosenkranz , Bruno Buchberger , Tudor Jebelean