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

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

Maryna Viazovska.

• Authors : Kluger, Jeffrey (AUTHOR); Dickstein, Leslie (AUTHOR); Espada, Mariah (AUTHOR)

Subjects: *MATHEMATICIANS; *CELL phones; MATHEMATICAL proofs

• Source: TIME Magazine. 10/10/2022, Vol. 2022 Issue 13/14, p62-62. 1p. 1 Color Photograph.

Record details

The Incircle of an Arbelos.

• Authors : Nelsen, Roger B.

Subjects: QUADRILATERALS; MATHEMATICAL proofs; MATHEMATICS theorems

• Source: Mathematics Magazine. Jun2024, Vol. 97 Issue 3, p276-278. 3p.

Record details

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

Record details

The complex rules of wrinkling have been worked out.

• Authors : Padavic-Callaghan, Karmela (AUTHOR)

Subjects: MATHEMATICAL proofs; WRINKLE patterns; PLASTICS

• Source: New Scientist. 9/3/2022, Vol. 255 Issue 3402, p10-10. 1p.

Record details

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

Record details