On the formalization of gamma function in HOL (Q2352499): Difference between revisions

@@ Property / describes a project that uses @@
+Matlab
@@ Property / describes a project that uses: Matlab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-014-9311-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2137545064
@@ Property / OpenAlex ID: W2137545064 / rank @@
+Normal rank
@@ Property / cites work @@
+Fractional differentiation for edge detection
@@ Property / cites work: Fractional differentiation for edge detection / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520081
@@ Property / cites work: Q5520081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3497626
@@ Property / cites work: Q3497626 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3577391
@@ Property / cites work: Q3577391 / rank @@
+Normal rank
@@ Property / cites work @@
+The HOL Light theory of Euclidean space
@@ Property / cites work: The HOL Light theory of Euclidean space / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling the Cardiac Tissue Electrode Interface Using Fractional Calculus
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+Using theorem proving to verify expectation and variance for discrete random variables
+Normal rank
@@ Property / cites work @@
+Formalization of Continuous Probability Distributions
+Normal rank
@@ Property / cites work @@
+Mittag-Leffler functions and their applications
@@ Property / cites work: Mittag-Leffler functions and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Three Chapters of Measure Theory in Isabelle/HOL
@@ Property / cites work: Three Chapters of Measure Theory in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Finite-State Discrete-Time Markov Chains in HOL
+Normal rank
@@ Property / cites work @@
+Q4325915
@@ Property / cites work: Q4325915 / rank @@
+Normal rank
@@ Property / cites work @@
+Fractional calculus models of complex dynamics in biological tissues
+Normal rank
@@ Property / cites work @@
+On the Formalization of the Lebesgue Integration Theory in HOL
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+On Kronecker limit formula for real quadratic fields
+Normal rank
@@ Property / cites work @@
+Computer theorem proving in mathematics
@@ Property / cites work: Computer theorem proving in mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of HOL4
@@ Property / cites work: A Brief Overview of HOL4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339159
@@ Property / cites work: Q3339159 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2352499