Classification Information
Downloadable computer software using artificial intelligence (AI) for symbolic reasoning, mathematical proof verification, and theorem proving.
Electrical and Scientific ApparatusDownloadable computer software using artificial intelligence (AI) for symbolic reasoning, mathematical proof verification, and theorem proving.
Electrical and Scientific Apparatus