ADEPT. A HEURISTIC PROGRAM FOR PROVING THEOREMS OF GROUP THEORY
Lewis M. Norton · DSpace@MIT (Massachusetts Institute of Technology) · 1966
A computer program, nanrod ADT (A Distinctly pirical Prover of eor), s been witt ich pr r groups. Its orgti is s11y hrtc corrting y of tiques of e h mtie pried Ist 1 thrm, is well is se is i viCle for testinS d lltS spl-e hristics. A deild dcrtion of e prr is sult by c of its perfore pridins y sits to e particur probl of a predure capable of prov a variety of tr m s dn. S ve fola for rez efforts al e lin, d cars [ reed rk prev[sly de.