Theorema: Towards computeraided mathematical theory exploration (0)

by B Buchberger, A Craciun, T Jebelean, L Kovacs, T Kutsia, K Nakagawa, F Piroi, N Popov, J Robu, M Rosenkrantz, W Windsteiger
Venue:Journal of Applied Logic