A Formal Proof of Stirling’s Formula

Get full text

Formalization of Separable Version of Banach–Alaoglu Theorem

Get full text

Formalizing auctions by Randrianomentsoa, Rojo Fanamperana

Get full text

Surreal Dyadic and Real Numbers: A Formal Construction

Get full text

Formalization of Wallis Infinite Product Formula for π and the Wallis Integral

Get full text

Regulated rewriting in formal language theory by Taha, Mohamed A. M. S

Subjects: “…Formal language theory…”
Get full text

Advanced Sarcasm Detection Using Transformer-Based Models: Analyzing Variations in Formal and Informal Languages

Get full text

A formal language theory approach to music generation by Schulze, Walter

Get full text

Formal specification and verification of safety interlock systems: A comparative case study by Seotsanyana, Motlatsi

Subjects: “…Theses -- Mathematics…”
Get full text

Toward a formalism for the identification of topological phenomena in classical dynamics by Folscher, Nicholas Christian

Get full text

A duality theoretic perspective on recognisable languages by Rozanova, Julia

Subjects: “…Formal language theory…”
Get full text

The school mathematics textbook as an instantiation of the pedagogic discourse of school mathematics by Press, Karen

“…The analysis demonstrates that formal and structural features of the textbook contribute significantly to the production of subject positions for the learner of school mathematics, and thus to the production of the discursive practice of school mathematics. …”
Get full text

Evaluating the effectiveness of Advanced Programme Mathematics in preparing learners for university mathematics by Du Plessis, Hester

“…This study focuses on the optional course in Mathematics, called Advanced Programme Mathematics (APM), which is offered and assessed by the Independent Examination Board in the final three years of high school in South Africa. …”
Get full text

Formal assessment practices of Computer Application technology teachers

Get full text

Local class field theory via Lubin-Tate theory by Mohamed, Adam

Subjects: “…Dissertations -- Mathematics…”
Get full text

Identity and modelling in mathematical literacy : a case study in designing mathematical literacy investigations by Frenzel, Jeanne-Mari

Get full text

An investigation into children's developing mathematical abilities by Gurney, Jean Rosemarie

Get full text

Generalized nondeterminism and the succinct representation of regular languages by Van Zijl, Lynette

Subjects: “…Formal languages…”
Get full text

A mathematical formulation of intelligent agents and their activities by Jeftha, Lindsey

Get full text

Investigation into mathematics instruction for learners with learning difficulties

Get full text