Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
Davide Castelvecchi
Topics & Concepts
UnificationSoftwareComputer scienceProof of conceptProof assistantEnhanced Data Rates for GSM EvolutionComputer-assisted proofProgramming languageSoftware engineeringMathematicsMathematical proofAutomated theorem provingArtificial intelligenceOperating systemGeometryComputability, Logic, AI Algorithms