topological-groups
Formalization of topological groups in Isabelle
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (2.8%) to scientific vocabulary
Repository
Formalization of topological groups in Isabelle
Basic Info
- Host: GitHub
- Owner: nkrofta
- License: mit
- Language: Isabelle
- Default Branch: main
- Size: 52.7 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Topological groups are blends of groups and topological spaces with the property that the multiplication and inversion operations are continuous functions. They frequently occur in mathematics and physics, e.g. in the form of Lie groups. This project is a formalization of topological groups for the theorem prover Isabelle. It contains basic properties of topological groups as well as their uniform structures. The most notable formalized result is the Birkhoff-Kakutani theorem which gives a necessary and sufficient condition for the metrizability of a topological group. Examples for topological groups, such as the general linear group, are also included.
Owner
- Login: nkrofta
- Kind: user
- Repositories: 2
- Profile: https://github.com/nkrofta
CodeMeta (codemeta.json)
{
"@context": "https://doi.org/10.5063/schema/codemeta-2.0",
"type": "SoftwareSourceCode",
"author": [
{
"id": "_:author_1",
"type": "Person",
"affiliation": {
"type": "Organization",
"name": "Technical University of Munich"
},
"email": "niklas.krofta@tum.de",
"familyName": "Krofta",
"givenName": "Niklas"
}
],
"codeRepository": "https://github.com/nkrofta/Topological-Groups",
"dateCreated": "2024-04-01",
"datePublished": "2024-07-31",
"description": "This Software is a formalization of topological groups and their basic properties for the theorem prover Isabelle.",
"license": "https://spdx.org/licenses/MIT",
"name": "Formalization of Topological Groups in Isabelle",
"programmingLanguage": "Isabelle",
"runtimePlatform": "Isabelle"
}