computer-assisted proof (Q1150675)

From Wikidata
Jump to: navigation, search
Mathematical proof at least partially generated by computer
    No aliases defined
[edit]
Language Label Description Also known as
English
computer-assisted proof
Mathematical proof at least partially generated by computer

    Statements