Works matching IS 02730979 AND DT 2024 AND VI 61 AND IP 2

Results: 13
    1

    Will machines change mathematics?

    Published in:
    Bulletin (New Series) of the American Mathematical Society, 2024, v. 61, n. 2, p. 201, doi. 10.1090/bull/1836
    By:
    • Fraser, Maia;
    • Granville, Andrew;
    • Harris, Michael H.;
    • McLarty, Colin;
    • Riehl, Emily;
    • Venkatesh, Akshay
    Publication type:
    Article
    2

    Mathematical reasoning and the computer.

    Published in:
    Bulletin (New Series) of the American Mathematical Society, 2024, v. 61, n. 2, p. 211, doi. 10.1090/bull/1833
    By:
    • Buzzard, Kevin
    Publication type:
    Article
    3

    A note from the chief editor.

    Published in:
    Bulletin (New Series) of the American Mathematical Society, 2024, v. 61, n. 2, p. 199, doi. 10.1090/bull/1837
    By:
    • Adem, Alejandro
    Publication type:
    Article
    4
    5

    Mathematics and the formal turn.

    Published in:
    Bulletin (New Series) of the American Mathematical Society, 2024, v. 61, n. 2, p. 225, doi. 10.1090/bull/1832
    By:
    • Avigad, Jeremy
    Publication type:
    Article
    6
    7
    8
    9
    10
    11

    Proof in the time of machines.

    Published in:
    Bulletin (New Series) of the American Mathematical Society, 2024, v. 61, n. 2, p. 317, doi. 10.1090/bull/1826
    By:
    • Granville, Andrew
    Publication type:
    Article
    12
    13