Computer supported mathematics with \(\Omega\)MEGA
From MaRDI portal
Publication:865650
DOI10.1016/j.jal.2005.10.008zbMath1107.68101MaRDI QIDQ865650
Christoph Benzmüller, Serge Autexier, Jörg H. Siekmann
Publication date: 20 February 2007
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2005.10.008
artificial intelligence; proof planning; computer-supported mathematics; interactive and automated theorem-proving; Omega; proof assistant systems
68W30: Symbolic computation and algebraic computation
Uses Software