1999 · 29 citations · 9 references
ComputingComputer ScienceAlgebraLogicTheory Of ComputationAutomated ReasoningComputational AlgebraTheorem ProvingAutomated Theorem ProvingAutomated Theorem Proving In AlgebraAutomatic Theorem ProvingCase Study MethodologyComputer Algebra SystemsSymbolic Computation
\Ve assws the current state of research in the application of coluputcr aidd fbllal rCilsOIliIlg to couqmtrr illgt?~Jl'?l: ihlld argUC ~.llilt f?Ulbdtl(!d VWifiCat.iOll
9
A survey of the project Automath
de Ng Dick Bruijn · Data Archiving and Networked Services (DANS) · 1980 · 258 citations · Full text
CRC standard mathematical tables and formulae
Choice Reviews Online · 1996 · 175 citations
Engineering, Mathematics, Logic +5
Joel Moses · NASA Technical Reports Server (NASA) · 1966 · 91 citations · Full text
A survey of the <i>Theorema</i> project
Bruno Buchberger, Tudor Jebelean, Franz Kriftner et al. · 1997 · 69 citations