scientific article; zbMATH DE number 6127020

MaRDI QIDQ4903017zbMATH OpenFDO

Authors Michal Křížek, J. H. Brandts

Publication date 18 January 2013

zbMATH Keywords

Google matrixweb site evaluation

Mathematics Subject Classification ID

Internet topics (68M11)

Cited in

(1)

• Computer theorem proving in mathematics

This page was built for publication:

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