Formalization of geometric algebra in HOL Light (Q2323452)

From MaRDI portal
Revision as of 08:04, 20 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Formalization of geometric algebra in HOL Light
scientific article

    Statements

    title
    Formalization of geometric algebra in HOL Light (English)
    0 references
    author
    Liming Li
    0 references
    Zhiping Shi
    0 references
    Yong Guan
    0 references
    Qianying Zhang
    0 references
    Yong-Dong Li
    0 references
    publication date
    2 September 2019
    0 references
    zbMATH Keywords
    formalization
    0 references
    geometric algebra
    0 references
    multivectors
    0 references
    metrics
    0 references
    HOL Light
    0 references
    describes a project that uses
    BIGEBRA
    0 references
    kepler98
    0 references
    ML
    0 references
    HOL
    0 references
    HOL Light
    0 references
    Isabelle
    0 references
    GitHub
    0 references
    ACL2
    0 references
    CLIFFORD
    0 references
    Mizar
    0 references
    GABLE
    0 references

    Identifiers

    zbMATH DE Number
    7100463
    0 references
    OpenAlex ID
    W2902885544
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2323452&oldid=36521103"
    Powered by MediaWiki