Search Results

Pondering the Ugly Underbelly, and Whether Images Are Real.

• Authors : Hill, Robin K.¹ (AUTHOR); Baquero, Carlos² (AUTHOR)

Subjects: *ARTIFICIAL intelligence; MATHEMATICAL proofs; DIGITAL images

• Source: Communications of the ACM. Mar2024, Vol. 67 Issue 3, p8-10. 3p.

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Picturing Mathematics (Education) in New Ways.

• Authors : Huber, Mark¹ ; Karaali, Gizem²

Subjects: *MATHEMATICAL proofs; *GENERATIVE artificial intelligence; *BRAID group (Knot theory)

• Source: Journal of Humanistic Mathematics. Jul2024, Vol. 14 Issue 2, p1-3. 3p.

Record details

Formal Software Verification Measures Up: Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?

• Authors : Greengard, Samuel

Subjects: *COMPUTER programming; *COMPUTER software development; SOFTWARE verification

• Source: Communications of the ACM. Jul2021, Vol. 64 Issue 7, p13-15. 3p. 1 Color Photograph.

Record details

Problems and Solutions.

Subjects: RECTANGLES; MATHEMATICAL proofs; MATHEMATICAL formulas

• Source: Mathematics Magazine. Jun2024, Vol. 97 Issue 3, p332-341. 10p.

Record details

Dedekind Cuts, Moving Markers, and the Uncountability of ℝ.

• Authors : Ross, David A.

Subjects: DEDEKIND cut; MATHEMATICAL proofs; COUNTING

• Source: Mathematics Magazine. Jun2024, Vol. 97 Issue 3, p286-292. 7p.

Record details

A Tale on the Optimal Splitting of a Cake Among Seven People with Three Cuts.

• Authors : Kalantari, Bahman

Subjects: SYMMETRIC spaces; MATHEMATICAL proofs; MATHEMATICAL models

• Source: Mathematics Magazine. Jun2024, Vol. 97 Issue 3, p267-271. 5p.

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Reviews.

• Authors : Scoville, Nicholas A. (AUTHOR)

Subjects: MATHEMATICAL proofs; GOLDEN ratio; COLLEGE curriculum

• Source: American Mathematical Monthly. Oct2024, Vol. 131 Issue 8, p732-736. 5p.

Record details

Mathematical Proofs : A Transition to Advanced Mathematics

• Authors : Gary Chartrand; Albert D. Polimeni; Ping Zhang

Subjects: Proof theory--TextbooksMATHEMATICS / General

Record details