Search Results

Refine Results
  1. Cover Image

    Triangular Fuzzy Set Composed of Two Intersecting Affine Maps

    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:
  2. Cover Image

    Higher Order Partial Differentiable Functions

    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:
  3. Cover Image

    Measure for Product Space of Real Normed Spaces

    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

    Integrability of Multivariable Continuous Functions

    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:
  6. Cover Image

    The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory

    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

    Introduction to Galois Theory

    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

    Elementary Number Theory Problems. Part XVIII

    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:
  9. Cover Image

    Characterization of Finite Galois Extensions

    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:
  10. Cover Image

    Elementary Number Theory Problems. Part XIX

    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:
  11. Cover Image

    Application of Complex Classes to Number Theory

    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:
  12. Cover Image

    Elementary Number Theory Problems. Part XVII

    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:
  13. 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:
  14. 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:
  15. Cover Image

    Semidirect Products of Groups

    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:
  16. Cover Image

    Extensions of Languages in Polish Notation

    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:
  17. Cover Image

    Free Product of Groups

    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:
  18. 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:
  19. Cover Image

    Conway’s Normal Form in the Mizar System

    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:
  20. Cover Image

    Surreal Numbers: A Study of Square Roots

    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:

Search Tools: