Found 241 Documents (Results 1–100)
A new matrix representation for the Heisenberg group. (English) Zbl 07900494
Reviewer: Nicolae Cotfas (Bucureşti)
BGG category \(\mathscr{O}\) and \(\mathbb{Z}\)-graded representation theory. (English) Zbl 1526.17013
Du, Jie (ed.) et al., Forty years of algebraic groups, algebraic geometry, and representation theory in China. In memory of the centenary year of Xihua Cao’s birth. East China Normal University Scientific Reports 16. Subseries of Symposia and Topic Studies. Singapore: World Scientific. 213-240 (2023).
Reviewer: Evgeny Smirnov (Moskva)
Continuous solutions of a system of composite functional equations. (English) Zbl 1516.39012
Reviewer: Gian Luigi Forti (Milano)
Translation-invariant operators in reproducing kernel Hilbert spaces. (English) Zbl 1511.22009
Reviewer: Trieu Le (Toledo)
Convolutional neural networks are not invariant to translation, but they can learn to be. (English) Zbl 07626744
MSC:
68T05
Towards knowledge exchange: state-of-the-art and open problems. (English) Zbl 1490.68217
Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 13-27 (2021).
MSC:
68T30
Characters for projective modules in the BGG category \(\mathcal{O}\) for the orthosymplectic Lie superalgebra \(\mathfrak{osp}(3 | 4)\). (English) Zbl 1460.17015
Reviewer: Angelo Bianchi (São José dos Campos)
MSC:
17B10
Generation of strongly non-Gaussian stochastic processes by iterative scheme upgrading phase and amplitude contents. (English) Zbl 1481.62068
Translation hyperovals and \(\mathbb{F}_2\)-linear sets of pseudoregulus type. (English) Zbl 1467.51009
Reviewer: Leo Storme (Gent)
Construction of Milnorian representations. (English) Zbl 1455.22002
Reviewer: V. V. Gorbatsevich (Moskva)
Basic representation theory of algebras. (English) Zbl 1451.16001
Graduate Texts in Mathematics 283. Cham: Springer (ISBN 978-3-030-35117-5/hbk; 978-3-030-35118-2/ebook). x, 311 p. (2020).
Reviewer: Piroska Lakatos (Debrecen)
Square-integrable representations and multipliers. (English) Zbl 1433.43006
Reviewer: Akram Yousofzadeh (Isfahan)
Characters for projective modules in the BGG category \(\mathcal{O}\) for general linear Lie superalgebras. (English) Zbl 1446.17015
MSC:
17B10
Pairwise orthogonal frames generated by regular representations of LCA groups. (English) Zbl 1434.42043
Reviewer: Somantika Datta (Moscow, ID)
A translation generalized quadrangle in characteristic \(\neq 0\) is linear. (English) Zbl 1405.51006
Reviewer: Jan De Beule (Brussels)
On Arthur packets at real places, translation. (Sur les paquets d’Arthur aux places réelles, translation.) (French. English summary) Zbl 1453.11069
Müller, Werner (ed.) et al., Geometric aspects of the trace formula. Proceedings of the Simons symposium, Schloss Elmau, Germany, April 10–16, 2016. Cham: Springer. Simons Symp., 299-320 (2018).
MSC:
11F70
Representation of integral quantales by tolerances. (English) Zbl 1471.06009
Reviewer: Sergejs Solovjovs (Praha)
A finitary analogue of the downward Löwenheim-Skolem property. (English) Zbl 1434.03091
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 37, 21 p. (2017).
Translation of harmonic spinors and interacting Weyl fermions on homogeneous spaces. (English) Zbl 1442.22014
Baklouti, Ali (ed.) et al., Geometric and harmonic analysis on homogeneous spaces and applications. TJC 2015, Monastir, Tunisia, December 18–23, 2015. Cham: Springer. Springer Proc. Math. Stat. 207, 185-208 (2017).
Reviewer: Daniel Wong (Ithaca)
MSC:
22E46
Realizing orbit categories as stable module categories: a complete classification. (English) Zbl 1390.18025
Reviewer: Intan Muchtadi-Alamsyah (Bandung)
Minimal representation in a quotient space over a lattice of unbounded closed convex sets. (English) Zbl 1377.52003
Reviewer: Hussain A. El-Saify (Beni Suef)
Frobenius algebras. II: Tilted and Hochschild extension algebras. (English) Zbl 1378.16001
EMS Textbooks in Mathematics. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-174-3/hbk; 978-3-03719-674-8/ebook). x, 619 p. (2017).
Reviewer: Jörg Feldvoss (Mobile)
MSC:
16-01
16G10
16G20
16G60
16G70
13E10
15A63
15A69
16D50
16D90
16D99
16E10
16E30
16E40
16S50
16S70
18A25
Maximal semigroup symmetry and discrete Riesz transforms. (English) Zbl 1345.42008
Reviewer: Krzysztof Stempak (Wrocław)
Coefficients of multiplication formulas for classical orthogonal polynomials. (English) Zbl 1334.33028
A characterization of translation ovals in finite even order planes. (English) Zbl 1368.51007
MSC:
51E20
Lax theory morphisms. (English) Zbl 1367.03061
MSC:
03B70
On the composition of finite rotations in \({\mathbb E}^4\). (English) Zbl 1342.51021
Reviewer: Erich W. Ellers (Toronto)
The projective translation equation and unramified 2-dimensional flows with rational vector fields. (English) Zbl 1323.39017
Reviewer: Choonkil Park (Daejeon)
A new representation for second order stochastic integral-differential operators and its applications. (English) Zbl 1315.60069
Reviewer: Nikolaos Halidias (Athens)
Representations of solutions, translation formulae and asymptotic behavior in discrete linear systems and periodic continuous linear systems. (English) Zbl 1287.93051
Coxeter spectral classification of almost \(TP\)-critical one-peak posets using symbolic and numeric computations. (English) Zbl 1290.16014
The Mizar Mathematical Library in OMDoc: translation and applications. (English) Zbl 1260.68375
MSC:
68T15
68T30
On McKay quivers and covering spaces. (Chinese. English summary) Zbl 1488.16041
The dual pair \((\mathrm{O}_{p,q},\mathrm{O}\widetilde{\mathrm{Sp}}_{2,2})\) and Zuckerman translation. (English) Zbl 1236.22008
Adams, Jeffrey (ed.) et al., Representation theory and mathematical physics. Conference in honor of Gregg Zuckerman’s 60th birthday, Yale University, New Haven, CT, USA, October 24–27, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-5246-0/pbk). Contemporary Mathematics 557, 183-213 (2011).
Reviewer: Annegret Paul (Kalamazoo)
Sampler programs: the stable model semantics of abstract constraint programs revisited. (English) Zbl 1237.68206
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 94-103, electronic only (2010).
Translating Euclid’s diagrams into English, 1551–1571. (English) Zbl 1255.01006
Heeffer, Albrecht (ed.) et al., Philosophical aspects of symbolic reasoning in early modern mathematics. Selected papers of the conference, Ghent, Belgium, August 27–29, 2009. London: College Publications (ISBN 978-1-84890-017-2/pbk). Studies in Logic 26, 125-163 (2010).
Reviewer: Gregor Nickel (Siegen)
Unsupervised translation disambiguation based on web indirect association of a bilingual word. (Chinese. English summary) Zbl 1224.68194
Étale groupoids as germ groupoids and their base extensions. (English) Zbl 1206.20072
Reviewer: Václav Koubek (Praha)
Lax-Phillips scattering theory and well-posed linear systems: a coordinate-free approach. (English) Zbl 1145.93024
On the relationship between description logic-based and \(F\)-logic-based ontologies. (English) Zbl 1136.68050
Magnetic translation and degeneracy of some Landau states studied by virtue of the entangled state representation. (English) Zbl 1144.82307
Robust statistical methods with R. (English) Zbl 1097.62020
Boca Raton, FL: Chapman and Hall/CRC (ISBN 1-58488-454-1/hbk). xi, 197 p. (2006).
Reviewer: Yuehua Wu (Toronto)
The category of lattices over a lattice-finite ring. (English) Zbl 1094.16011
Reviewer: Alexander Zimmermann (Amiens)
\(\tau\)-categories. I: Ladders. (English) Zbl 1093.16015
Reviewer: Wolfgang Rump (Stuttgart)
\(\tau\)-categories. III: Auslander orders and Auslander-Reiten quivers. (English) Zbl 1091.16012
Reviewer: Wolfgang Rump (Stuttgart)
Measure theory. Vol. 3. Measure algebras. Corrected second printing of the 2002 original. (English) Zbl 1165.28002
Colchester: Torres Fremlin (ISBN 0-9538129-3-6/pbk). 693 p., 13 p. (2004).
Reviewer: Ryszard Pawlak (Łódź)
An analogue of Plancherel theorem and translation invariant operators on \(L^2(G,H)\). (English) Zbl 1071.43001
MSC:
43A15
Systems of generalized translation equations on a restricted domain. (English) Zbl 1060.39027
Reviewer: Claudi Alsina (Barcelona)
Hochschild cohomology and representation-finite algebras. (English) Zbl 1061.16016
Reviewer: Stanisław Kasjan (Toruń)
Appendix to: “Some remarks on Ext groups” by A. E. Parker. (English) Zbl 1040.20036
Reviewer: Wilberd van der Kallen (Utrecht)
A disambiguation approach for German compounds with deverbal head. (English) Zbl 1001.68581
Bunt, Harry (ed.) et al., Computing meaning. Vol. 1. Dordrecht: Kluwer Academic Publishers. Stud. Linguist. Philos. 73, 339-356 (2001).
Reviewer: Neculai Curteanu (Iaşi)
Tensor products and restrictions in type \(A\). (English) Zbl 1011.20043
Collins, Michael J. (ed.) et al., Modular representation theory of finite groups. Proceedings of a symposium, University of Virginia, Charlottesville, VA, USA, May 8-15, 1998. Berlin: de Gruyter. 67-99 (2001).
Reviewer: Ali Iranmanesh (Tehran)
A criterion for coils. (English) Zbl 0999.16014
Reviewer: Gladys Chalom (São Paulo)
Auslander algebras are 2-Gorenstein. (English) Zbl 0996.16006
Reviewer: Maria Izabel R.Martins (São Paulo)
Almost cyclic coherent components of an Auslander-Reiten quiver. (English) Zbl 0985.16012
Reviewer: Eduardo Marcos (Blacksburg)
The fine structure of translation functors, the triangle function and a construction of \(R\)-matrices. (English) Zbl 1037.17502
Freiburg i. Br.: Univ. Freiburg, Mathematische Fakultät. 39 p. (2000).
Translation cokernels of rational modules. (English) Zbl 0960.20023
Reviewer: Henning Haahr Andersen (Aarhus)
Fourier transform multiplier operators involving convolution terms. (English) Zbl 1001.47020
MSC:
47B38
Translation engines: Techniques for machine translation. (English) Zbl 0934.68088
Berlin: Springer. xii, 303 p. (1999).
Reviewer: Neculai Curteanu (Iaşi)
Capturing motion verb generalizations in synchronous tree-adjoining grammars. (English) Zbl 0943.68164
Saint-Dizier, Patrick (ed.), Predicative forms in natural language and in lexical knowledge bases. Selection of papers, workshop, Toulouse, France, August 1996. Dordrecht: Kluwer Academic Publishers. Text Speech Lang. Technol. 6, 229-256 (1999).
Reviewer: Neculai Curteanu (Iaşi)
Semantic in action. (English) Zbl 0918.68096
Saint-Dizier, Patrick (ed.), Predicative forms in natural language and in lexical knowledge bases. Selection of papers, workshop, Toulouse, France, August 1996. Dordrecht: Kluwer Academic Publishers. Text Speech Lang. Technol. 6, 171-203 (1999).
Reviewer: Neculai Curteanu (Iaşi)
A comparison of different lexical semantics approaches for transfer verbs with a particular emphasis on buy/sell. (English) Zbl 0947.68144
Saint-Dizier, Patrick (ed.), Predicative forms in natural language and in lexical knowledge bases. Selection of papers, workshop, Toulouse, France, August 1996. Dordrecht: Kluwer Academic Publishers. Text Speech Lang. Technol. 6, 53-91 (1999).
Reviewer: Neculai Curteanu (Iaşi)
Decay of spatial correlations in thermal states. (English) Zbl 0931.46048
Reviewer: N.Angelescu (Bucureşti)
On some properties of abstract wave equation. (English) Zbl 0940.47007
Reviewer: A.N.Kochubei (Kyïv)
Hammocks for string algebras. (English) Zbl 0926.16015
Bielefeld: Univ. Bielefeld, Fakultät für Mathematik, 89 p. (1997).
Regular variation in \(\mathbb{R}_+^n\). (English) Zbl 0911.26007
Reviewer: Eugene Seneta (Sydney)
The classification of projective planes of order \(q^ 3\) with cone-representations in \(\text{PG}(6,q)\). (English) Zbl 0885.51003
Reviewer: T.G.Ostrom (Pullman)
Translating graded modalities into predicate logics. (English) Zbl 0874.03021
Wansing, Heinrich (ed.), Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19–20, 1993. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 2, 253-291 (1996).
Reviewer: L.State (Bucureşti)
Artificial intelligence: methodology, systems, applications. [AIMSA ’96, 7th international conference, Sozopol, Bulgaria, September 18-20, 1996. 35 contrib. selected from 64 papers]. (English) Zbl 0876.68086
Frontiers in Artificial Intelligence and Applications. 35. Amsterdam: IOS Press. x, 341 p. (1996).
Reviewer: U.Hahn (Freiburg i.Br.)
Hammocks arising from the Auslander-Reiten quiver of representation-directed algebras. (English) Zbl 0857.16016
Semiscalar representations of the Lorentz group and propagation equations. (English) Zbl 0869.22014
Reviewer: U.Cattaneo (Maggia)
Twisted dual-group algebras: Equivariant deformations of \(C_ 0(G)\). (English) Zbl 0839.22003
Reviewer: P.Milnes (London/Ontario)
Representation theory of Artin algebras. (English) Zbl 0834.16001
Cambridge Studies in Advanced Mathematics. 36. Cambridge: Cambridge University Press. xiv, 423 p. (1995).
Reviewer: D.Simson (Toruń)
The Gödel-Löb modal system in algebraic terms. (Polish. English summary) Zbl 0852.03026
Filter Results by …
Document Type
- Journal Articles (182)
- Collection Articles (41)
- Books (18)
all
top 5
Author
- Phillips, Ralph Saul (6)
- Skowroński, Andrzej (6)
- Todorov, Gordana (5)
- Andersen, Henning Haahr (4)
- Bautista, Raymundo (4)
- Guo, Jinyun (4)
- Happel, Dieter (4)
- Igusa, Kiyoshi (4)
- Lax, Peter David (4)
- Maxson, Carlton James (4)
- Riedtmann, Christine (4)
- Ringel, Claus Michael (4)
- Salmeron, Leonardo (4)
- Assem, Ibrahim (3)
- Borchers, Hans-Jürgen (3)
- Conti, Benedetto (3)
- de la Peña, José Antonio (3)
- Karzel, Helmut (3)
- Liu, Shiping (3)
- Alkauskas, Giedrius (2)
- Brundan, Jonathan (2)
- Glynn, David G. (2)
- Gromov, V. P. (2)
- Günzl, Karen (2)
- Iyama, Osamu (2)
- Janhunen, Tomi (2)
- Jantzen, Jens Carsten (2)
- Johnson, Norman Lloyd (2)
- Kannan, Arun S. (2)
- Kleshchev, Alexander S. (2)
- Koch, Gregers (2)
- Koppinen, Markku (2)
- Maksimenko, Egor A. (2)
- Marchi, Mario (2)
- Pilz, Günter F. (2)
- Rabe, Florian (2)
- Ramos-Vazquez, Gerardo (2)
- Reyman, Alexey G. (2)
- Ryom-Hansen, Steen (2)
- Simson, Daniel (2)
- Smilga, Ilia (2)
- Tachikawa, Hiroyuki (2)
- Viegas, Evelyne (2)
- Wiedemann, Alfred (2)
- Wollenberg, Manfred (2)
- Xi, Changchang (2)
- Ambartzumian, Ruben Victorovich (1)
- Arveson, William Barnes (1)
- Auslander, Maurice (1)
- Baer, Dagmar (1)
- Ball, Joseph Anthony (1)
- Barany, Michael J. (1)
- Barnard, Emily (1)
- Barwick, Susan G. (1)
- Bassily, Nader L. (1)
- Baudrier, Étienne (1)
- Beale, Stephen (1)
- Bekka, Mohammed el Bachir (1)
- Biscione, Valerio (1)
- Bobovich, Feliks. R. (1)
- Bomanson, Jori (1)
- Bongartz, Klaus (1)
- Borghardt, Alexander A. (1)
- Boros, Zoltán (1)
- Boulay, Ben du (1)
- Bowers, Jeffrey S. (1)
- Brenner, Sheila (1)
- Bretscher, Otto (1)
- Brown, Charles Grant (1)
- Buchholz, Detlev (1)
- Buchweitz, Ragnar-Olaf (1)
- Buenermann, Dieter (1)
- Busa, Federica (1)
- Busemann, Stephan (1)
- Cantone, Domenico (1)
- Cao, Feilong (1)
- Carlin, Kevin J. (1)
- Carroll, Philip T. (1)
- Cass, Frank Peter (1)
- Chen, Qiuhui (1)
- Chojnacki, Wojciech (1)
- Chou, Ching (1)
- Cline, Edward T. (1)
- Coelho, Flávio Ulhoa (1)
- Cohen, Daniel I. A. (1)
- Crawley-Boevey, William (1)
- Daini, Ola-Olu A. (1)
- de Bruijn, Jos (1)
- Deliyanni, Amaryllis (1)
- Demetrovics, János (1)
- Dempwolff, Ulrich (1)
- D’haeseleer, Jozefien (1)
- Dougherty, Edward R. (1)
- Dowbor, Piotr (1)
- Dubois, Danièle (1)
- Dugas, Alex S. (1)
- Fan, Hong-Yi (1)
- Fannes, Mark (1)
- Fellbaum, Christiane (1)
- Filter, Eckhard (1)
- and 202 more Authors
all
top 5
Serial
- J. Algebra (11)
- Commun. Algebra (7)
- Trans. Am. Math. Soc. (6)
- Commun. Math. Phys. (5)
- Arch. Math. (5)
- Manuscr. Math. (5)
- Proc. Lond. Math. Soc. (3) (5)
- Geom. Dedicata (4)
- J. Reine Angew. Math. (4)
- Aequationes Math. (4)
- Algebr. Represent. Theory (4)
- Commun. Pure Appl. Math. (3)
- Integral Equations Oper. Theory (3)
- J. Geom. (3)
- J. Lond. Math. Soc., II. Ser. (3)
- J. Pure Appl. Algebra (3)
- J. Math. Phys. (2)
- Math. Proc. Camb. Philos. Soc. (2)
- Rep. Math. Phys. (2)
- Beitr. Algebra Geom. (2)
- An. Inst. Mat., Univ. Nac. Autón. Méx. (2)
- Comment. Math. Helv. (2)
- J. Funct. Anal. (2)
- Math. Scand. (2)
- Proc. Edinb. Math. Soc., II. Ser. (2)
- Math. USSR, Sb. (2)
- Mod. Phys. Lett. B (1)
- Int. J. Man-Mach. Stud. (1)
- Inf. Process. Lett. (1)
- Lith. Math. J. (1)
- Math. Notes (1)
- Mat. Zametki (1)
- Rev. Math. Phys. (1)
- Adv. Math. (1)
- Algebra Univers. (1)
- Algol Bull. (1)
- Am. J. Math. (1)
- Ann. Inst. Fourier (1)
- Ann. Sci. Éc. Norm. Supér. (4) (1)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. (1)
- BIT (1)
- Bull. Lond. Math. Soc. (1)
- Colloq. Math. (1)
- Compos. Math. (1)
- Czech. Math. J. (1)
- Fibonacci Q. (1)
- Fundam. Math. (1)
- Hiroshima Math. J. (1)
- Indiana Univ. Math. J. (1)
- Invent. Math. (1)
- J. Comput. Syst. Sci. (1)
- J. Differ. Equations (1)
- J. Korean Math. Soc. (1)
- J. Sov. Math. (1)
- J. Stat. Plann. Inference (1)
- Math. Nachr. (1)
- Math. Z. (1)
- Osaka J. Math. (1)
- Publ. Res. Inst. Math. Sci. (1)
- Rend. Ist. Mat. Univ. Trieste (1)
- Rend. Semin. Mat. Univ. Padova (1)
- Result. Math. (1)
- Semigroup Forum (1)
- Rend. Semin. Mat. Brescia (1)
- Bull. Math. (1)
- Acta Appl. Math. (1)
- Acta Math. Appl. Sin., Engl. Ser. (1)
- Hacettepe Bull. Nat. Sci. Eng. (1)
- J. Comput. Sci. Technol. (1)
- J. Inf. Process. Cybern. (1)
- J. Autom. Reasoning (1)
- Math. Control Signals Syst. (1)
- Bull. Allahabad Math. Soc. (1)
- PU.M.A., Pure Math. Appl., Ser. A (1)
- Appl. Math. Modelling (1)
- Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. (1)
- Atti Semin. Mat. Fis. Univ. Modena (1)
- Commun. ACM (1)
- J. Phys. A, Math. Gen. (1)
- Linear Algebra Appl. (1)
- Pattern Recognition (1)
- C. R. Acad. Sci., Paris, Sér. I (1)
- Ann. Inst. Henri Poincaré, Phys. Théor. (1)
- Algebras Groups Geom. (1)
- Chin. Sci. Bull. (1)
- Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. (1)
- J. Math. Imaging Vis. (1)
- Mathematica (1)
- Tr. Semin. Vektorn. Tenzorn. Anal. (1)
- J. Appl. Non-Class. Log. (1)
- Georgian Math. J. (1)
- Finite Fields Appl. (1)
- Electron. J. Comb. (1)
- J. Convex Anal. (1)
- Bull. Sci. Math. (1)
- Acta Univ. Wratislav. (1)
- Represent. Theory (1)
- Methods Funct. Anal. Topol. (1)
- Ramanujan J. (1)
- Fundam. Inform. (1)
- and 20 more Serials
all
top 5
Year of Publication
- 2024 (2)
- 2023 (1)
- 2022 (2)
- 2021 (5)
- 2020 (6)
- 2019 (5)
- 2018 (6)
- 2017 (5)
- 2016 (2)
- 2015 (6)
- 2014 (3)
- 2013 (1)
- 2012 (3)
- 2011 (2)
- 2010 (5)
- 2008 (2)
- 2007 (2)
- 2006 (2)
- 2005 (3)
- 2004 (5)
- 2003 (2)
- 2002 (1)
- 2001 (4)
- 2000 (4)
- 1999 (6)
- 1998 (1)
- 1997 (5)
- 1996 (4)
- 1995 (4)
- 1994 (4)
- 1993 (4)
- 1992 (10)
- 1991 (8)
- 1990 (8)
- 1989 (2)
- 1988 (8)
- 1987 (17)
- 1986 (10)
- 1985 (14)
- 1984 (16)
- 1983 (10)
- 1982 (9)
- 1981 (4)
- 1980 (9)
- 1979 (2)
- 1978 (5)
- 1977 (1)
- 1971 (1)
all
top 3
Main Field
- 16-XX (76)
- 20-XX (34)
- 68-XX (33)
- 22-XX (32)
- 51-XX (26)
- 47-XX (20)
- 46-XX (18)
- 03-XX (15)
- 17-XX (14)
- 35-XX (13)
- 43-XX (13)
- 81-XX (12)
- 14-XX (10)
- 06-XX (9)
- 18-XX (9)
- 11-XX (7)
- 05-XX (6)
- 26-XX (6)
- 39-XX (6)
- 42-XX (6)
- 60-XX (6)
- 15-XX (5)
- 30-XX (5)
- 53-XX (5)
- 82-XX (5)
- 00-XX (4)
- 33-XX (4)
- 34-XX (4)
- 37-XX (4)
- 91-XX (4)
- 12-XX (3)
- 28-XX (3)
- 62-XX (3)
- 93-XX (3)
- 13-XX (2)
- 45-XX (2)
- 52-XX (2)
- 55-XX (2)
- 65-XX (2)
- 70-XX (2)
- 01-XX (1)
- 44-XX (1)
- 54-XX (1)
- 57-XX (1)
- 58-XX (1)
- 74-XX (1)
- 78-XX (1)
- 83-XX (1)
- 90-XX (1)
- 94-XX (1)
- 97-XX (1)
all
top 3
Software
- LATIN (2)
- MMT (2)
- SageMath (2)
- Twelf (2)
- ++Spicy (1)
- ALGOL 68 (1)
- AlexNet (1)
- Clingo (1)
- EMNIST (1)
- Fashion-MNIST (1)
- HiLog (1)
- IMPS (1)
- INGRES (1)
- ImageNet (1)
- Isabelle (1)
- Kensho (1)
- MNIST (1)
- MPTP 0.2 (1)
- Maple (1)
- MathWebSearch (1)
- MaxHS (1)
- Mizar (1)
- MoMM (1)
- MostoDEx (1)
- OBJ3 (1)
- OMDoc (1)
- Picat-SAT (1)
- Python (1)
- QMT (1)
- R (1)
- ROBETH (1)
- SPARQL (1)
- STBenchmark (1)
- SumTools (1)
- TNTBase (1)
- VizCurator (1)
- WASP (1)
- WordNet (1)
- clasp (1)
- iBench (1)
- lp2normal (1)
- qMultiSum (1)