Portico
20230923T190918-0400
Portico
07
07
07477171
01
Journal of Symbolic Computation
01
Elsevier
03
03
03
Volume
1
Issue
1
00
01
198503
Volume
1
Issue
2
00
01
198506
Volume
1
Issue
3
00
01
198509
Volume
1
Issue
4
00
01
198512
Volume
2
Issue
1
00
01
198603
Volume
2
Issue
2
00
01
198606
Volume
2
Issue
3
00
01
198609
Volume
2
Issue
4
00
01
198612
Volume
3
Issue
1-2
00
01
198702
Volume
3
Issue
1
Volume
3
Issue
2
Volume
3
Issue
3
00
01
198706
Volume
4
Issue
1
00
01
198708
Volume
4
Issue
2
00
01
198710
Volume
4
Issue
3
00
01
198712
Volume
5
Issue
1-2
00
01
198802
Volume
5
Issue
1
Volume
5
Issue
2
Volume
5
Issue
3
00
01
198806
Volume
6
Issue
1
00
01
198808
Volume
6
Issue
2-3
00
01
198810
Volume
6
Issue
2
Volume
6
Issue
3
Volume
7
Issue
1
00
01
198901
Volume
7
Issue
2
00
01
198902
Volume
7
Issue
3-4
00
01
198903
Volume
7
Issue
3
Volume
7
Issue
4
Volume
7
Issue
5
00
01
198905
Volume
7
Issue
6
00
01
198906
Volume
8
Issue
1-2
00
01
198907
Volume
8
Issue
1
Volume
8
Issue
2
Volume
8
Issue
3
00
01
198909
Volume
8
Issue
4
00
01
198910
Volume
8
Issue
5
00
01
198911
Volume
8
Issue
6
00
01
198912
Volume
9
Issue
1
00
01
199001
Volume
9
Issue
2
00
01
199002
Volume
9
Issue
3
00
01
199003
Volume
9
Issue
4
00
01
199004
Volume
9
Issue
5-6
00
01
199005
Volume
9
Issue
5
Volume
9
Issue
6
Volume
10
Issue
1
00
01
199007
Volume
10
Issue
2
00
01
199008
Volume
10
Issue
3-4
00
01
199001
Volume
10
Issue
3
Volume
10
Issue
4
Volume
10
Issue
5
00
01
199011
Volume
10
Issue
6
00
01
199012
Volume
11
Issue
1-2
00
01
199101
Volume
11
Issue
1
Volume
11
Issue
2
Volume
11
Issue
3
00
01
199103
Volume
11
Issue
4
00
01
199104
Volume
11
Issue
5-6
00
01
199105
Volume
11
Issue
5
Volume
11
Issue
6
Volume
12
Issue
1
00
01
199107
Volume
12
Issue
2
00
01
199108
Volume
12
Issue
3
00
01
199109
Volume
12
Issue
4-5
00
01
199110
Volume
12
Issue
4
Volume
12
Issue
5
Volume
12
Issue
6
00
01
199112
Volume
13
Issue
1
00
01
199201
Volume
13
Issue
2
00
01
199202
Volume
13
Issue
3
00
01
199203
Volume
13
Issue
4
00
01
199204
Volume
13
Issue
5
00
01
199205
Volume
13
Issue
6
00
01
199206
Volume
14
Issue
1
00
01
199207
Volume
14
Issue
2-3
00
01
199208
Volume
14
Issue
2
Volume
14
Issue
3
Volume
14
Issue
4
00
01
199210
Volume
14
Issue
5
00
01
199211
Volume
14
Issue
6
00
01
199212
Volume
15
Issue
1
00
01
199301
Volume
15
Issue
2
00
01
199302
Volume
15
Issue
3
00
01
199303
Volume
15
Issue
4
00
01
199304
Volume
15
Issue
5-6
00
01
199305
Volume
15
Issue
5
Volume
15
Issue
6
Volume
16
Issue
1
00
01
199307
Volume
16
Issue
2
00
01
199308
Volume
16
Issue
3
00
01
199309
Volume
16
Issue
4
00
01
199310
Volume
16
Issue
5
00
01
199311
Volume
16
Issue
6
00
01
199312
Volume
17
Issue
1
00
01
199401
Volume
17
Issue
2
00
01
199402
Volume
17
Issue
3
00
01
199403
Volume
17
Issue
4
00
01
199404
Volume
17
Issue
5
00
01
199405
Volume
17
Issue
6
00
01
199406
Volume
18
Issue
1
00
01
199407
Volume
18
Issue
2
00
01
199408
Volume
18
Issue
3
00
01
199409
Volume
18
Issue
4
00
01
199410
Volume
18
Issue
5
00
01
199411
Volume
18
Issue
6
00
01
199412
Volume
19
Issue
1-3
00
01
199501
Volume
19
Issue
1
Volume
19
Issue
2
Volume
19
Issue
3
Volume
19
Issue
4
00
01
199504
Volume
19
Issue
5
00
01
199505
Volume
19
Issue
6
00
01
199506
Volume
20
Issue
1
00
01
199507
Volume
20
Issue
2
00
01
199508
Volume
20
Issue
3
00
01
199509
Volume
20
Issue
4
00
01
199510
Volume
20
Issue
5-6
00
01
199511
Volume
20
Issue
5
Volume
20
Issue
6
Volume
21
Issue
1
00
01
199601
Volume
21
Issue
2
00
01
199602
Volume
21
Issue
3
00
01
199603
Volume
21
Issue
4-6
00
01
199604
Volume
21
Issue
4
Volume
21
Issue
5
Volume
21
Issue
6
Volume
22
Issue
1
00
01
199607
Volume
22
Issue
2
00
01
199608
Volume
22
Issue
3
00
01
199603
Volume
22
Issue
4
00
01
199610
Volume
22
Issue
5-6
00
01
199611
Volume
22
Issue
5
Volume
22
Issue
6
Volume
23
Issue
1
00
01
199701
Volume
23
Issue
2-3
00
01
199702
Volume
23
Issue
2
Volume
23
Issue
3
Volume
23
Issue
4
00
01
199704
Volume
23
Issue
5-6
00
01
199705
Volume
23
Issue
5
Volume
23
Issue
6
Volume
24
Issue
1
00
01
199707
Volume
24
Issue
2
00
01
199708
Volume
24
Issue
3-4
00
01
199709
Volume
24
Issue
3
Volume
24
Issue
4
Volume
24
Issue
5
00
01
199711
Volume
24
Issue
6
00
01
199712
Volume
25
Issue
1
00
01
199801
Volume
25
Issue
2
00
01
199802
Volume
25
Issue
3
00
01
199803
Volume
25
Issue
4
00
01
199804
Volume
25
Issue
5
00
01
199805
Volume
25
Issue
6
00
01
199806
Volume
26
Issue
1
00
01
199807
Volume
26
Issue
2
00
01
199808
Volume
26
Issue
3
00
01
199809
Volume
26
Issue
4
00
01
199810
Volume
26
Issue
5
00
01
199811
Volume
26
Issue
6
00
01
199812
Volume
27
Issue
1
00
01
199901
Volume
27
Issue
2
00
01
199902
Volume
27
Issue
3
00
01
199903
Volume
27
Issue
4
00
01
199904
Volume
27
Issue
5
00
01
199905
Volume
27
Issue
6
00
01
199906
Volume
28
Issue
1-2
00
01
199907
Volume
28
Issue
1
Volume
28
Issue
2
Volume
28
Issue
3
00
01
199909
Volume
28
Issue
4-5
00
01
199910
Volume
28
Issue
4
Volume
28
Issue
5
Volume
28
Issue
6
00
01
199912
Volume
29
Issue
1
00
01
200001
Volume
29
Issue
2
00
01
200002
Volume
29
Issue
3
00
01
200003
Volume
29
Issue
4-5
00
01
200005
Volume
29
Issue
4
Volume
29
Issue
5
Volume
29
Issue
6
00
01
200006
Volume
30
Issue
1
00
01
200007
Volume
30
Issue
2
00
01
200008
Volume
30
Issue
3
00
01
200009
Volume
30
Issue
4
00
01
200010
Volume
30
Issue
5
00
01
200010
Volume
30
Issue
6
00
01
200012
Volume
31
Issue
1-2
00
01
200101
Volume
31
Issue
1
Volume
31
Issue
2
Volume
31
Issue
3
00
01
200103
Volume
31
Issue
4
00
01
200104
Volume
31
Issue
5
00
01
200105
Volume
31
Issue
6
00
01
200106
Volume
32
Issue
1-2
00
01
200107
Volume
32
Issue
1
Volume
32
Issue
2
Volume
32
Issue
3
00
01
200109
Volume
32
Issue
4
00
01
200109
Volume
32
Issue
5
00
01
200111
Volume
32
Issue
6
00
01
200112
Volume
33
Issue
1
00
01
200201
Volume
33
Issue
2
00
01
200202
Volume
33
Issue
3
00
01
200203
Volume
33
Issue
4
00
01
200204
Volume
33
Issue
5
00
01
200205
Volume
33
Issue
6
00
01
200206
Volume
34
Issue
1
00
01
200207
Volume
34
Issue
2
00
01
200208
Volume
34
Issue
3
00
01
200209
Volume
34
Issue
4
00
01
200210
Volume
34
Issue
5
00
01
200211
Volume
34
Issue
6
00
01
200212
Volume
35
Issue
1
00
01
200301
Volume
35
Issue
2
00
01
200302
Volume
35
Issue
3
00
01
200303
Volume
35
Issue
4
00
01
200304
Volume
35
Issue
5
00
01
200305
Volume
35
Issue
6
00
01
200306
Volume
36
Issue
1-2
00
01
200307
Volume
36
Issue
1
Volume
36
Issue
2
Volume
36
Issue
3-4
00
01
200309
Volume
36
Issue
3
Volume
36
Issue
4
Volume
36
Issue
5
00
01
200311
Volume
36
Issue
6
00
01
200312
Volume
37
Issue
1
00
01
200401
Volume
37
Issue
2
00
01
200402
Volume
37
Issue
3
00
01
200403
Volume
37
Issue
4
00
01
200404
Volume
37
Issue
5
00
01
200405
Volume
37
Issue
6
00
01
200406
Volume
38
Issue
1
00
01
200407
Volume
38
Issue
2
00
01
200408
Volume
38
Issue
3
00
01
200409
Volume
38
Issue
4
00
01
200410
Volume
38
Issue
5
00
01
200411
Volume
38
Issue
6
00
01
200412
Volume
39
Issue
1
00
01
200501
Volume
39
Issue
2
00
01
200502
Volume
39
Issue
3-4
00
01
200503
Volume
39
Issue
3
Volume
39
Issue
4
Volume
39
Issue
5
00
01
200505
Volume
39
Issue
6
00
01
200506
Volume
40
Issue
1
00
01
200507
Volume
40
Issue
2
00
01
200508
Volume
40
Issue
3
00
01
200509
Volume
40
Issue
4-5
00
01
200510
Volume
40
Issue
4
Volume
40
Issue
5
Volume
40
Issue
6
00
01
200512
Volume
41
Issue
1
00
01
200601
Volume
41
Issue
2
00
01
200602
Volume
41
Issue
3-4
00
01
200603
Volume
41
Issue
3
Volume
41
Issue
4
Volume
41
Issue
5
00
01
200605
Volume
41
Issue
6
00
01
200606
Volume
41
Issue
7
00
01
200607
Volume
41
Issue
8
00
01
200608
Volume
41
Issue
9
00
01
200609
Volume
41
Issue
10
00
01
200610
Volume
41
Issue
11
00
01
200611
Volume
41
Issue
12
00
01
200612
Volume
42
Issue
1-2
00
01
200701
Volume
42
Issue
1
Volume
42
Issue
2
Volume
42
Issue
3
00
01
200703
Volume
42
Issue
4
00
01
200704
Volume
42
Issue
5
00
01
200705
Volume
42
Issue
6
00
01
200706
Volume
42
Issue
7
00
01
200707
Volume
42
Issue
8
00
01
200708
Volume
42
Issue
9
00
01
200709
Volume
42
Issue
10
00
01
200710
Volume
42
Issue
11-12
00
01
200711
Volume
42
Issue
11
Volume
42
Issue
12
Volume
43
Issue
1
00
01
200801
Volume
43
Issue
2
00
01
200802
Volume
43
Issue
3
00
01
200803
Volume
43
Issue
4
00
01
200804
Volume
43
Issue
5
00
01
200805
Volume
43
Issue
6-7
00
01
200806
Volume
43
Issue
6
Volume
43
Issue
7
Volume
43
Issue
8
00
01
200808
Volume
43
Issue
9
00
01
200809
Volume
43
Issue
10
00
01
200810
Volume
43
Issue
11
00
01
200811
Volume
43
Issue
12
00
01
200812
Volume
44
Issue
1
00
01
200901
Volume
44
Issue
2
00
01
200902
Volume
44
Issue
3
00
01
200903
Volume
44
Issue
4
00
01
200904
Volume
44
Issue
5
00
01
200905
Volume
44
Issue
6
00
01
200906
Volume
44
Issue
7
00
01
200907
Volume
44
Issue
8
00
01
200908
Volume
44
Issue
9
00
01
200909
Volume
44
Issue
10
00
01
200910
Volume
44
Issue
11
00
01
200911
Volume
44
Issue
12
00
01
200912
Volume
45
Issue
1
00
01
201001
Volume
45
Issue
2
00
01
201002
Volume
45
Issue
3
00
01
201003
Volume
45
Issue
4
00
01
201004
Volume
45
Issue
5
00
01
201005
Volume
45
Issue
6
00
01
201006
Volume
45
Issue
7
00
01
201007
Volume
45
Issue
8
00
01
201008
Volume
45
Issue
9
00
01
201009
Volume
45
Issue
10
00
01
201010
Volume
45
Issue
11
00
01
201011
Volume
45
Issue
12
00
01
201012
Volume
46
Issue
1
00
01
201101
Volume
46
Issue
2
00
01
201102
Volume
46
Issue
3
00
01
201103
Volume
46
Issue
4
00
01
201104
Volume
46
Issue
5
00
01
201105
Volume
46
Issue
6
00
01
201106
Volume
46
Issue
7
00
01
201107
Volume
46
Issue
8
00
01
201108
Volume
46
Issue
9
00
01
201109
Volume
46
Issue
10
00
01
201110
Volume
46
Issue
11
00
01
201111
Volume
46
Issue
12
00
01
201112
Volume
47
Issue
1
00
01
201201
Volume
47
Issue
2
00
01
201202
Volume
47
Issue
3
00
01
201203
Volume
47
Issue
4
00
01
201204
Volume
47
Issue
5
00
01
201205
Volume
47
Issue
6
00
01
201206
Volume
47
Issue
7
00
01
201207
Volume
47
Issue
8
00
01
201208
Volume
47
Issue
9
00
01
201209
Volume
47
Issue
10
00
01
201210
Volume
47
Issue
11
00
01
201211
Volume
47
Issue
12
00
01
201212
Volume
49
Issue
Complete
00
01
201302
Volume
54
Issue
Complete
00
01
201307
Volume
58
Issue
Complete
00
01
201311
Volume
59
Issue
Complete
00
01
201312
Volume
60
Issue
Complete
00
01
201401
Volume
61-62
Issue
Complete
00
01
201402
Volume
61-62
Issue
Complete
Volume
63
Issue
Complete
00
01
201405
Volume
64
Issue
Complete
00
01
201408
Volume
65
Issue
Complete
00
01
201411
Volume
66
Issue
Complete
00
01
201501
Volume
67
Issue
Complete
00
01
201503
Volume
68
Issue
Part 1
00
01
201505
Volume
68
Issue
Part 2
00
01
201505
Volume
69
Issue
Complete
00
01
201507
Volume
70
Issue
Complete
00
01
201509
Volume
71
Issue
null
00
01
201511
Volume
72
Issue
Complete
00
01
201601
Volume
73
Issue
Complete
00
01
201603
Volume
74
Issue
null
00
01
201605
Volume
75
Issue
null
00
01
201607
Volume
76
Issue
null
00
01
201609
Volume
77
Issue
null
00
01
201611
Volume
78
Issue
Complete
00
01
201701
Volume
79
Issue
Part 1
00
01
201703
Volume
79
Issue
Part 2
00
01
201703
Volume
79
Issue
Part 3
00
01
201703
Volume
80
Issue
Part 1
00
01
201705
Volume
80
Issue
Part 2
00
01
201705
Volume
80
Issue
Part 3
00
01
201705
Volume
81
Issue
null
00
01
201707
Volume
82
Issue
null
00
01
201709
Volume
83
Issue
null
00
01
201711
Volume
84
Issue
null
00
01
201801
Volume
85
Issue
null
00
01
201803
Volume
86
Issue
null
00
01
201805
Volume
87
Issue
null
00
01
201807
Volume
88
Issue
null
00
01
201809
Volume
89
Issue
null
00
01
201811
Volume
90
Issue
null
00
01
201901
Volume
91
Issue
null
00
01
201903
Volume
92
Issue
null
00
01
201905
Volume
93
Issue
null
00
01
201907
Volume
94
Issue
null
00
01
201909
Volume
95
Issue
null
00
01
201911
Volume
96
Issue
null
00
01
202001
Volume
97
Issue
null
00
01
202003
Volume
98
Issue
null
00
01
202005
Volume
99
Issue
null
00
01
202007
Volume
100
Issue
null
00
01
202009
Volume
101
Issue
null
00
01
202011
Volume
102
Issue
null
00
01
202101
Volume
103
Issue
null
00
01
202103
Volume
104
Issue
null
00
01
202105
Volume
105
Issue
null
00
01
202107
Volume
106
Issue
null
00
01
202109
Volume
107
Issue
null
00
01
202111
Volume
108
Issue
null
00
01
202201
Volume
109
Issue
null
00
01
202203
Volume
110
Issue
null
00
01
202205
Volume
111
Issue
null
00
01
202207
Volume
112
Issue
null
00
01
202209
Volume
113
Issue
null
00
01
202211
Volume
114
Issue
null
00
01
202301
Volume
115
Issue
null
00
01
202303
Volume
116
Issue
null
00
01
202305
Volume
117
Issue
null
00
01
202307
Volume
118
Issue
null
00
01
202309
Volume
119
Issue
null
00
01
202311
Volume
120
Issue
null
00
01
202401
Volume
121
Issue
null
00
01
202403
Ongoing. Current issues available as published.
02
01
E107
05
20230923
01