Found 25,886 Documents (Results 1–100)
Quantitative inverse theorem for Gowers uniformity norms \(\mathsf{U}^5\) and \(\mathsf{U}^6\) in \(\mathbb{F}_2^n\). (English) Zbl 07930307
Why the hexagon of opposition is really a triangle: logical structures as geometric shapes. (English) Zbl 07928691
Kippenhahn’s construction revisited. (English) Zbl 07928319
Ptak, Marek (ed.) et al., Operator and matrix theory, function spaces, and applications. Proceedings of the 33rd international workshop on operator theory and its applications, IWOTA 2022, Kraków, Poland, September 6–10, 2022. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 295, 385-396 (2024).
Generalization of Pell sequence and Pell-Lucas sequence, new results and circulant matrices aspects. (English) Zbl 07927993
Inequalities for norms and numerical radii of operator matrices. (English) Zbl 07926969
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 118, No. 4, Paper No. 150, 22 p. (2024).
On the joint numerical radius of generalized spherical Aluthge transforms of operators. (English) Zbl 07926899
Novel bounds for the Euclidean operator radius of Hilbert space operator pairs. (English) Zbl 07926220
A quantitative Popoviciu type inequality for four positive semi-definite matrices. (English) Zbl 07926179
Reviewer: Minghua Lin (Xi’an)
Pre-Schwarzian and Schwarzian norm estimates for subclasses of univalent functions. (English) Zbl 07925456
Well-conditioned Galerkin spectral method for two-sided fractional diffusion equation with drift and fractional Laplacian. (English) Zbl 07924840
On undecidability of the propositional logic of an associative binary modality. (English) Zbl 07924608
Böttcher-Wenzel inequality for weighted Frobenius norms and its application to quantum physics. (English) Zbl 07922220
Axiomatizing origami planes. (English) Zbl 07920715
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 353-377 (2024).
Learning to act and observe in partially observable domains. (English) Zbl 07920714
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 303-351 (2024).
Well partial orders. (English) Zbl 07920713
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 273-301 (2024).
Intermediate logics in the setting of team semantics. (English) Zbl 07920712
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 231-271 (2024).
Proof theory for Lax Logic. (English) Zbl 07920711
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 203-229 (2024).
About the unification types of modal logics. (English) Zbl 07920710
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 175-202 (2024).
Deciding dependence in logic and algebra. (English) Zbl 07920709
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 155-173 (2024).
An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics. (English) Zbl 07920708
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 111-153 (2024).
The \(\Sigma_1\)-provability logic of HA revisited. (English) Zbl 07920707
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 89-110 (2024).
An abstract look at the fixed-point theorem for provability logic. (English) Zbl 07920706
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 75-88 (2024).
Lewisian fixed points. I: Two incomparable constructions. (English) Zbl 07920705
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 33-73 (2024).
Notes on my scientific life. (English) Zbl 07920704
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 1-31 (2024).
Structured condition numbers for a linear function of the solution of the generalized saddle point problem. (English) Zbl 07919857
Boundedness of fractional integrals on Hardy spaces associated with ball quasi-Banach function spaces. (English) Zbl 07919756
Fejér-Riesz factorization in the QRC-subalgebra and circularity of the quaternionic numerical range. (English) Zbl 07919751
Euclidean operator radius inequalities of \(d\)-tuple operators and operator matrices. (English) Zbl 07918473
Upper bounds for the spectral radius of matrices having the Perron-Frobenius property. (English) Zbl 07917595
Real Schur norms and Hadamard matrices. (English) Zbl 07916008
Reviewer: Ludovick Bouthat (Québec)
Preconditioned nonsymmetric/symmetric discontinuous Galerkin method for elliptic problem with reconstructed discontinuous approximation. (English) Zbl 07915948
Inequalities for linear combinations of orthogonal projections and applications. (English) Zbl 07914983
Modelling afthairetic modality. (English) Zbl 07914754
A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices. (English) Zbl 07913909
Numerical radii of operator matrices in terms of certain complex combinations of operators. (English) Zbl 07912311
A Pythagorean theorem for partitioned matrices. (English) Zbl 07910765
Reviewer: Tin Yau Tam (Reno)
Universal finite functorial semi-norms. (English) Zbl 07909473
MSC:
18-XX
Berezin radius inequalities for finite sums of functional Hilbert space operators. (English) Zbl 07907999
MSC:
47A30
Recursive bounds for the eigenvalues of symmetric positive definite matrices. (English) Zbl 07907362
Generalized triangular and symmetric splitting method for steady state probability vector of stochastic matrices. (English) Zbl 07907351
On Cauchy-Schwarz type inequalities and applications to numerical radius inequalities. (English) Zbl 07906436
Weighted numerical range and weighted numerical radius for even-order tensor via Einstein product. (English) Zbl 07905938
Chevet-type inequalities for subexponential Weibull variables and estimates for norms of random matrices. (English) Zbl 07904059
Enhanced Young-type inequalities utilizing Kantorovich approach for semidefinite matrices. (English) Zbl 07903505
Singular value inequalities for submultiplicative and subadditive functions of matrices. (English) Zbl 07903114
Rank of a tensor and quantum entanglement. (English) Zbl 07901773
Reviewer: Edoardo Ballico (Povo)
On the tensor spectral \(\mathbf{p}\)-norm and its higher order power method. (English) Zbl 07901430
A robust randomized indicator method for accurate symmetric eigenvalue detection. (English) Zbl 07900966
Reorthogonalized block classical Gram-Schmidt using two Cholesky-based TSQR algorithms. (English) Zbl 07900917
On semidefinite programming characterizations of the numerical radius and its dual norm. (English) Zbl 07900914
Improved quaternion robust principal component analysis for color image recovery. (English) Zbl 07900487
Norm bounds on Eisenstein series. (English) Zbl 07900423
Reviewer: Sami Omar (Sukhair)
Analysis of variable-time-step BDF2 combined with the fast two-grid finite element algorithm for the FitzHugh-Nagumo model. (English) Zbl 07899260
Sharper bounds for the numerical radius of \({n}\times{n}\) operator matrices. (English) Zbl 07895599
Filter Results by …
Document Type
- Journal Articles (20,471)
- Collection Articles (4,192)
- Books (796)
- arXiv Preprints (427)
all
top 5
Author
- Li, Chi-Kwong (193)
- Kittaneh, Fuad (161)
- Gabbay, Dov M. (113)
- van Benthem, Johan F. A. K. (113)
- Nakazato, Hiroshi (104)
- Dragomir, Sever Silvestru (99)
- Martini, Horst (99)
- Rybakov, Vladimir Vladimirovich (79)
- Moslehian, Mohammad Sal (77)
- Balbiani, Philippe (76)
- Chien, Mao-Ting (75)
- Maksimova, Larisa L’vovna (70)
- Serra-Capizzano, Stefano (70)
- Wei, Yimin (70)
- Axelsson, Axel Owe Holger (69)
- Bhatia, Rajendra (66)
- Fitting, Melvin Chris (65)
- Venema, Yde (64)
- van der Torre, Leendert W. N. (63)
- Bezhanishvili, Guram (62)
- Fujii, Masatoshi (62)
- Zakharyaschev, Michael Viktorovich (62)
- Paul, Kallol (61)
- Evans, David John (59)
- Vassilevski, Panayot Spirov (58)
- Jin, Xiaoqing (57)
- Meyer, Robert Kenneth (57)
- Wolter, Frank (57)
- Bhunia, Pintu (56)
- Spitkovsky, Ilya Matvey (56)
- Gau, Hwa-Long (55)
- Goldblatt, Robert Ian (55)
- Ng, Michael Kwok-Po (55)
- Bezhanishvili, Nick (54)
- Orłowska, Ewa S. (53)
- Pattinson, Dirk (53)
- Bebiano, Natália Isabel Quadros (52)
- Wu, Peiyuan (51)
- Cresswell, Maxwell John (50)
- Seo, Yuki (49)
- van der Hoek, Wiebe (49)
- Areces, Carlos (48)
- Gil’, Michael Iosif (47)
- Psarrakos, Panayiotis J. (47)
- Saad, Yousef (47)
- Vakarelov, Dimiter (47)
- Johnson, Charles Royal (46)
- Rodman, Leiba X. (46)
- Sababheh, Mohamad Suboh (46)
- Wansing, Heinrich Theodor (46)
- Blackburn, Patrick (45)
- Herzig, Andreas (44)
- Segerberg, Krister (44)
- Artemov, Sergei (42)
- Chan, Raymond Hon-Fu (42)
- Ghilardi, Silvio (42)
- Gravvanis, George A. (42)
- Mecheri, Salah (42)
- Moradi, Hamid Reza (42)
- Sylvan, Richard (42)
- Schmidt, Renate A. (42)
- Tam, Tin-Yau (42)
- Demri, Stéphane P. (41)
- Fariñas del Cerro, Luis (41)
- Goldberg, Moshe (41)
- Tsing, Nam-Kiu (40)
- Golub, Gene Howard (39)
- Higham, Nicholas J. (39)
- de Rijke, Maarten (38)
- Furuta, Takayuki (38)
- Meyer, John-Jules Charles (38)
- Chagrov, Aleksandr Vasil’evich (37)
- Chan, Tony Fan-Cheong (37)
- Goranko, Valentin F. (37)
- Hirzallah, Omar (37)
- Li, Wen (37)
- Palmigiano, Alessandra (37)
- Poon, Yiu-Tung (37)
- Shehtman, Valentin B. (37)
- Bourin, Jean-Christophe (36)
- van Ditmarsch, Hans Pieter (36)
- Ando, Tsuyoshi (35)
- da Providência Santarém e Costa, João (35)
- Schröder, Lutz (35)
- Beklemishev, Lev D. (34)
- Benzi, Michele (34)
- Goré, Rajeev Prabhakar (34)
- Jocić, Danko R. (33)
- Kolotilina, Lily Yu. (33)
- Kuznetsov, Yuriĭ Alekseevich (33)
- Mesiar, Radko (33)
- Volberg, Alexander Lvovich (33)
- Došen, Kosta (32)
- Greenbaum, Anne (32)
- Halpern, Joseph Yehuda (32)
- Kurz, Alexander (32)
- Margenov, Svetozar D. (32)
- Stojanoff, Demetrio (32)
- Parent, Xavier (31)
- Conradie, Willem (30)
- and 17,534 more Authors
all
top 5
Serial
- Linear Algebra Appl. (1,408)
- Stud. Log. (545)
- Linear Multilinear Algebra (491)
- SIAM J. Matrix Anal. Appl. (439)
- Notre Dame J. Formal Logic (431)
- J. Philos. Log. (364)
- J. Log. Comput. (276)
- SIAM J. Sci. Comput. (274)
- Log. Anal., Nouv. Sér. (240)
- Proc. Am. Math. Soc. (229)
- J. Comput. Appl. Math. (218)
- Fuzzy Sets Syst. (214)
- Numer. Math. (208)
- Numer. Linear Algebra Appl. (202)
- Appl. Math. Comput. (201)
- J. Symb. Log. (187)
- J. Math. Anal. Appl. (182)
- Log. J. IGPL (176)
- SIAM J. Numer. Anal. (165)
- Ann. Pure Appl. Logic (164)
- Synthese (155)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (150)
- J. Appl. Non-Class. Log. (144)
- Math. Inequal. Appl. (135)
- BIT (124)
- Theor. Comput. Sci. (123)
- Oper. Matrices (123)
- Int. J. Comput. Math. (120)
- Appl. Numer. Math. (117)
- Electron. J. Linear Algebra (116)
- J. Funct. Anal. (113)
- J. Inequal. Appl. (111)
- Math. Comput. (110)
- Z. Math. Logik Grundlagen Math. (109)
- Rev. Symb. Log. (108)
- Integral Equations Oper. Theory (107)
- Numer. Algorithms (100)
- J. Math. Inequal. (99)
- Comput. Math. Appl. (96)
- J. Logic Lang. Inf. (96)
- Analysis, Oxf. (96)
- Stud. Math. (95)
- Bull. Sect. Logic, Pol. Acad. Sci. (92)
- Log. Log. Philos. (90)
- ETNA, Electron. Trans. Numer. Anal. (89)
- Math. Notes (74)
- IMA J. Numer. Anal. (73)
- Log. Univers. (72)
- Fundam. Inform. (68)
- Rep. Math. Logic (67)
- J. Appl. Log. (65)
- Math. Nachr. (64)
- Positivity (64)
- Math. Japon. (63)
- Math. Log. Q. (63)
- Adv. Math. (59)
- Arch. Math. (59)
- Computing (57)
- Sov. Math., Dokl. (56)
- Isr. J. Math. (54)
- J. Comput. Phys. (54)
- Arch. Math. Logic (54)
- Inf. Comput. (53)
- Algebra Logic (52)
- Ann. Funct. Anal. (52)
- J. Oper. Theory (51)
- J. Math. Sci., New York (51)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (50)
- Appl. Math. Lett. (50)
- SIAM J. Sci. Stat. Comput. (49)
- J. Comput. Math. (49)
- Log. Methods Comput. Sci. (49)
- Artif. Intell. (48)
- J. Lond. Math. Soc., II. Ser. (48)
- Int. J. Approx. Reasoning (48)
- J. Convex Anal. (47)
- Theoria (46)
- Trans. Am. Math. Soc. (46)
- Inf. Sci. (45)
- ACM Trans. Comput. Log. (45)
- Nôus (44)
- Am. Math. Mon. (43)
- Calcolo (43)
- IEEE Trans. Autom. Control (43)
- J. Approx. Theory (43)
- Math. Z. (43)
- Numer. Math., Nanjing (43)
- Acta Sci. Math. (41)
- Bull. Aust. Math. Soc. (40)
- Rocky Mt. J. Math. (40)
- Math. Numer. Sin. (40)
- Adv. Oper. Theory (40)
- Can. Math. Bull. (39)
- Result. Math. (39)
- Filomat (39)
- Banach J. Math. Anal. (39)
- Numer. Funct. Anal. Optim. (38)
- Numer. Methods Partial Differ. Equations (38)
- Adv. Comput. Math. (38)
- Australas. J. Log. (38)
- and 1,845 more Serials
all
top 5
Year of Publication
- 2025 (8)
- 2024 (418)
- 2023 (575)
- 2022 (631)
- 2021 (721)
- 2020 (718)
- 2019 (709)
- 2018 (749)
- 2017 (662)
- 2016 (653)
- 2015 (672)
- 2014 (656)
- 2013 (597)
- 2012 (592)
- 2011 (548)
- 2010 (572)
- 2009 (596)
- 2008 (623)
- 2007 (598)
- 2006 (632)
- 2005 (614)
- 2004 (534)
- 2003 (660)
- 2002 (626)
- 2001 (605)
- 2000 (639)
- 1999 (625)
- 1998 (612)
- 1997 (619)
- 1996 (592)
- 1995 (490)
- 1994 (551)
- 1993 (456)
- 1992 (452)
- 1991 (466)
- 1990 (433)
- 1989 (401)
- 1988 (379)
- 1987 (377)
- 1986 (319)
- 1985 (314)
- 1984 (358)
- 1983 (305)
- 1982 (292)
- 1981 (260)
- 1980 (292)
- 1979 (263)
- 1978 (205)
- 1977 (166)
- 1976 (166)
- 1975 (176)
- 1974 (136)
- 1973 (157)
- 1972 (149)
- 1971 (104)
- 1970 (38)
- 1969 (28)
- 1968 (27)
- 1967 (14)
- 1966 (16)
- 1965 (10)
- 1964 (4)
- 1963 (8)
- 1962 (4)
- 1961 (1)
- 1960 (3)
- 1959 (2)
- 1958 (3)
- 1957 (1)
- 1956 (1)
- 1947 (1)
- 1939 (1)
- 1888 (1)
all
top 3
Main Field
- 03-XX (9,570)
- 65-XX (6,009)
- 15-XX (5,909)
- 47-XX (4,447)
- 68-XX (2,555)
- 46-XX (2,463)
- 35-XX (2,299)
- 52-XX (939)
- 26-XX (628)
- 42-XX (520)
- 60-XX (493)
- 90-XX (447)
- 93-XX (411)
- 91-XX (409)
- 11-XX (390)
- 06-XX (370)
- 41-XX (334)
- 34-XX (297)
- 30-XX (258)
- 62-XX (249)
- 05-XX (243)
- 81-XX (242)
- 00-XX (230)
- 54-XX (221)
- 74-XX (209)
- 94-XX (205)
- 76-XX (196)
- 20-XX (183)
- 01-XX (177)
- 45-XX (165)
- 51-XX (157)
- 49-XX (136)
- 53-XX (134)
- 28-XX (126)
- 39-XX (126)
- 33-XX (125)
- 37-XX (121)
- 18-XX (114)
- 16-XX (106)
- 58-XX (101)
- 78-XX (101)
- 08-XX (100)
- 14-XX (97)
- 32-XX (91)
- 12-XX (86)
- 43-XX (81)
- 44-XX (78)
- 40-XX (74)
- 31-XX (72)
- 82-XX (60)
- 22-XX (56)
- 17-XX (48)
- 70-XX (44)
- 92-XX (44)
- 13-XX (35)
- 57-XX (32)
- 83-XX (28)
- 86-XX (25)
- 55-XX (22)
- 80-XX (21)
- 19-XX (10)
- 97-XX (7)
- 85-XX (4)
all
top 3
Biographic Reference
- Béziau, Jean-Yves (2)
- de Jongh, Dick H. J. (2)
- Esakia, Leo (2)
- Gabbay, Dov M. (2)
- Golub, Gene Howard (2)
- Kuznetsov, Aleksander Vladimirovich (2)
- Prior, Arthur Norman (2)
- Alexander of Aphrodisias (1)
- Anselm of Canterbury (1)
- Aristotle (1)
- Arlo Costa, Horacio L. (1)
- Bebiano, Natália Isabel Quadros (1)
- Becker, Oskar (1)
- Boethius (1)
- Chong, Chi Tat (1)
- Church, Alonzo (1)
- Costa, Horacio Arló (1)
- Dunn, Jon Michael (1)
- Fabri of Valenciennes, John (1)
- Friedman, Harvey M. (1)
- Gargov, George K. (1)
- Gauß, Carl Friedrich (1)
- Hájek, Petr (1)
- Hale, Bob (1)
- Hilpinen, Risto (1)
- Ibn Sīnā (1)
- Ivlev, Yuriĭ Vasil’evich (1)
- Kreĭn, Mark Grigor’evich (1)
- Kripke, Saul A. (1)
- Kubinski, Tadeusz (1)
- Leibniz, Gottfried Wilhelm (1)
- Lesńiewski, Stanisław (1)
- Lewis, Clarence Irving (1)
- Maksimova, Larisa L’vovna (1)
- Montagna, Franco (1)
- Peirce, Charles Sanders (1)
- Popper, Karl (1)
- Sanchez-Mazas, Miguel (1)
- Scroggs, Schiller Joe (1)
- Smale, Stephen (1)
- Smiley, Timothy (1)
- Strang, William Gilbert (1)
- Vakarelov, Dimiter (1)
- van Benthem, Johan F. A. K. (1)
- Verbrugge, Rineke (1)
- Vvedenskiĭ, Oleg Nikolaevich (1)
- Walter, Wolfgang (1)
- Woleński, Jan (1)
all
top 3
Software
- mctoolbox (263)
- Matlab (147)
- LAPACK (104)
- SparseMatrix (90)
- Eigtool (62)
- CGS (59)
- mftoolbox (59)
- JDQZ (55)
- JDQR (47)
- LSQR (44)
- symrcm (43)
- PETSc (40)
- SPARSKIT (40)
- ILUT (38)
- Harwell-Boeing sparse matrix collection (37)
- BLAS (32)
- Isabelle/HOL (32)
- BILUM (31)
- ILUM (30)
- ITSOL (30)
- LINPACK (30)
- Pesca (30)
- SQEMA (30)
- CRAIG (27)
- Mathematica (27)
- Regularization tools (27)
- ARPACK (26)
- Coq (26)
- KELLEY (26)
- SPASS (25)
- BILUTM (22)
- EISPACK (20)
- GitHub (19)
- MiniML (19)
- Z-Tree (19)
- CVX (18)
- MatrixMarket (18)
- TPTP (18)
- VanHuffel (18)
- eigs (18)
- E Theorem Prover (17)
- Wesseling (17)
- PLTMG (16)
- ScaLAPACK (16)
- ARMS (15)
- CONEST (15)
- CUTEr (15)
- Chebfun (15)
- Maple (15)
- Nitpick (15)
- SONEST (15)
- Isabelle (14)
- MATLAB expm (14)
- QMRPACK (14)
- TABLEAUX (14)
- HSL (13)
- LoTREC (13)
- MSPASS (13)
- NLEVP (13)
- RODAS (13)
- LEO-II (12)
- METIS (12)
- Spartacus (12)
- lobpcg.m (12)
- Algorithm 674 (11)
- FaCT++ (11)
- VAMPIRE (11)
- pARMS (11)
- Algorithm 694 (10)
- Archive Formal Proofs (10)
- BiCGstab (10)
- DLMF (10)
- ELLPACK (10)
- IFISS (10)
- PVS (10)
- SDPT3 (10)
- SLMC (10)
- Satallax (10)
- SeDuMi (10)
- Aztec (9)
- DRIC (9)
- ETPS (9)
- HTab (9)
- ILUS (9)
- KL-ONE (9)
- MA57 (9)
- METATEM (9)
- MetTeL (9)
- OTTER (9)
- UMFPACK (9)
- XPath (9)
- hypre (9)
- AztecOO (8)
- BPKit (8)
- Bi-CG (8)
- BoomerAMG (8)
- CESAR (8)
- CLAPACK (8)
- CutFEM (8)
- INTLAB (8)
- and 1,019 more Software Packages