Results for Formalized Mathematics Showing 1 - 13 results of 13 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=Formalized+Mathematics&type=AllFields&lng=en 13 0 50 Nigerian students' perceptions of academic departments as a teaching and learning environment Tue, 01 Jan 2002 04:43:39 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2195 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2195 Article 2002 0 Teacher-initiated student-peer assessment: a means of improving learning-assessment in large classes Mon, 01 Jan 2007 04:43:39 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2829 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2829 Article 2007 0 New skillsets for future science, technology, engineering and mathematics (STEM) library workforce Tue, 01 Jan 2019 04:43:39 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F7830 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F7830 Conference Proceeding 2019 0 New skillsets for future science, technology, engineering and mathematics (STEM) library workforce Tue, 01 Jan 2019 04:43:39 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F8389 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F8389 Conference Proceeding 2019 0 Formalization of Separable Version of Banach–Alaoglu Theorem Wed, 01 Jan 2025 04:43:39 -0500 https://search.frelip.org/Record/rss_article:17009 https://search.frelip.org/Record/rss_article:17009 Online Article RSS Article 2025 0 Formalization of Wallis Infinite Product Formula for π and the Wallis Integral Wed, 01 Jan 2025 04:43:39 -0500 https://search.frelip.org/Record/rss_article:17018 https://search.frelip.org/Record/rss_article:17018 Online Article RSS Article 2025 0 A Formal Proof of Stirling’s Formula Wed, 01 Jan 2025 04:43:39 -0500 https://search.frelip.org/Record/rss_article:17019 https://search.frelip.org/Record/rss_article:17019 Online Article RSS Article 2025 0 Surreal Dyadic and Real Numbers: A Formal Construction Wed, 01 Jan 2025 04:43:39 -0500 https://search.frelip.org/Record/rss_article:17023 https://search.frelip.org/Record/rss_article:17023 Online Article RSS Article 2025 0 Finitely generated subgroups of free groups as formal languages and their cogrowth Fri, 01 Jan 2021 04:43:39 -0500 https://search.frelip.org/Record/rss_article:17077 https://search.frelip.org/Record/rss_article:17077 Online Article RSS Article 2021 0 Formalism and Empiricism: On the Value of Thinking Mathematically About Social Grouping and Corporateness Tue, 01 Jan 2008 04:43:39 -0500 https://search.frelip.org/Record/rss_article:35220 https://search.frelip.org/Record/rss_article:35220 Online Article RSS Article 2008 0 täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version) Thu, 01 Jan 2026 04:43:39 -0500 https://search.frelip.org/Record/rss_article:50018 https://search.frelip.org/Record/rss_article:50018 Online Article RSS Article 2026 0 MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries Thu, 01 Jan 2026 04:43:39 -0500 https://search.frelip.org/Record/rss_article:50555 https://search.frelip.org/Record/rss_article:50555 Online Article RSS Article 2026 0 Formal Verification of Imperative First-Class Functions in Move Thu, 01 Jan 2026 04:43:39 -0500 https://search.frelip.org/Record/rss_article:50877 https://search.frelip.org/Record/rss_article:50877 Online Article RSS Article 2026 0