Search Results - "Mathematical proofs"

On Natural Language Stringsets, Senses, and Generative Capacity.

Authors: Radzinski, Daniel (AUTHOR) radzinski@gmail.com

Source: Computational Linguistics. Jun2026, Vol. 52 Issue 2, p831-840. 10p.

Subjects: Semantics, Mathematical proofs, Formal languages, Language & languages, Lexicology, Natural languages

Mathematicians grapple with a 'very rapid and very unsettling change' as AI cracks yet another century-old problem.

Authors: Roytburg, Eva (AUTHOR)

Source: Fortune.com. 7/22/2026, pN.PAG-N.PAG. 1p.

A Structured Reconstruction of Identity Proofs in Wu's Method for Automated Geometric Theorem Proving.

Authors: Lei, Siran Zhou, Qixin Guan, Hao et al.

Source: Mathematics (2227-7390). Jul2026, Vol. 14 Issue 13, p2442. 27p.

Educação matemática enraizada na cultura: contribuições da etnomatemática para salas de Silent Geometry, Talking Roots.

Authors: Svoboda, Hervé Roustan, Valentin

Source: Ohio Journal of School Mathematics. Summer2026, Vol. 103, p88-91. 4p.

Subject Terms: *Mathematics education, Square root, Mathematical proofs, Mathematical inequalities, Pythagorean theorem, Geometry

The Fundamental Theorem of Galois Theory.

Authors: Schwarzweller, Christoph¹ (AUTHOR)

Source: Formalized Mathematics. Jun2026, Vol. 34 Issue 1, p9-16. 8p.

Mathematical Proof of the Ordinal Marginal Preference Theory Under the Fixed Exchange Conditions.

Authors: Tzeng, Jengnan Peng, Shi-Shu

Source: New Mathematics & Natural Computation. Jun2026, Vol. 22 Issue 2, p427-448. 22p.

THE GREAT DISRUPTION.

Authors: ORNES, STEPHEN (AUTHOR)

Source: Science News. May2026, Vol. 208 Issue 5, p60-67. 8p. 1 Color Photograph, 3 Black and White Photographs, 1 Cartoon or Caricature.

Subjects: Artificial intelligence, Mathematical proofs, Imperial College, London, Mathematicians, Intuition

Reinforcement Learning Exploration Strategy Based on Performance Feedback: Asymptotic Convergence Proof and Experimental Validation.

Authors: Chen, Zheng Shao, Xinhui

Source: Mathematics (2227-7390). May2026, Vol. 14 Issue 9, p1487. 32p.

Investigating insight and rigour as separate constructs in mathematical proof.

Authors: Sangwin, C. J. Kinnear, George

Source: Research in Mathematics Education. Apr2026, Vol. 28 Issue 1, p25-53. 29p.

Subject Terms: *Mathematics education, *Comparative studies, Mathematical proofs, Awareness, Statistical reliability

Reinterpreting the numerical discourse: a commognitive study of teachers' support of students' transition into the proving discourse.

Authors: Klock, Sigrid Iversen¹ (AUTHOR) sigrid.iversen@ntnu.no

Source: Research in Mathematics Education. Apr2026, Vol. 28 Issue 1, p77-97. 21p.

Subject Terms: *Educators, *Educational support, *Discourse analysis, *Discourse, *Academic support programs, Mathematical proofs

Polynomial Commitment Schemes from Classical Constructions to Post-Quantum Directions.

Authors: Iavich, Maksim Kuchukhidze, Tamari Bocu, Razvan

Source: Cryptography (2410-387X). Apr2026, Vol. 10 Issue 2, p27. 25p.

Another improvement of Weitzenböck's inequality.

Authors: Tran, Quang Hung¹ tranquanghung@hus.edu.vn

Source: Elemente der Mathematik. 2026, Vol. 81 Issue 2, p78-82. 5p.

A New Proof for Distance Between Skew Lines.

Authors: Johar, Syafiq (AUTHOR) msyajoh@gmail.com

Source: College Mathematics Journal. Mar2026, Vol. 57 Issue 2, p133-140. 8p.

Mathematics teacher practices to foster reasoning and communication through making connections.

Authors: Chico, Judit de Gamboa, Genaro Badillo, Edelmira et al.

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p3208-3215. 8p.

Supporting pre-service teachers in learning to promote students' proving: the case of general conjectures.

Authors: Ødegaard, Reidun Persdatter¹ reidunp@ntnu.no

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p3051-3058. 8p.

Analysis of mixed-types in pre-service teachers' argumentation using a digital tool.

Authors: Stechemesser, Julia Marie Schacht, Florian

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p2713-2720. 8p.

Investigating undergraduates' proof methods in linear algebra.

Authors: de la Cruz Benito, Anairis Andrews-Larson, Christine

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p2197-2204. 8p.

Towards design principles for learning environments based on theorem provers.

Authors: Gamelo, Irene Liebendörfer, Michael

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p1766-1773. 8p.

Deterministic model for objectifying the students' proving process in Discrete Mathematics.

Authors: Da Ronch, Mickaël¹ Mickael.DaRonch@hepvs.ch

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p1742-1749. 8p.

Subjective theories of teacher trainers as to how to initiate argumentation and proving processes for geometry in lower secondary school classrooms.

Authors: Halverscheid, Stefan Harland, Marina

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p687-694. 8p.