Downloadable computer software using artificial intelligence (AI) for use in automated theorem proving, formal mathematical reasoning, mathematical proof generation and verification, and formal verification of software code for mathematical research and education in the fields of mathematics, computer science, cryptography, and physics, and for building accurate, verifiable or interpretable artificial intelligence (AI) outputs; Recorded computer software using artificial intelligence (AI) for use in automated theorem proving, formal mathematical reasoning, mathematical proof generation and verification, and formal verification of software code for mathematical research and education in the fields of mathematics, computer science, cryptography, and physics, and for building accurate, verifiable or interpretable artificial intelligence (AI) outputs

'accur':46,99 'ai':7,52,60,105 'artifici':5,50,58,103 'autom':11,64 'build':45,98 'code':27,80 'comput':2,38,55,91 'cryptographi':40,93 'download':1 'educ':32,85 'field':35,88 'formal':14,23,67,76 'generat':19,72 'intellig':6,51,59,104 'interpret':49,102 'mathemat':15,17,29,37,68,70,82,90 'output':53,106 'physic':42,95 'proof':18,71 'prove':13,66 'reason':16,69 'record':54 'research':30,83 'scienc':39,92 'softwar':3,26,56,79 'theorem':12,65 'use':4,9,57,62 'verif':21,24,74,77 'verifi':47,100

ARISTOTLE

Owner

Goods & Services