A Rational Reconstruction of a System for Experimental Mathematics
From MaRDI portal
Publication:5428256
DOI10.1007/978-3-540-73086-6_2zbMath1202.68374WikidataQ60712752 ScholiaQ60712752MaRDI QIDQ5428256
William M. Farmer, Jacques Carette, Volker Sorge
Publication date: 28 November 2007
Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_2
Related Items
Uses Software