Results 11 to 20 of about 2,779,137 (346)
Fractional derivatives and the fundamental theorem of fractional calculus [PDF]
, 2020 In this paper, we address the one-parameter families of the fractional integrals and derivatives defined on a finite interval. First we remind the reader of the known fact that under some reasonable conditions, there exists precisely one unique family of
Yuri Luchko
semanticscholar +1 more source
The fundamental theorem of tropical partial differential algebraic geometry [PDF]
International Symposium on Symbolic and Algebraic Computation, 2020 Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input.
Sebastian Falkensteiner +5 more
semanticscholar +1 more source
Fundamental Homomorphism Theorems for Neutrosophic Triplet Module [PDF]
Neutrosophic Sets and Systems, 2021 In this chapter, our aim is to prove neutro-isomorphism theorems. We define the quotient NT quotient Module and prove the fundamental theorem of neutro-homomorphism. Also, we present and prove the first neutro-isomorphism theorem for neutrosopfic triplet
Mohammad Abobala +2 more
doaj +1 more source
Fundamental Theorem of Calculus: an epistemological analysis
Amazônia, 2022 In this article, we present an epistemological analysis based on a literature review about the development of the Fundamental Theorem of Calculus over time, through problem solving by mathematicians since Antiquity.
Patrícia Benevides de Oliveira +1 more
doaj +1 more source
Gadget structures in proofs of the Kochen-Specker theorem [PDF]
Quantum, 2020 The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets, that capture ...
Ravishankar Ramanathan +5 more
doaj +1 more source
Formalization of the Equivalence among Completeness Theorems of Real Number in Coq
Mathematics, 2020 The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential.
Yaoshun Fu, Wensheng Yu
doaj +1 more source
The Fundamental Theorem of Algebra in ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that continuous functions ...
Ruben Gamboa, John Cowles
doaj +1 more source
The fundamental theorem of finite semidistributive lattices [PDF]
Selecta Mathematica, 2019 We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff’s Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form “A poset L is a finite semidistributive lattice if and only if there exists
Nathan Reading +2 more
semanticscholar +1 more source
Fundamental Theorem of Calculus [PDF]
Advances in Applied Clifford Algebras, 2010 A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green's and Stokes' theorem are discussed, as well as the new theory of monogenic functions, which generalizes the concept of ...
Sobczyk, Garret, Sanchez, Omar
openaire +4 more sources
The didactic transposition of the fundamental theorem of calculus
REDIMAT, 2023 Using the tools of praxeological analysis and didactical transposition analysis, the treatments of the Fundamental Theorem of Calculus in one Norwegian, Grade 13 textbook is analysed, with a particular focus on the development of the logos block of the ...
Vegard Topphol
doaj +1 more source