Found 3,805 Documents (Results 501–600)
Nets and sequences of Riemann and Riemann-type integrable functions with values in a Banach space. (English) Zbl 1445.40002
Reviewer: George Stoica (Saint John)
Symmetry and the monotonicity of certain Riemann sums. (English) Zbl 1446.26008
Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 7-20 (2020).
Reviewer: Antonín Slavík (Praha)
MSC:
26A42
Multiparameter singular integrals on the Heisenberg group: uniform estimates. (English) Zbl 1454.43004
Reviewer: Pablo Alejandro Rocha (Buenos Aires)
Transmutations of the composed Erdélyi-Kober fractional operators and their applications. (English) Zbl 1494.44004
Kravchenko, Vladislav V. (ed.) et al., Transmutation operators and applications. Cham: Birkhäuser. Trends Math., 479-508 (2020).
The modulus of oscillation of a function about number sequences and its applications. (English. Russian original) Zbl 1454.26009
Math. Notes 107, No. 1, 145-159 (2020); translation from Mat. Zametki 107, No. 1, 112-129 (2020).
Reviewer: Piotr Sworowski (Bydgoszcz)
Some inequalities for weighted area balance via functions of bounded variation. (English) Zbl 1440.26019
Algebraic structure of the \(L_2\) analytic Fourier-Feynman transform associated with Gaussian paths on Wiener space. (English) Zbl 1444.42005
Reviewer: Virender Dalal (Delhi)
Corrigendum to: “Variable exponent bounded variation spaces in the Riesz sense”. (English) Zbl 1434.26019
Rough integration via fractional calculus. (English) Zbl 1444.26004
Reviewer: James Adedayo Oguntuase (Abeokuta)
Weighted inequalities for the multilinear Hilbert and Calderón operators and applications. (English) Zbl 1437.26028
The Klein-Gordon equation, the Hilbert transform, and dynamics of Gauss-type maps. (English) Zbl 1437.42010
Ulam-type stability for differential equations driven by measures. (English) Zbl 1450.34009
Reviewer: Pham Viet Hai (Hanoi)
A comment on a controversial issue: a generalized fractional derivative cannot have a regular kernel. (English) Zbl 1437.26010
New converses of Jensen inequality via Green functions with applications. (English) Zbl 1437.26030
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 114, No. 3, Paper No. 114, 14 p. (2020).
Parts formulas involving the Fourier-Feynman transform associated with Gaussian paths on Wiener space. (English) Zbl 1453.46042
Derivation formulas of noncausal finite variation processes from the stochastic Fourier coefficients. (English) Zbl 1456.60131
Inside interesting integrals (with an introduction to contour integration). A collection of sneaky tricks, sly substitutions, and numerous other stupendously clever, awesomely wicked, and devilishly seductive maneuvers for computing hundreds of perplexing definite integrals from physics, engineering, and mathematics (plus numerous challenge problems with complete, detailed solutions). 2nd updated edition. (English) Zbl 1437.26002
Undergraduate Lecture Notes in Physics. Cham: Springer (ISBN 978-3-030-43787-9/pbk; 978-3-030-43788-6/ebook). xlvii, 503 p. (2020).
Fractional integrals and their commutators on martingale Orlicz spaces. (English) Zbl 1448.60094
Reviewer: Ferenc Weisz (Budapest)
Fourier series, Fourier transforms, and function spaces. A second course in analysis. (English) Zbl 1447.42005
AMS/MAA Textbooks 59. Providence, RI: MAA Press/American Mathematical Society (AMS) (ISBN 978-1-4704-5145-5/hbk; 978-1-4704-5519-4/ebook). xiv, 354 p. (2020).
Reviewer: Alex Amenta (Bonn)
MSC:
42A38
42A16
42A20
42A24
42B37
42B35
42-01
42A10
26-01
26A42
46-01
47-01
35-01
35L05
35K05
34-01
Foundations of calculus 1. Differentiation and integration in one variable. 3rd edition. (Grundkurs Analysis 1. Differentiation und Integration in einer Veränderlichen.) (German) Zbl 1432.26001
Berlin: Springer Spektrum (ISBN 978-3-662-60812-8/pbk; 978-3-662-60813-5/ebook). x, 427 p. (2020).
Weighted norm inequalities for generalized Fourier-type transforms and applications. (English) Zbl 1450.42003
Reviewer: Nikhil Khanna (New Delhi)
Remarks on estimates for the adjoint restriction operator to curves over the sphere. (English) Zbl 1473.42010
Reviewer: Jotsaroop Kaur (Bengaluru)
Morrey spaces for Schrödinger operators with nonnegative potentials, fractional integral operators and the Adams inequality on the Heisenberg groups. (English) Zbl 1428.42023
Time-fractional heat conduction with heat absorption in a half-line domain due to boundary value of the heat flux varying harmonically in time. (English) Zbl 1427.80007
Malinowska, Agnieszka B. (ed.) et al., Advances in non-integer order calculus and its applications. Proceedings of the 10th international conference on non-integer order calculus and its applications, Bialystok University of Technology, Białystok, Poland, September 20–21, 2018. Cham: Springer. Lect. Notes Electr. Eng. 559, 268-281 (2020).
Stochastic averaging for stochastic differential equations driven by fractional Brownian motion and standard Brownian motion. (English) Zbl 1433.60040
Generalized transforms and generalized convolution products associated with Gaussian paths on function space. (English) Zbl 1456.60083
Mathematics of wavefields. (English) Zbl 1428.35555
Dutta, Hemen (ed.) et al., Applied mathematical analysis: theory, methods, and applications. Cham: Springer. Stud. Syst. Decis. Control 177, 187-231 (2020).
Hardy spaces associated with One-dimensional Dunkl transform for \(\frac{2\lambda}{2\lambda+1}<p\leq1\). arXiv:2004.01777
Preprint, arXiv:2004.01777 [math.CA] (2020).
Fubini theorems for analytic Yeh-Feynman integrals associated with Gaussian processes with applications. arXiv:2001.02770
Preprint, arXiv:2001.02770 [math.FA] (2020).
A theorem on integration based on the digital expansion. arXiv:2003.04762
Preprint, arXiv:2003.04762 [math-ph] (2020).
MSC:
26A42
Leibniz Differential and Non-Standard Calculus. arXiv:2002.12451
Preprint, arXiv:2002.12451 [math.LO] (2020).
On a coupled system of higher order nonlinear Caputo fractional differential equations with coupled Riemann-Stieltjes type integro-multipoint boundary conditions. (English) Zbl 1487.34006
From the integrals to necklaces. (Slovenian. English summary) Zbl 1496.26001
On Riemann-Liouville fractional integral operator of a general class of functions. (English) Zbl 1499.26017
Iterative unique positive solutions for a new class of nonlinear singular higher order fractional differential equations with mixed-type boundary value conditions. (English) Zbl 1499.34085
A restriction estimate for a class of oscillatory integral operators along paraboloid. (English) Zbl 1499.42086
On weighted generalization of trapezoid type inequalities for functions of two variables with bounded variation. (English) Zbl 1488.26089
On one application of infinite systems of functional equations in function theory. (English) Zbl 1498.39030
Oscillatory integrals with uniformity in parameters. (English. French summary) Zbl 1447.41015
On Riemann integration of vector-valued functions. (Chinese. English summary) Zbl 1449.26008
MSC:
26A42
On Kurzweil-Stieltjes equiintegrability and generalized BV functions. (English) Zbl 1499.26024
Reviewer: Antonín Slavík (Praha)
On a generalization of Henstock-Kurzweil integrals. (English) Zbl 1474.26033
Reviewer: Antonín Slavík (Praha)
MSC:
26A39
On the relationships between Stieltjes type integrals of Young, Dushnik and Kurzweil. (English) Zbl 1513.26014
Dyadic harmonic analysis and weighted inequalities: the sparse revolution. (English) Zbl 1473.42019
Aldroubi, Akram (ed.) et al., New trends in applied harmonic analysis. Volume 2. Harmonic analysis, geometric measure theory, and applications. Collected papers based on courses given at the 2017 CIMPA school, Buenos Aires, Argentina, July 31 – August 11, 2017. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 159-239 (2019).
Asymptotics of an integral of a function of boundary layer type. (English. Russian original) Zbl 1442.26010
Mosc. Univ. Math. Bull. 74, No. 5, 212-214 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 5, 58-61 (2019).
On the extension of a Riemann-Stieltjes integral. (On the extension of a Rieman-Stieltjes integral.) (Russian. English summary) Zbl 1441.26008
Reviewer: George Stoica (Saint John)
Discrete Fourier transform and theta function identities. (English) Zbl 1439.33008
Dutta, Hemen (ed.) et al., Current trends in mathematical analysis and its interdisciplinary applications. Cham: Birkhäuser. 55-99 (2019).
On the Elzaki transform and its applications in fractional free electron laser equation. (English) Zbl 1450.44004
Discrepancy bounds for the distribution of the Riemann zeta-function and applications. (English) Zbl 1437.11130
Reviewer: David Joyner (Annapolis)
Generalized multivariate Fink-type identity and some related results on time scales with applications. (English) Zbl 1434.26051
Three-dimensional volume reconstruction based on modified fractional Cahn-Hilliard equation. (English) Zbl 1440.65245
Unique positive solution for nonlinear Caputo-type fractional \(q\)-difference equations with nonlocal and Stieltjes integral boundary conditions. (English) Zbl 1463.39012
One-parameter monotone functionals connected with Stieltjes integrals. (English. Russian original) Zbl 1480.26003
Russ. Math. 63, No. 4, 1-11 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 4, 3-14 (2019).
Several companions of quasi-Grüss type inequalities for complex functions defined on unit circle. (English) Zbl 1449.30001
Existence and uniqueness of solutions for a class of integro-differential equation. (Chinese. English summary) Zbl 1449.45014
Characterizations of Hardy spaces associated with Laplace-Bessel operators. (English) Zbl 1428.42036
Existence and uniqueness of solutions to distributional differential equations involving Henstock-Kurzweil-Stieltjes integrals. (English) Zbl 1432.34005
Fractional Fourier transformation of Schwartz test functions. (English) Zbl 1443.46025
Reviewer: P. K. Banerji (Jodhpur)
Certain results involving fractional operators and special functions. (English) Zbl 1443.44001
Reviewer: Lalit Mohan Upadhyaya (Mussoorie)
On instances of Fox’s integral equation connection to the Riemann zeta function. (English) Zbl 1463.42012
Reviewer: Giovanni Coppola (Napoli)
Approximating the solutions of differential inclusions driven by measures. (English) Zbl 1440.34005
Reviewer: Antonín Slavík (Praha)
Functions of bounded \(p\)-variation and weighted integrability of Fourier transforms. (English) Zbl 1463.42011
Reviewer: Jorge Bustamante González (Puebla)
The generalized p-k-Mittag-Leffler function and solution of fractional kinetic equations. (English) Zbl 1428.33040
Extension of Huygens type inequalities for Bessel and modified Bessel functions. (English) Zbl 1426.33021
Weighted weak-type (1, 1) estimates for radial Fourier multipliers via extrapolation theory. (English) Zbl 1427.42023
Translation theorem for function space integral associated with Gaussian paths and applications. (English) Zbl 1425.60035
Recovering Banach-valued coefficients of series with respect to characters of zero-dimensional groups. (English) Zbl 1438.46052
Reviewer: Constantin Niculescu (Craiova)
On Riesz derivative. (English) Zbl 1426.26010
Infinite point and Riemann-Stieltjes integral conditions for an integro-differential equation. (English) Zbl 1478.34076
Existence of two positive solutions for the second order differential equation involving the Henstock-Kurzweil-Stieltjes integral boundary condition. (Chinese. English summary) Zbl 1438.34105
Wronskians of Fourier and Laplace transforms. (English) Zbl 1476.11117
Reviewer: Michel Balazard (Marseille)
Filter Results by …
Document Type
- Journal Articles (3,253)
- Collection Articles (185)
- Books (299)
- arXiv Preprints (68)
all
top 5
Author
- Dragomir, Sever Silvestru (50)
- Glaisher, James Whitbread Lee (39)
- Sarikaya, Mehmet Zeki (28)
- Liflyand, Elijah (24)
- Budak, Hüseyin (21)
- Choi, Jae Gil (20)
- Lee, Peng Yee (19)
- Markov, Andreĭ Andreevich (18)
- Móricz, Ferenc (17)
- Skvortsov, Valentin Anatol’evich (17)
- Thomson, Brian S. (17)
- Das, A. G. (16)
- Benchohra, Mouffak (15)
- Chang, Seung Jun (13)
- Henstock, Ralph (13)
- Satco, Bianca-Renata (12)
- Ye, Guoju (12)
- Alomari, Mohammad Wajeeh (11)
- Cerone, Pietro (11)
- Elliott, Edwin Bailey (11)
- Helton, Jon C. (11)
- Pfeffer, Washek Frank (10)
- Shisha, Oved (10)
- Wolstenholme, Joseph (10)
- Bullen, Peter S. (9)
- Di Piazza, Luisa (9)
- Gordon, Russell A. (9)
- Liu, Wei (9)
- Schwabik, Štefan (9)
- Talvila, Erik (9)
- Abbas, Said (8)
- Catalan, Eugène-Charles (8)
- de Haan, David Bierens (8)
- Dimitrovski, Dragan S. (8)
- Du Bois-Reymond, Paul (8)
- Hermite, Charles (8)
- Ito, Yu (8)
- Mendoza Torres, Francisco Javier (8)
- Samko, Stefan Grigor’evich (8)
- Schlömilch, Oskar Xavier (8)
- Stein, Elias Menachem (8)
- Walton, William (8)
- Zhao, Dafang (8)
- Bettaibi, Néji (7)
- Bongiorno, Benedetto (7)
- Demuth, Oswald (7)
- Federson, Márcia (7)
- Gong, Zengtai (7)
- Halilović, Armin (7)
- Iosevich, Alex (7)
- Khan, Muhammad Adil (7)
- Kilbas, Anatoliĭ Aleksandrovich (7)
- Kubota, Yôto (7)
- Love, Eric Russell (7)
- Mansion, Paul (7)
- Marichev, Oleg Igorevich (7)
- Marraffa, Valeria (7)
- Mishura, Yuliya Stepanivna (7)
- Monteiro, Giselle Antunes (7)
- Naralenkov, Kirill M. (7)
- Pannikov, B. V. (7)
- Qi, Feng (7)
- Qian, Tao (7)
- Sawyer, Eric T. (7)
- Schell, Hans-Joachim (7)
- Sheremeta, Myroslav Mykolaiovych (7)
- Skoug, David (7)
- Slavík, Antonín (7)
- Tao, Terence (7)
- Trigub, Roal’d Mikhaĭlovich (7)
- Tvrdý, Milan (7)
- Výborný, Rudolf (7)
- Băleanu, Dumitru I. (6)
- Bose, Manoj Kumar (6)
- Brychkov, Yury A. (6)
- Butzer, Paul Leo (6)
- Cayley, Arthur (6)
- Cruz-Uribe, David Vincente (6)
- Duchoň, Miloslav (6)
- El-Sayed, Ahmed Mohamed Ahmed (6)
- Endou, Noboru (6)
- Evans, Michael Jon (6)
- Kurzweil, Jaroslav (6)
- Norvaiša, Rimas (6)
- Pečarić, Josip (6)
- Prudnikov, Anatoliĭ Platonovich (6)
- Rawson, Robert (6)
- Shayya, Bassam (6)
- Shidama, Yasunari (6)
- Solomyak, Mikhaĭl Zakharovich (6)
- Stroock, Daniel W. (6)
- Tulone, Francesco (6)
- Viitasaari, Lauri (6)
- Aghili, Arman (5)
- Andrica, Dorin (5)
- Banerji, Pradeep Kumar (5)
- Besso, Davide (5)
- Boonpogkrong, Varayu (5)
- Botsko, Michael W. (5)
- Cerutti, Rubén Alejandro (5)
- and 3,423 more Authors
all
top 5
Serial
- Real Anal. Exch. (113)
- J. Math. Anal. Appl. (64)
- Am. Math. Mon. (56)
- Proc. Am. Math. Soc. (50)
- Integral Transforms Spec. Funct. (41)
- C. R. Acad. Sci., Paris (35)
- Math. Notes (29)
- J. Fourier Anal. Appl. (25)
- Fract. Calc. Appl. Anal. (25)
- Math. Ann. (22)
- Quart. J. (22)
- J. Funct. Anal. (21)
- Grunert Arch. (21)
- Schlömilch Z. (21)
- Int. J. Math. Educ. Sci. Technol. (19)
- Trans. Am. Math. Soc. (19)
- Stud. Math. (18)
- Math. Nachr. (18)
- Math. Inequal. Appl. (17)
- Adv. Difference Equ. (17)
- Appl. Math. Comput. (16)
- Pac. J. Math. (16)
- Monatsh. Math. (15)
- Math. Bohem. (15)
- Bull. Aust. Math. Soc. (14)
- Mosc. Univ. Math. Bull. (14)
- Bull. Calcutta Math. Soc. (13)
- Czech. Math. J. (13)
- J. Approx. Theory (13)
- Appl. Anal. (12)
- Adv. Math. (12)
- Math. Z. (12)
- Sov. Math., Dokl. (12)
- J. Math. Sci., New York (12)
- Anal. Math. (11)
- Indian J. Pure Appl. Math. (11)
- Math. Methods Appl. Sci. (11)
- Rev. Roum. Math. Pures Appl. (11)
- Math. Mag. (11)
- J. Lond. Math. Soc., II. Ser. (11)
- J. Reine Angew. Math. (11)
- Result. Math. (11)
- Soobshch. Akad. Nauk Gruz. SSR (11)
- J. Inequal. Appl. (11)
- Formaliz. Math. (11)
- J. Pseudo-Differ. Oper. Appl. (11)
- Rocky Mt. J. Math. (10)
- Math. Comput. (10)
- Demonstr. Math. (10)
- J. Comput. Appl. Math. (10)
- J. Aust. Math. Soc., Ser. A (10)
- Mat. Stud. (10)
- JIPAM, J. Inequal. Pure Appl. Math. (10)
- Comput. Math. Appl. (9)
- J. Anal. Math. (9)
- Mat. Zametki (9)
- Can. Math. Bull. (9)
- Colloq. Math. (9)
- Southeast Asian Bull. Math. (9)
- J. Geom. Anal. (9)
- J. Korean Soc. Math. Educ., Ser. B, Pure Appl. Math. (9)
- Coll. Math. J. (9)
- Proc. Lond. Math. Soc. (9)
- Lond. R. S. Proc. (9)
- Battaglini G. (9)
- Čas. Pěstování Mat. (8)
- Commentat. Math. Univ. Carol. (8)
- Duke Math. J. (8)
- Ill. J. Math. (8)
- Math. Japon. (8)
- Forum Math. (8)
- Tatra Mt. Math. Publ. (8)
- Dokl. Math. (8)
- Ramanujan J. (8)
- J. Math. Study (8)
- Analysis, München (8)
- Int. J. Pure Appl. Math. (8)
- Aust. J. Math. Anal. Appl. (8)
- J. Phys. A, Math. Theor. (8)
- Wien. Ber. (8)
- Int. J. Anal. Appl. (8)
- Math. Gaz. (7)
- Ukr. Math. J. (7)
- Am. J. Math. (7)
- Ann. Mat. Pura Appl. (4) (7)
- Arch. Math. (7)
- Kyungpook Math. J. (7)
- Math. Slovaca (7)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (7)
- Proc. Lond. Math. Soc. (3) (7)
- Stud. Cercet. Mat. (7)
- Bull. Korean Math. Soc. (7)
- Math. Pract. Theory (7)
- Acta Math. Hung. (7)
- Rev. Mat. Iberoam. (7)
- Appl. Math. Lett. (7)
- Glas. Mat., III. Ser. (7)
- Math. USSR, Sb. (7)
- Electron. J. Qual. Theory Differ. Equ. (7)
- Mediterr. J. Math. (7)
- and 857 more Serials
all
top 5
Year of Publication
- 2024 (73)
- 2023 (121)
- 2022 (116)
- 2021 (119)
- 2020 (114)
- 2019 (92)
- 2018 (93)
- 2017 (95)
- 2016 (111)
- 2015 (93)
- 2014 (116)
- 2013 (74)
- 2012 (66)
- 2011 (60)
- 2010 (68)
- 2009 (78)
- 2008 (66)
- 2007 (64)
- 2006 (62)
- 2005 (45)
- 2004 (67)
- 2003 (40)
- 2002 (49)
- 2001 (51)
- 2000 (42)
- 1999 (42)
- 1998 (44)
- 1997 (40)
- 1996 (48)
- 1995 (34)
- 1994 (50)
- 1993 (48)
- 1992 (34)
- 1991 (36)
- 1990 (45)
- 1989 (34)
- 1988 (53)
- 1987 (44)
- 1986 (44)
- 1985 (34)
- 1984 (33)
- 1983 (60)
- 1982 (39)
- 1981 (39)
- 1980 (49)
- 1979 (44)
- 1978 (29)
- 1977 (43)
- 1976 (42)
- 1975 (40)
- 1974 (33)
- 1973 (53)
- 1972 (39)
- 1971 (50)
- 1970 (30)
- 1969 (9)
- 1968 (6)
- 1967 (6)
- 1966 (8)
- 1965 (2)
- 1964 (4)
- 1963 (3)
- 1962 (1)
- 1960 (1)
- 1958 (2)
- 1957 (1)
- 1956 (1)
- 1955 (1)
- 1954 (1)
- 1952 (1)
- 1951 (1)
- 1950 (4)
- 1949 (2)
- 1948 (1)
- 1947 (1)
- 1943 (1)
- 1941 (3)
- 1940 (1)
- 1939 (2)
- 1938 (2)
- 1937 (3)
- 1936 (2)
- 1935 (2)
- 1934 (3)
- 1932 (1)
- 1931 (3)
- 1930 (1)
- 1928 (3)
- 1926 (1)
- 1925 (2)
- 1924 (1)
- 1923 (1)
- 1922 (1)
- 1918 (1)
- 1916 (1)
- 1915 (1)
- 1910 (1)
- 1905 (1)
- 1904 (4)
- 1903 (2)
- and 30 more Years
all
top 3
Main Field
- 26-XX (2,740)
- 42-XX (1,142)
- 28-XX (554)
- 46-XX (334)
- 44-XX (292)
- 33-XX (269)
- 30-XX (215)
- 60-XX (195)
- 47-XX (192)
- 34-XX (181)
- 65-XX (165)
- 40-XX (158)
- 41-XX (145)
- 35-XX (144)
- 45-XX (124)
- 43-XX (123)
- 11-XX (87)
- 00-XX (57)
- 39-XX (50)
- 81-XX (46)
- 22-XX (45)
- 01-XX (38)
- 03-XX (35)
- 94-XX (30)
- 97-XX (30)
- 49-XX (27)
- 32-XX (25)
- 15-XX (23)
- 58-XX (23)
- 54-XX (22)
- 68-XX (22)
- 31-XX (21)
- 91-XX (19)
- 93-XX (17)
- 74-XX (16)
- 78-XX (16)
- 62-XX (15)
- 05-XX (13)
- 37-XX (13)
- 52-XX (13)
- 82-XX (13)
- 53-XX (12)
- 14-XX (11)
- 51-XX (11)
- 76-XX (11)
- 70-XX (8)
- 92-XX (7)
- 20-XX (5)
- 80-XX (4)
- 83-XX (4)
- 90-XX (4)
- 17-XX (3)
- 12-XX (2)
- 86-XX (2)
- 13-XX (1)
- 16-XX (1)
- 18-XX (1)
- 55-XX (1)
- 57-XX (1)
- 85-XX (1)
all
top 3
Biographic Reference
- Riemann, Bernhard (2)
- Bourgain, Jean (1)
- Euler, Leonhard (1)
- Gerasimov, Alekseĭ Nikiforovich (1)
- Jawerth, Björn David (1)
- Lebesgue, Henri (1)
- Letnikov, Alekseĭ Vasil’evich (1)
- Mawhin, Jean (1)
- Pfeffer, Washek Frank (1)
- Stein, Elias Menachem (1)
- Vitali, Giuseppe (1)
all
top 3
Software
- DLMF (19)
- Matlab (9)
- QUADPACK (4)
- Coq (3)
- Isabelle/HOL (3)
- Mathematica (3)
- Mizar (3)
- OEIS (3)
- Coquelicot (2)
- Flocq (2)
- GitHub (2)
- Maple (2)
- PVS (2)
- ACL2 (1)
- Adam (1)
- AlexNet (1)
- Algorithm 236 (1)
- Algorithm 432 (1)
- Algorithm 781 (1)
- Algorithm 858 (1)
- Algorithm 939 (1)
- BESSELINT (1)
- CAS/PI (1)
- CIFAR (1)
- Cadabra (1)
- CoCoA (1)
- Cosy (1)
- DEtools (1)
- DFOC (1)
- EfficientNet (1)
- FEAPpv (1)
- FracPECE (1)
- Fractional Heat Conduction Toolbox (1)
- GAP (1)
- GammaCHI (1)
- Green Theorem (1)
- HOL (1)
- HOL Light (1)
- Heat Conduction Toolbox (1)
- IBM Scratchpad (1)
- ImageNet (1)
- Julia (1)
- KANT/KASH (1)
- Keras (1)
- LINPACK (1)
- LSFBTR (1)
- Lean (1)
- MACSYMA (1)
- MAGNUS (1)
- Macaulay2 (1)
- Matita (1)
- Maxima (1)
- NFFT3 (1)
- Nonlinear_diffusion (1)
- OPQ (1)
- OneLOop (1)
- PARI/GP (1)
- PDCO (1)
- PRMLT (1)
- PyTorch (1)
- RFSIM (1)
- Regularization tools (1)
- SINGULAR (1)
- STOP (1)
- SageMath (1)
- Silhouettes (1)
- Simulink (1)
- TensorFlow (1)
- U-Net (1)
- UTV (1)
- Wolfram Functions Site (1)
- YUIMA (1)
- gfun (1)
- ma2dfc (1)
- mathlib (1)
- mftoolbox (1)
- navierstokes (1)
- sysdfod (1)
- tikregnc (1)
