Gauge integral (Q1688749): Difference between revisions

From MaRDI portal
← Older edit
‎Changed an Item
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(6 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Coq / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Isabelle/HOL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: HOL Light / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Mizar / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1515/forma-2017-0021 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4243541202 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mizar: State-of-the-art and Beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Return to the Riemann Integral / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4523439 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formalization of real analysis: a survey of proof assistants and libraries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cousin's Lemma / rank
 
Normal rank
Property / cites work
 
Property / cites work: Revisions as an Essential Tool to Maintain Mathematical Repositories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3152414 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Riemann-Stieltjes integral / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3505047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4258069 / rank
 
Normal rank

Latest revision as of 23:19, 14 July 2024

scientific article
Language Label Description Also known as
English
Gauge integral
scientific article

    Statements

    title
    Gauge integral (English)
    0 references
    author
    Roland Coghetto
    0 references
    publication date
    11 January 2018
    0 references
    Mathematics Subject Classification ID
    26A39
    0 references
    26A42
    0 references
    03B35
    0 references
    zbMATH DE Number
    6824777
    0 references
    zbMATH Keywords
    gauge integral
    0 references
    Henstock-Kurzweil integral
    0 references
    generalized Riemann integral
    0 references
    describes a project that uses
    ACL2
    0 references
    Coq
    0 references
    Isabelle/HOL
    0 references
    HOL Light
    0 references
    Mizar
    0 references
    OpenAlex ID
    W4243541202
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1688749&oldid=36364958"
    Powered by MediaWiki