Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"formal mathematics"”.
-
Essays on cognition in development economics
… improvements did not translate into improved formal mathematics skills. The second chapter asks whether the omnipresent noise in developing contexts reduces worker productivity by impairing cognitive function. Using a pair of randomized field experiments, I found that noise substantially …
-
Understanding linear algebra concepts through the embodied, symbolic and formal worlds of mathematical thinking
Linear algebra is one of the first advanced mathematics courses that students encounter at university level. The transfer from a primarily procedural or algorithmic school approach to an abstract and formal presentation of concepts through concrete definitions, seems to be creating difficulty for …
-
Applying realistic mathematics education in Vietnam : teaching middle school geometry
… Institute has developed an approach to mathematics education named Realistic Mathematics Education (RME). The philosophy of RME is based on Hans Freudenthal’s concept of ‘mathematics as a human activity’. Prof. Hans Freudenthal (1905-1990), a mathematician and educator, believes that …
-
Language models for verifiable mathematical automation: Interaction, integration, and autoformalization
Stronger automation in formal mathematical reasoning provides scalability, trust-worthiness, and accessibility: it enables efficient verification of complex proofs, reduces the likelihood of errors in intricate calculations, allows non-experts to engage with mathematical concepts, and potentially …
-
Formalizing Clifford algebras and related constructions in the Lean theorem prover
… “Lean”, which is seeing increasing adoption in mathematics departments. The focus is much broader than simply formalizing Clifford algebras; Lean has an expansive and monolithic library of formalized mathematics, mathlib, which the author made Clifford algebras a part of. Over the course of this …