Mechanization of tedious algebra

DOI10.1145/363707.363710MaRDI QIDQ5339788zbMATH OpenOpenAlexWikidataFDO

Authors J. M. Gerard, Imre Izsak, Michael P. Barnett

Publication date 1965

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/363707.363710

zbMATH Keywords

numerical analysis

This page was built for publication: Mechanization of tedious algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5339788)