Anlauff, M.M.AnlauffJähnichen, S.S.JähnichenSimons, M.M.Simons2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/323714en004006400An experimental support system for formal mathematical reasoningconference paper