MML
1523 articles · number = notions (patterns) introduced
ABCMIZ_0
50
ABCMIZ_1
100
ABCMIZ_A
41
ABIAN
10
ABSRED_0
64
ABSVALUE
2
ACKERMAN
16
AESCIP_1
26
AFF_1
8
AFF_2
14
AFF_3
8
AFF_4
6
AFINSQ_1
23
AFINSQ_2
10
AFPROJ
14
AFVECT0
13
AFVECT01
4
AIMLOOP
57
ALG_1
15
ALGGEO_1
14
ALGNUM_1
16
ALGSEQ_1
5
ALGSPEC1
7
ALGSTR_0
72
ALGSTR_1
19
ALGSTR_2
8
ALGSTR_3
12
ALGSTR_4
23
ALI2
2
ALTCAT_1
36
ALTCAT_2
16
ALTCAT_3
13
ALTCAT_4
5
ALTCAT_5
13
ALTCAT_6
12
AMI_2
11
AMI_3
13
AMI_4
2
AMI_5
0
AMI_6
0
AMI_8
6
AMI_WSTD
16
AMISTD_1
10
AMISTD_2
4
AMISTD_3
2
AMISTD_4
7
AMISTD_5
7
ANALMETR
27
ANALOAF
13
ANALORT
8
ANPROJ10
37
ANPROJ11
28
ANPROJ_1
7
ANPROJ_2
18
ANPROJ_8
4
ANPROJ_9
8
AOFA_000
48
AOFA_A00
97
AOFA_A01
21
AOFA_I00
112
AOFA_L00
89
ARITHM
0
ARMSTRNG
57
ARROW
8
ARYTM_0
5
ARYTM_1
2
ARYTM_2
10
ARYTM_3
17
ASCOLI
4
ASCOLI2
7
ASYMPT_0
24
ASYMPT_1
6
ASYMPT_2
3
ASYMPT_3
7
AUTALG_1
9
AUTGROUP
6
AXIOMS
0
BAGORD_2
28
BAGORDER
19
BALLOT_1
3
BASEL_1
8
BASEL_2
5
BCIALG_1
39
BCIALG_2
22
BCIALG_3
12
BCIALG_4
23
BCIALG_5
7
BCIALG_6
17
BCIIDEAL
8
BHSP_1
14
BHSP_2
7
BHSP_3
4
BHSP_4
8
BHSP_5
9
BHSP_6
7
BHSP_7
0
BILINEAR
30
BINARI_2
6
BINARI_3
1
BINARI_4
2
BINARI_6
12
BINARITH
11
BINOM
7
BINOP_1
22
BINOP_2
24
BINPACK1
9
BINTREE1
4
BINTREE2
4
BIRKHOFF
1
BKMODEL1
9
BKMODEL2
8
BKMODEL3
9
BKMODEL4
8
BOOLE
0
BOOLEALG
8
BOOLMARK
8
BOR_CANT
12
BORSUK_1
27
BORSUK_2
10
BORSUK_3
2
BORSUK_4
1
BORSUK_5
3
BORSUK_6
15
BORSUK_7
21
BROUWER
5
BROUWER2
0
BROUWER3
3
BSPACE
11
BVFUNC11
0
BVFUNC14
0
BVFUNC25
6
BVFUNC_1
26
BVFUNC_2
13
BVFUNC_3
0
BVFUNC_4
0
BVFUNC_5
0
BVFUNC_6
0
C0SP1
18
C0SP2
9
C0SP3
21
CALCUL_1
16
CALCUL_2
7
CANTOR_1
7
CARD_1
10
CARD_2
3
CARD_3
20
CARD_4
0
CARD_5
5
CARD_FIL
23
CARD_FIN
3
CARD_LAR
13
CARDFIL2
31
CARDFIL3
9
CARDFIL4
10
CARDFIN2
4
CAT_1
35
CAT_2
19
CAT_3
19
CAT_4
54
CAT_5
26
CAT_6
47
CAT_7
25
CAT_8
39
CATALAN1
1
CATALAN2
6
CATALG_1
19
CAYLDICK
15
CAYLEY
4
CC0SP1
10
CC0SP2
10
CFCONT_1
3
CFDIFF_1
14
CFDIFF_2
0
CFUNCDOM
14
CFUNCT_1
2
CGAMES_1
30
CHAIN_1
29
CHORD
16
CIRCCMB2
1
CIRCCMB3
15
CIRCCOMB
17
CIRCLED1
8
CIRCTRM1
18
CIRCUIT1
10
CIRCUIT2
10
CKSPACE1
3
CLASSES1
11
CLASSES2
20
CLASSES3
7
CLASSES4
21
CLASSES5
44
CLOPBAN1
20
CLOPBAN2
20
CLOPBAN3
5
CLOPBAN4
7
CLOSURE1
25
CLOSURE2
40
CLOSURE3
7
CLVECT_1
28
CLVECT_2
12
CLVECT_3
9
COH_SP
30
COHSP_1
31
COLLSP
13
COMBGRAS
21
COMMACAT
10
COMPACT1
11
COMPL_SP
11
COMPLEX1
11
COMPLEX2
4
COMPLEX3
7
COMPLFLD
3
COMPLSP1
1
COMPLSP2
8
COMPOS_0
20
COMPOS_1
28
COMPOS_2
6
COMPTRIG
2
COMPTS_1
6
COMPUT_1
31
COMSEQ_1
1
COMSEQ_2
6
COMSEQ_3
13
CONAFFM
7
CONLAT_1
40
CONLAT_2
9
CONMETR
8
CONMETR1
6
CONNSP_1
7
CONNSP_2
7
CONNSP_3
7
CONVEX1
5
CONVEX2
3
CONVEX3
3
CONVEX4
28
CONVFUN1
6
COUNTERS
16
COUSIN
6
COUSIN2
11
CQC_LANG
15
CQC_SIM1
17
CQC_THE1
10
CQC_THE2
0
CQC_THE3
7
CSSPACE
24
CSSPACE2
1
CSSPACE3
6
CSSPACE4
10
CURVE
1
DBLSEQ_1
15
DBLSEQ_2
4
DBLSEQ_3
24
DECOMP_1
40
DESCIP_1
49
DICKSON
16
DIFF_1
17
DIFF_2
2
DIFF_3
0
DIFF_4
0
DILWORTH
18
DIOPHAN1
2
DIOPHAN2
5
DIRAF
9
DIRORT
10
DIST_1
16
DIST_2
18
DOMAIN_1
19
DTCONSTR
27
DUALSP01
21
DUALSP02
4
DUALSP03
7
DUALSP04
13
DUALSP05
3
DUALSP06
6
DUALSP07
5
DYNKIN
10
E_SIEC
29
E_TRANS1
10
E_TRANS2
9
EC_PF_1
14
EC_PF_2
13
EC_PF_3
6
ENDALG
8
ENS_1
26
ENTROPY1
12
ENUMSET1
8
EQREL_1
22
EQUATION
9
EUCLID
24
EUCLID10
1
EUCLID11
0
EUCLID12
8
EUCLID13
4
EUCLID_2
0
EUCLID_3
17
EUCLID_4
4
EUCLID_5
7
EUCLID_6
3
EUCLID_7
16
EUCLID_8
8
EUCLID_9
5
EUCLIDLP
14
EUCLMETR
7
EULER_1
1
EULER_2
3
EULRPART
5
EXCHSORT
22
EXTENS_1
0
EXTPRO_1
20
EXTREAL1
4
FACIRC_1
25
FACIRC_2
7
FCONT_1
4
FCONT_2
1
FCONT_3
0
FDIFF_1
10
FDIFF_10
0
FDIFF_11
0
FDIFF_12
2
FDIFF_2
0
FDIFF_3
6
FDIFF_4
0
FDIFF_5
0
FDIFF_6
0
FDIFF_7
0
FDIFF_8
0
FDIFF_9
2
FF_SIEC
18
FIB_FUSC
3
FIB_NUM
2
FIB_NUM2
6
FIB_NUM3
5
FIB_NUM4
0
FIELD_1
10
FIELD_10
11
FIELD_11
16
FIELD_12
29
FIELD_13
8
FIELD_14
12
FIELD_15
11
FIELD_16
15
FIELD_2
10
FIELD_3
11
FIELD_4
13
FIELD_5
11
FIELD_6
14
FIELD_7
18
FIELD_8
13
FIELD_9
27
FILEREC1
2
FILTER_0
16
FILTER_1
14
FILTER_2
17
FIN_TOPO
20
FINANCE1
17
FINANCE2
10
FINANCE3
24
FINANCE4
8
FINANCE5
27
FINANCE6
19
FINSEQ_1
30
FINSEQ_2
11
FINSEQ_3
4
FINSEQ_4
12
FINSEQ_5
5
FINSEQ_6
15
FINSEQ_7
3
FINSEQ_8
14
FINSEQ_9
3
FINSEQOP
9
FINSET_1
7
FINSOP_1
4
FINSUB_1
9
FINTOPO2
22
FINTOPO3
11
FINTOPO4
6
FINTOPO5
6
FINTOPO6
9
FINTOPO7
19
FINTOPO8
25
FLANG_1
9
FLANG_2
2
FLANG_3
2
FLEXARY1
10
FOMODEL0
48
FOMODEL1
67
FOMODEL2
60
FOMODEL3
41
FOMODEL4
91
FRAENKEL
0
FRECHET
8
FRECHET2
3
FREEALG
26
FRIENDS1
5
FSCIRC_1
9
FSCIRC_2
4
FSM_1
41
FSM_2
19
FSM_3
19
FTACELL1
24
FUNCOP_1
23
FUNCSDOM
18
FUNCT_1
16
FUNCT_2
20
FUNCT_3
18
FUNCT_4
13
FUNCT_5
14
FUNCT_6
9
FUNCT_7
19
FUNCT_8
9
FUNCT_9
2
FUNCTOR0
55
FUNCTOR1
0
FUNCTOR2
12
FUNCTOR3
11
FUZIMPL1
28
FUZIMPL2
19
FUZIMPL3
23
FUZIMPL4
12
FUZNORM1
21
FUZNUM_1
13
FUZZY_1
11
FUZZY_2
6
FUZZY_4
5
FUZZY_5
1
FUZZY_6
1
FUZZY_7
0
FUZZY_8
0
FUZZY_9
0
FVALUAT1
18
FVSUM_1
14
GALOIS_0
36
GALOIS_1
31
GALOIS_2
7
GALOIS_3
21
GALOIS_4
7
GATE_1
42
GATE_2
0
GATE_3
0
GATE_4
0
GATE_5
21
GAUSSINT
25
GCD_1
26
GENEALG1
15
GEOMTRAP
21
GFACIRC1
52
GFACIRC2
8
GLCOLO00
25
GLENUM00
16
GLIB_000
100
GLIB_001
56
GLIB_002
22
GLIB_003
68
GLIB_004
26
GLIB_005
23
GLIB_006
15
GLIB_007
10
GLIB_008
5
GLIB_009
11
GLIB_010
48
GLIB_011
13
GLIB_012
14
GLIB_013
40
GLIB_014
32
GLIB_015
28
GLIB_016
16
GLIBPRE0
6
GLIBPRE1
1
GLPACY00
10
GLUNIR00
4
GOBOARD1
8
GOBOARD2
2
GOBOARD3
0
GOBOARD4
2
GOBOARD5
8
GOBOARD6
0
GOBOARD7
0
GOBOARD8
0
GOBOARD9
3
GOBRD10
3
GOBRD11
0
GOBRD12
0
GOBRD13
7
GOBRD14
0
GOEDCPUC
10
GOEDELCP
8
GR_CY_1
7
GR_CY_2
0
GR_CY_3
3
GR_FREE0
16
GRAPH_1
39
GRAPH_2
6
GRAPH_3
17
GRAPH_3A
5
GRAPH_4
7
GRAPH_5
21
GRAPHSP
26
GRCAT_1
50
GRFUNC_1
0
GRNILP_1
3
GROEB_1
9
GROEB_2
13
GROEB_3
6
GROUP_1
16
GROUP_10
25
GROUP_11
4
GROUP_12
3
GROUP_14
2
GROUP_17
1
GROUP_18
2
GROUP_19
13
GROUP_1A
65
GROUP_2
20
GROUP_20
3
GROUP_21
24
GROUP_22
11
GROUP_23
35
GROUP_24
10
GROUP_3
21
GROUP_4
13
GROUP_5
10
GROUP_6
17
GROUP_7
14
GROUP_8
2
GROUP_9
45
GROUPP_1
5
GRSOLV_1
3
GRZLOG_1
60
GTARSKI1
33
GTARSKI2
14
GTARSKI3
29
GTARSKI4
10
GTARSKI5
22
HAHNBAN
10
HAHNBAN1
27
HALLMAR1
8
HAUSDORF
3
HEINE
1
HELLY
6
HENMODEL
9
HERMITAN
17
HESSENBE
0
HEYTING1
12
HEYTING2
8
HEYTING3
5
HFDIFF_1
0
HIDDEN
5
HILB10_1
2
HILB10_2
6
HILB10_3
0
HILB10_4
1
HILB10_5
4
HILB10_6
0
HILB10_7
17
HILB10_8
2
HILBASIS
7
HILBERT1
13
HILBERT2
10
HILBERT3
9
HILBERT4
12
HOLDER_1
0
HOMOTHET
1
HUFFMAN1
13
HURWITZ
11
HURWITZ2
17
IDEA_1
23
IDEAL_1
36
IDEAL_2
9
INCPROJ
17
INCSP_1
40
INDEX_1
28
INSTALG1
5
INT_1
12
INT_2
6
INT_3
14
INT_4
2
INT_5
4
INT_6
7
INT_7
4
INT_8
4
INTEGR10
12
INTEGR11
0
INTEGR12
0
INTEGR13
0
INTEGR14
0
INTEGR15
20
INTEGR16
12
INTEGR18
10
INTEGR19
1
INTEGR1C
7
INTEGR20
2
INTEGR21
0
INTEGR22
10
INTEGR23
0
INTEGR24
6
INTEGR25
6
INTEGR26
1
INTEGRA1
20
INTEGRA2
6
INTEGRA3
2
INTEGRA4
1
INTEGRA5
6
INTEGRA6
0
INTEGRA7
2
INTEGRA8
1
INTEGRA9
3
INTERVA1
30
INTPRO_1
25
INTPRO_2
22
IRRAT_1
9
ISOCAT_1
14
ISOCAT_2
15
ISOMICHI
14
JCT_MISC
1
JGRAPH_1
6
JGRAPH_2
2
JGRAPH_3
1
JGRAPH_4
9
JGRAPH_5
0
JGRAPH_6
10
JGRAPH_7
0
JGRAPH_8
0
JORDAN
10
JORDAN1
2
JORDAN10
4
JORDAN11
3
JORDAN12
2
JORDAN13
1
JORDAN14
1
JORDAN15
0
JORDAN16
0
JORDAN17
1
JORDAN18
4
JORDAN19
4
JORDAN1A
1
JORDAN1B
0
JORDAN1C
0
JORDAN1D
0
JORDAN1E
2
JORDAN1F
0
JORDAN1G
0
JORDAN1H
4
JORDAN1I
0
JORDAN1J
0
JORDAN1K
5
JORDAN20
6
JORDAN21
3
JORDAN22
0
JORDAN23
3
JORDAN24
4
JORDAN2B
2
JORDAN2C
4
JORDAN3
7
JORDAN4
6
JORDAN5A
0
JORDAN5B
0
JORDAN5C
3
JORDAN5D
16
JORDAN6
12
JORDAN7
1
JORDAN8
1
JORDAN9
1
JORDAN_A
7
KNASTER
13
KOLMOG01
12
KURATO_0
8
KURATO_1
9
KURATO_2
3
L_HOSPIT
0
LAGRA4SQ
4
LANG1
31
LAPLACE
13
LATQUASI
17
LATSTONE
16
LATSUBGR
3
LATSUM_1
2
LATTAD_1
29
LATTBA_1
26
LATTICE2
8
LATTICE3
32
LATTICE4
15
LATTICE5
28
LATTICE6
17
LATTICE7
8
LATTICE8
13
LATTICEA
11
LATTICES
50
LATWAL_1
19
LATWAL_2
22
LEIBNIZ1
3
LEXBFS
39
LFUZZY_0
15
LFUZZY_1
13
LIMFUNC1
14
LIMFUNC2
8
LIMFUNC3
4
LIMFUNC4
0
LIOUVIL1
12
LIOUVIL2
0
LMOD_6
6
LMOD_7
27
LMOD_XX1
34
LMODFREE
34
LOPBAN10
24
LOPBAN11
0
LOPBAN12
2
LOPBAN13
3
LOPBAN14
6
LOPBAN15
1
LOPBAN_1
22
LOPBAN_2
20
LOPBAN_3
11
LOPBAN_4
11
LOPBAN_5
2
LOPBAN_6
0
LOPBAN_7
6
LOPBAN_8
7
LOPBAN_9
12
LOPCLSET
13
LP_SPACE
4
LPSPACC1
26
LPSPACE1
22
LPSPACE2
13
LTLAXIO1
34
LTLAXIO2
6
LTLAXIO3
17
LTLAXIO4
20
LTLAXIO5
12
LUKASI_1
0
MARGREL1
37
MATGRP_0
20
MATHMORP
11
MATRIX10
12
MATRIX11
7
MATRIX12
12
MATRIX13
12
MATRIX14
6
MATRIX15
7
MATRIX16
13
MATRIX17
7
MATRIX_0
25
MATRIX_1
26
MATRIX_3
11
MATRIX_4
0
MATRIX_5
9
MATRIX_6
7
MATRIX_7
4
MATRIX_8
7
MATRIX_9
2
MATRIXC1
13
MATRIXJ1
32
MATRIXJ2
14
MATRIXR1
12
MATRIXR2
8
MATRLIN
12
MATRLIN2
7
MATROID0
20
MATRPROB
16
MATRTOP1
3
MATRTOP2
0
MATRTOP3
6
MAZURULM
4
MBOOLEAN
2
MCART_1
16
MEASUR10
11
MEASUR11
26
MEASUR12
18
MEASUR13
19
MEASUR14
12
MEASUR15
7
MEASURE1
17
MEASURE2
5
MEASURE3
6
MEASURE4
4
MEASURE5
9
MEASURE6
20
MEASURE7
16
MEASURE8
19
MEASURE9
12
MEMBER_1
27
MEMBERED
25
MEMSTR_0
30
MENELAUS
2
MESFUN10
2
MESFUN11
3
MESFUN12
9
MESFUN13
2
MESFUN14
2
MESFUN15
0
MESFUN16
1
MESFUN17
0
MESFUN18
0
MESFUN6C
5
MESFUN7C
15
MESFUN9C
7
MESFUNC1
21
MESFUNC2
6
MESFUNC3
2
MESFUNC4
0
MESFUNC5
20
MESFUNC6
5
MESFUNC7
6
MESFUNC8
9
MESFUNC9
11
METRIC_1
37
METRIC_2
16
METRIC_3
23
METRIC_6
7
METRIZTS
3
MFOLD_0
11
MFOLD_1
3
MFOLD_2
6
MIDSP_1
25
MIDSP_2
23
MIDSP_3
24
MMLQUER2
14
MMLQUERY
60
MOD_2
29
MOD_3
0
MOD_4
23
MODAL_1
24
MODCAT_1
18
MODELC_1
96
MODELC_2
82
MODELC_3
65
MOEBIUS1
8
MOEBIUS2
11
MOEBIUS3
11
MONOID_0
52
MONOID_1
23
MORPH_01
7
MSAFREE
22
MSAFREE1
3
MSAFREE2
15
MSAFREE3
6
MSAFREE4
27
MSAFREE5
57
MSALIMIT
10
MSATERM
17
MSINST_1
4
MSSCYC_1
7
MSSCYC_2
4
MSSUBFAM
12
MSSUBLAT
0
MSUALG_1
32
MSUALG_2
23
MSUALG_3
16
MSUALG_4
26
MSUALG_5
7
MSUALG_6
19
MSUALG_7
4
MSUALG_8
4
MSUALG_9
2
MSUHOM_1
3
MULTOP_1
6
MUSIC_S1
129
MYCIELSK
10
NAGATA_1
13
NAGATA_2
3
NAT_1
11
NAT_2
1
NAT_3
15
NAT_4
1
NAT_5
8
NAT_6
10
NAT_D
10
NAT_LAT
14
NATTRA_1
22
NBVECTSP
5
NCFCONT1
22
NCFCONT2
8
NDIFF10
1
NDIFF11
2
NDIFF12
0
NDIFF13
3
NDIFF14
11
NDIFF_1
11
NDIFF_2
4
NDIFF_3
9
NDIFF_4
7
NDIFF_5
10
NDIFF_6
7
NDIFF_7
14
NDIFF_8
1
NDIFF_9
0
NECKLA_2
5
NECKLA_3
4
NECKLACE
11
NELSON_1
52
NET_1
17
NEURONS1
7
NEWTON
11
NEWTON01
0
NEWTON02
1
NEWTON03
7
NEWTON04
4
NEWTON05
4
NEWTON06
0
NEWTON07
3
NFCONT_1
10
NFCONT_2
4
NFCONT_3
3
NFCONT_4
6
NIVEN
1
NOMIN_1
27
NOMIN_2
19
NOMIN_3
7
NOMIN_4
28
NOMIN_5
20
NOMIN_6
13
NOMIN_7
19
NOMIN_8
15
NOMIN_9
18
NORMFORM
12
NORMSP_0
16
NORMSP_1
12
NORMSP_2
4
NORMSP_3
23
NORMSP_4
1
NTALGO_1
4
NTALGO_2
5
NUMBER01
0
NUMBER02
1
NUMBER03
2
NUMBER04
3
NUMBER05
4
NUMBER06
13
NUMBER07
6
NUMBER08
10
NUMBER09
5
NUMBER10
8
NUMBER11
1
NUMBER12
3
NUMBER13
5
NUMBER14
19
NUMBER15
16
NUMBER16
0
NUMBER17
18
NUMBER18
11
NUMBER19
4
NUMBERS
7
NUMERAL1
2
NUMERAL2
2
NUMERAL3
0
NUMERALS
0
NUMPOLY1
16
O_RING_1
14
OPENLATT
18
OPOSET_1
31
OPPCAT_1
13
ORDEQ_01
7
ORDEQ_02
1
ORDERS_1
18
ORDERS_2
23
ORDERS_3
13
ORDERS_4
3
ORDERS_5
35
ORDINAL1
24
ORDINAL2
18
ORDINAL3
9
ORDINAL4
10
ORDINAL5
11
ORDINAL6
20
ORDINAL7
5
ORTSP_1
4
OSAFREE
35
OSALG_1
45
OSALG_2
19
OSALG_3
4
OSALG_4
32
PAPDESAF
7
PAPPUS
0
PARDEPAP
0
PARSP_1
17
PARSP_2
5
PARTFUN1
11
PARTFUN2
5
PARTFUN3
9
PARTFUN4
0
PARTIT1
12
PARTIT_2
6
PARTPR_1
19
PARTPR_2
21
PASCAL
4
PASCH
6
PBOOLE
26
PCOMPS_1
8
PCOMPS_2
3
PCS_0
75
PDIFF_1
21
PDIFF_2
5
PDIFF_3
17
PDIFF_4
10
PDIFF_5
36
PDIFF_6
5
PDIFF_7
7
PDIFF_8
0
PDIFF_9
12
PDIFFEQ1
0
PDLAX
0
PELLS_EQ
3
PENCIL_1
26
PENCIL_2
7
PENCIL_3
5
PENCIL_4
11
PEPIN
4
PETERSON
51
PETRI
39
PETRI_2
23
PETRI_3
22
PETRI_DF
20
PL_AXIOM
29
PNPROC_1
25
POLNOT_1
58
POLNOT_2
32
POLYALG1
11
POLYALGX
6
POLYDIFF
6
POLYEQ_1
5
POLYEQ_2
2
POLYEQ_3
4
POLYEQ_4
1
POLYEQ_5
9
POLYFORM
42
POLYNOM1
16
POLYNOM2
3
POLYNOM3
18
POLYNOM4
3
POLYNOM5
13
POLYNOM6
4
POLYNOM7
12
POLYNOM8
8
POLYNOM9
14
POLYRED
18
POLYVIE1
2
POSET_1
12
POSET_2
14
POWER
4
PRALG_1
29
PRALG_2
15
PRALG_3
5
PRE_CIRC
0
PRE_FF
3
PRE_POLY
32
PRE_TOPC
21
PREFER_1
28
PRELAMB
38
PREPOWER
7
PRGCOR_1
2
PRGCOR_2
7
PRIMRECI
1
PROB_1
24
PROB_2
7
PROB_3
15
PROB_4
10
PROCAL_1
0
PROJDES1
2
PROJPL_1
12
PROJRED1
1
PROJRED2
3
PROOFS_1
59
PRSUBSET
5
PRVECT_1
28
PRVECT_2
15
PRVECT_3
10
PRVECT_4
8
PSCOMP_1
28
PUA2MSS1
26
PYTHTRIP
8
PZFMISC1
3
QC_LANG1
50
QC_LANG2
23
QC_LANG3
6
QC_LANG4
6
QC_TRANS
6
QMAX_1
28
QUANTAL1
44
QUATERN2
17
QUATERN3
4
QUATERNI
29
QUIN_1
1
QUOFIELD
30
RADIX_1
15
RADIX_2
9
RADIX_3
14
RADIX_4
2
RADIX_5
8
RADIX_6
12
RAMSEY_1
2
RANDOM_1
11
RANDOM_2
4
RANDOM_3
19
RANKNULL
12
RAT_1
5
RATFUNC1
28
RCOMP_1
8
RCOMP_3
3
REAL
0
REAL_1
6
REAL_3
15
REAL_LAT
6
REAL_NS1
7
REAL_NS2
0
REAL_NS3
6
REALALG1
32
REALALG2
15
REALALG3
15
REALSET1
8
REALSET2
6
REALSET3
2
REARRAN1
8
RECDEF_1
1
RECDEF_2
7
RELAT_1
21
RELAT_2
16
RELOC
0
RELSET_1
12
RELSET_2
9
RELSET_3
4
REVROT_1
0
REWRITE1
28
REWRITE2
15
REWRITE3
13
RFINSEQ
4
RFINSEQ2
6
RFUNCT_1
7
RFUNCT_2
5
RFUNCT_3
26
RFUNCT_4
8
RINFSUP1
8
RINFSUP2
9
RING_1
7
RING_2
28
RING_3
23
RING_4
20
RING_5
7
RING_EMB
12
RINGCAT1
38
RINGDER1
12
RINGFRAC
27
RLAFFIN1
7
RLAFFIN2
2
RLAFFIN3
4
RLSUB_1
6
RLSUB_2
8
RLTOPSP1
24
RLVECT_1
21
RLVECT_2
21
RLVECT_3
4
RLVECT_4
0
RLVECT_5
3
RLVECT_X
3
RMOD_2
6
RMOD_3
7
RMOD_4
15
ROBBINS1
45
ROBBINS2
3
ROBBINS3
36
ROBBINS4
8
ROBBINS5
6
ROLLE
0
ROUGHIF1
23
ROUGHIF2
15
ROUGHS_1
24
ROUGHS_2
18
ROUGHS_3
12
ROUGHS_4
52
ROUGHS_5
7
RPR_1
4
RSSPACE
10
RSSPACE2
1
RSSPACE3
6
RSSPACE4
10
RUSUB_1
5
RUSUB_2
8
RUSUB_3
2
RUSUB_4
10
RUSUB_5
6
RUSUB_6
4
RUSUB_7
1
RVSUM_1
27
RVSUM_2
14
RVSUM_3
13
RVSUM_4
18
SCHEME1
0
SCHEMS_1
0
SCM_1
1
SCM_COMP
18
SCM_HALT
4
SCM_INST
9
SCMBSORT
2
SCMFSA10
1
SCMFSA6A
5
SCMFSA6B
2
SCMFSA6C
2
SCMFSA7B
6
SCMFSA8A
3
SCMFSA8B
4
SCMFSA8C
1
SCMFSA9A
9
SCMFSA_1
14
SCMFSA_2
21
SCMFSA_3
1
SCMFSA_4
0
SCMFSA_5
0
SCMFSA_7
4
SCMFSA_9
2
SCMFSA_I
8
SCMFSA_M
15
SCMFSA_X
6
SCMISORT
3
SCMP_GCD
4
SCMPDS_1
6
SCMPDS_2
18
SCMPDS_3
1
SCMPDS_4
12
SCMPDS_5
1
SCMPDS_6
12
SCMPDS_7
4
SCMPDS_8
2
SCMPDS_9
1
SCMPDS_I
15
SCMRING1
9
SCMRING2
10
SCMRING3
2
SCMRING4
1
SCMRINGI
9
SCMYCIEL
37
SCPINVAR
4
SCPISORT
2
SCPQSORT
2
SEMI_AF1
10
SEQ_1
2
SEQ_2
7
SEQ_4
30
SEQFUNC
15
SEQFUNC2
9
SEQM_3
10
SERIES_1
9
SERIES_2
0
SERIES_3
1
SERIES_4
0
SERIES_5
0
SETFAM_1
17
SETLIM_1
10
SETLIM_2
9
SETWISEO
15
SETWOP_2
5
SF_MASTR
8
SFMASTR1
5
SFMASTR2
5
SFMASTR3
6
SGRAPH1
20
SHEFFER1
29
SHEFFER2
1
SIMPLEX0
34
SIMPLEX1
11
SIMPLEX2
6
SIN_COS
29
SIN_COS2
6
SIN_COS3
4
SIN_COS4
4
SIN_COS5
3
SIN_COS6
4
SIN_COS7
8
SIN_COS8
0
SIN_COS9
4
SINCOS10
8
SPPOL_1
5
SPPOL_2
6
SPRECT_1
3
SPRECT_2
4
SPRECT_3
0
SPRECT_4
0
SPRECT_5
0
SQUARE_1
3
SRINGS_1
5
SRINGS_2
1
SRINGS_3
8
SRINGS_4
7
SRINGS_5
30
STACKS_1
35
STIRL2_1
5
STIRLIN1
21
STRUCT_0
62
SUBLEMMA
21
SUBSET
0
SUBSET_1
17
SUBSTLAT
5
SUBSTUT1
49
SUBSTUT2
10
SUPINF_1
8
SUPINF_2
25
SURREAL0
28
SURREAL1
19
SURREALC
29
SURREALI
15
SURREALN
13
SURREALO
17
SURREALR
18
SURREALS
9
SUSZKO_1
85
SYMSP_1
9
SYSREL
1
T_0TOPSP
8
T_1TOPSP
4
TARSKI
7
TARSKI_0
0
TARSKI_A
0
TAXONOM1
8
TAXONOM2
9
TAYLOR_1
7
TAYLOR_2
1
TBSP_1
8
TDGROUP
9
TDLAT_1
18
TDLAT_2
5
TDLAT_3
5
TERMORD
9
TEX_1
6
TEX_2
6
TEX_3
4
TEX_4
19
TIETZE
1
TIETZE_2
3
TMAP_1
14
TOLER_1
9
TOPALG_1
9
TOPALG_2
5
TOPALG_3
3
TOPALG_4
11
TOPALG_5
7
TOPALG_6
16
TOPALG_7
14
TOPDIM_1
10
TOPDIM_2
2
TOPGEN_1
13
TOPGEN_2
8
TOPGEN_3
9
TOPGEN_4
15
TOPGEN_5
6
TOPGEN_6
2
TOPGRP_1
20
TOPMETR
9
TOPMETR2
0
TOPMETR3
0
TOPMETR4
2
TOPREAL1
13
TOPREAL2
2
TOPREAL3
0
TOPREAL4
3
TOPREAL5
0
TOPREAL6
1
TOPREAL7
4
TOPREAL8
0
TOPREAL9
5
TOPREALA
2
TOPREALB
16
TOPREALC
19
TOPRNS_1
10
TOPS_1
8
TOPS_2
6
TOPS_3
5
TOPS_4
0
TOPS_5
6
TOPZARI1
16
TRANSGEO
14
TRANSLAC
1
TREAL_1
4
TREES_1
19
TREES_2
17
TREES_3
28
TREES_4
12
TREES_9
19
TREES_A
3
TRIANG_1
18
TSEP_1
12
TSEP_2
6
TSP_1
18
TSP_2
13
TURING_1
52
TWOSCOMP
32
UNIALG_1
10
UNIALG_2
20
UNIALG_3
8
UNIFORM1
2
UNIFORM2
37
UNIFORM3
34
UNIROOTS
5
UPROOTS
12
URYSOHN1
9
URYSOHN2
0
URYSOHN3
6
VALUAT_1
12
VALUED_0
23
VALUED_1
71
VALUED_2
110
VECTMETR
16
VECTSP10
13
VECTSP11
5
VECTSP12
13
VECTSP13
27
VECTSP_1
34
VECTSP_2
26
VECTSP_4
6
VECTSP_5
8
VECTSP_6
11
VECTSP_7
6
VECTSP_8
11
VECTSP_9
2
VFUNCT_1
7
VFUNCT_2
4
VSDIFF_1
14
WALLACE1
17
WALLIS01
7
WAYBEL10
10
WAYBEL11
14
WAYBEL12
6
WAYBEL13
0
WAYBEL14
1
WAYBEL15
2
WAYBEL16
4
WAYBEL17
4
WAYBEL18
12
WAYBEL19
5
WAYBEL20
6
WAYBEL21
4
WAYBEL22
3
WAYBEL23
13
WAYBEL24
3
WAYBEL25
4
WAYBEL26
8
WAYBEL27
7
WAYBEL28
5
WAYBEL29
5
WAYBEL30
4
WAYBEL31
2
WAYBEL32
4
WAYBEL33
3
WAYBEL34
19
WAYBEL35
13
WAYBEL_0
53
WAYBEL_1
28
WAYBEL_2
7
WAYBEL_3
15
WAYBEL_4
26
WAYBEL_5
16
WAYBEL_6
10
WAYBEL_7
7
WAYBEL_8
5
WAYBEL_9
15
WEDDWITT
7
WEIERSTR
10
WELLFND1
6
WELLORD1
9
WELLORD2
4
WELLSET1
0
WSIERP_1
5
XBOOLE_0
13
XBOOLE_1
0
XBOOLEAN
12
XCMPLX_0
9
XCMPLX_1
0
XFAMILY
6
XPRIMES0
0
XPRIMES1
0
XPRIMES2
0
XPRIMES3
0
XPRIMET1
0
XREAL_0
3
XREAL_1
0
XREGULAR
0
XTUPLE_0
23
XXREAL_0
14
XXREAL_1
4
XXREAL_2
14
XXREAL_3
13
YELLOW10
1
YELLOW11
5
YELLOW12
1
YELLOW13
5
YELLOW14
4
YELLOW15
3
YELLOW16
9
YELLOW17
0
YELLOW18
14
YELLOW19
5
YELLOW20
8
YELLOW21
15
YELLOW_0
21
YELLOW_1
7
YELLOW_2
9
YELLOW_3
10
YELLOW_4
8
YELLOW_5
7
YELLOW_6
27
YELLOW_7
3
YELLOW_8
7
YELLOW_9
7
YONEDA_1
7
ZF_COLLA
3
ZF_FUND1
13
ZF_FUND2
2
ZF_LANG
44
ZF_LANG1
7
ZF_MODEL
14
ZF_REFLE
8
ZFMISC_1
10
ZFMODEL1
4
ZFMODEL2
0
ZFREFLE1
5
ZMATRLIN
33
ZMODLAT1
52
ZMODLAT2
6
ZMODLAT3
10
ZMODUL01
9
ZMODUL02
17
ZMODUL03
4
ZMODUL04
6
ZMODUL05
6
ZMODUL06
3
ZMODUL07
7
ZMODUL08
6