Mathematical Journals as Reasoning Agents: Literature Review (2008)

by Florina Piroi, Bruno Buchberger, Camelia Rosenkranz