Search Results

How machines can make mathematics more congressive.

• Authors : Cheng, Eugenia¹ (AUTHOR)

• Source: Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p305-315. 11p.

Record details

Abstraction boundaries and spec driven development in pure mathematics.

• Authors : Commelin, Johan¹ (AUTHOR); Topaz, Adam² (AUTHOR)

• Source: Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p241-255. 15p.

Record details

Constructing optimal star discrepancy sets.

• Authors : Clément, François¹ (AUTHOR); Doerr, Carola¹ (AUTHOR); Klamroth, Kathrin² (AUTHOR)

• Source: Proceedings of the American Mathematical Society, Series B. 5/2/2025, Vol. 12, p78-90. 13p.

Record details

Abstraction Boundaries and Spec Driven Development in Pure Mathematics

• Authors : Sub Fundamental Mathematics; Commelin, J; Topaz, A

Record details

Mathematics, word problems, common sense, and artificial intelligence.

• Authors : Davis, Ernest¹ (AUTHOR)

• Source: Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p287-303. 17p.

Record details

A note on energy minimization in dimension 2.

• Authors : Faulhuber, Markus¹ (AUTHOR); Shafkulovska, Irina¹ (AUTHOR); Zlotnikov, Ilia¹ (AUTHOR)

• Source: Proceedings of the American Mathematical Society, Series B. 12/17/2024, Vol. 11, p664-679. 16p.

Record details

Indecomposable characters.

• Authors : Nessonov, Nikolay¹ (AUTHOR); Ngo, Nhok Tkhai Shon² (AUTHOR)

• Source: Representation Theory. 4/10/2025, Vol. 29, p256-288. 33p.

Record details

The Thurston norm via spun-normal immersions.

• Authors : Cooper, Daryl¹ (AUTHOR); Tillmann, Stephan² (AUTHOR); Worden, William³ (AUTHOR)

• Source: Transactions of the American Mathematical Society, Series B. 3/4/2025, Vol. 12, p191-236. 46p.

Record details

Extended affine Lie algebras, affine vertex algebras, and general linear groups.

• Authors : Chen, Fulin¹ (AUTHOR); Li, Haisheng² (AUTHOR); Tan, Shaobin¹ (AUTHOR)

• Source: Representation Theory. 2/13/2025, Vol. 29, p60-107. 48p.

Record details

Mathematics and the formal turn.

• Authors : Avigad, Jeremy¹ (AUTHOR)

• Source: Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p225-240. 16p.

Record details