Search Results - Formalized Mathematics

  • Showing 1 - 13 results of 13
Refine Results
  1. Cover Image

    Formalism and Empiricism: On the Value of Thinking Mathematically About Social Grouping and Corporateness

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    A Formal Proof of Stirling’s Formula

    Published in Formalized Mathematics (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Formalization of Separable Version of Banach–Alaoglu Theorem

    Published in Formalized Mathematics (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Formal Verification of Imperative First-Class Functions in Move

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Surreal Dyadic and Real Numbers: A Formal Construction

    Published in Formalized Mathematics (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

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

    Published in Formalized Mathematics (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Finitely generated subgroups of free groups as formal languages and their cogrowth

    Published in Groups, Complexity, Cryptology (2021)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    New skillsets for future science, technology, engineering and mathematics (STEM) library workforce

    Published 2019
    Full Text Available
    Access Repository
    Conference Proceeding
    Save to List
    Saved in:
  11. Cover Image

    New skillsets for future science, technology, engineering and mathematics (STEM) library workforce

    Published 2019
    Full Text Available
    Access Repository
    Conference Proceeding
    Save to List
    Saved in:
  12. Cover Image

    Nigerian students' perceptions of academic departments as a teaching and learning environment

    Published 2002-11
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  13. Cover Image

    Teacher-initiated student-peer assessment: a means of improving learning-assessment in large classes

    Published 2007-01
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:

Search Tools: