 BIB/Bachmann_98a   | INTPS/Singular/alex_1      | 
 BIB/Bachmann_98a   | INTPS/Singular/alex_2      | 
 BIB/Bachmann_98a   | INTPS/Singular/alex_3      | 
 BIB/Bachmann_98a   | INTPS/Singular/ecyclic_5   | 
 BIB/Bachmann_98a   | INTPS/Singular/ecyclic_6   | 
 BIB/Bachmann_98a   | INTPS/Singular/ecyclic_7   | 
 BIB/Bachmann_98a   | INTPS/Singular/gerhard_1   | 
 BIB/Bachmann_98a   | INTPS/Singular/gerhard_2   | 
 BIB/Bachmann_98a   | INTPS/Singular/gerhard_3   | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_10  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_11  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_12  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_13  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_14  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_15  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_16  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_17  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_18  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_19  | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_8   | 
 BIB/Bachmann_98a   | INTPS/Singular/rcyclic_9   | 
 BIB/Bachmann_98a   | INTPS/Singular/schwarz_10  | 
 BIB/Bachmann_98a   | INTPS/Singular/schwarz_11  | 
 BIB/Bachmann_98a   | INTPS/Singular/schwarz_6   | 
 BIB/Bachmann_98a   | INTPS/Singular/schwarz_7   | 
 BIB/Bachmann_98a   | INTPS/Singular/schwarz_8   | 
 BIB/Bachmann_98a   | INTPS/Singular/schwarz_9   | 
 BIB/Bjoerck_91a    | INTPS/Bjoerk_8             | 
 BIB/Bjoerck_91a    | INTPS/Cyclic_6             | 
 BIB/Bjoerck_91a    | INTPS/Cyclic_7             | 
 BIB/Bjoerck_91a    | INTPS/Cyclic_8             | 
 BIB/Boege_86a      | INTPS/Hairer_1             | Hairer 1
 BIB/Boege_86a      | INTPS/Hairer_2             | Hairer 2
 BIB/Boege_86a      | INTPS/Hairer_2_1           | Hairer 2
 BIB/Boege_86a      | INTPS/Katsura_3            | Katsura
 BIB/Boege_86a      | INTPS/Katsura_4            | Katsura
 BIB/Boege_86a      | INTPS/Katsura_5            | Katsura
 BIB/Boege_86a      | INTPS/Gerdt-85             | Gerdt
 BIB/Boege_86a      | INTPS/Gonnet-83            | Gonnet
 BIB/Boege_86a      | INTPS/Butcher              | Butcher
 BIB/Boege_86a      | INTPS/Raksanyi             | Raksanyi
 BIB/Boege_86a      | INTPS/Rose                 | Rose
 BIB/Boege_86a      | INTPS/Trinks               | Trinks
 BIB/Boege_86a      | INTPS/Trinks_1             | Small Trinks
 BIB/Buchberger_87a | INTPS/Robot-RR             | ch. 3
 BIB/Buchberger_87a | INTPS/Ellipsoid_2          | ch. 4
 BIB/Buchberger_87a | INTPS/Ellipsoid_4          | ch. 4
 BIB/Buchberger_87a | INTPS/Buchberger-87        | ch. 5
 BIB/Buchberger_87a | INTPS/FourCircles          | ch. 7
 BIB/Cohn_82a       | INTPS/Cohn_2               | 
 BIB/Cohn_82a       | INTPS/PoSSo/cohn3          | 
 BIB/Cohn_88a       | INTPS/Cohn_2               | 
 BIB/Cohn_88a       | INTPS/PoSSo/cohn3          | 
 BIB/Czapor_86a     | INTPS/Trinks               | Problem 1
 BIB/Czapor_86a     | INTPS/Czapor-86a           | Problem 2
 BIB/Czapor_86a     | INTPS/Katsura_5            | Problem 4
 BIB/Czapor_86a     | INTPS/Flat/Fee_2           | Problem 5
 BIB/Czapor_86a     | INTPS/Fee_1                | Problem 5(a)
 BIB/Czapor_86a     | INTPS/Fee_2                | Problem 5(b)
 BIB/Czapor_86a     | INTPS/Czapor-86b           | Problem 7
 BIB/Czapor_86a     | INTPS/Czapor-86c           | Problem 9
 BIB/Czapor_87a     | INTPS/Butcher              | Problem 2
 BIB/Czapor_87a     | INTPS/Flat/Fee_2           | Problem 3
 BIB/Czapor_87a     | INTPS/Czapor-87            | Problem 4
 BIB/Czapor_87a     | INTPS/Czapor-87_1          | Problem 4a
 BIB/Czapor_87a     | INTPS/Czapor-87_2          | Problem 4b
 BIB/Czapor_87a     | INTPS/Trinks               | Problem 5
 BIB/Czapor_87a     | INTPS/Katsura_5            | Problem 6
 BIB/Czapor_87a     | INTPS/Rose                 | Problem 7
 BIB/Czapor_89a     | INTPS/Trinks               | Problem 1
 BIB/Czapor_89a     | INTPS/Katsura_5            | Problem 2
 BIB/Czapor_89a     | INTPS/Rose                 | Problem 3
 BIB/Czapor_91a     | INTPS/Trinks               | Problem 1
 BIB/Czapor_91a     | INTPS/Katsura_5            | Problem 2
 BIB/Czapor_91a     | INTPS/Czapor-87_2          | Problem 3
 BIB/Czapor_91a     | INTPS/Butcher              | Problem 5
 BIB/Czapor_91a     | INTPS/Hairer_2             | Problem 6
 BIB/Czapor_91a     | INTPS/Hairer_2_1           | Problem 6
 BIB/Czapor_91a     | INTPS/Cyclic_5             | Problem 7
 BIB/Czapor_91a     | INTPS/Cyclic_7_1           | Problem 8
 BIB/Czapor_91a     | INTPS/Caprasse             | Problem 9
 BIB/Czapor_91a     | INTPS/Flat/Fee_2           | Problem 10
 BIB/Czapor_91a     | INTPS/Katsura_6            | Problem 11
 BIB/Czapor_91a     | INTPS/Cyclic_5_1           | Problem 13
 BIB/Czapor_91a     | INTPS/Cyclic_6             | Problem 14
 BIB/Galligo_89a    | INTPS/Cohn_2               | 
 BIB/Galligo_89a    | INTPS/PoSSo/cohn3          | 
 BIB/Gerdt_90a      | INTPS/Gerdt-90             | System (6)
 BIB/Gerdt_91a      | INTPS/Gerdt-85             | (4)
 BIB/Gerdt_91a      | INTPS/Gerdt-91a            | (6)
 BIB/Gerdt_91a      | INTPS/Gerdt-91b            | (8)
 BIB/Gerdt_92a      | INTPS/Gerdt-85             | example 1
 BIB/Gerdt_92a      | INTPS/Gerdt-91b            | example 2
 BIB/Gerdt_92a      | INTPS/Gerdt-90             | example 3
 BIB/Gerdt_92a      | INTPS/Cyclic_5             | example 4
 BIB/Gerdt_92a      | INTPS/Cyclic_5_1           | example 5
 BIB/Gerdt_93a      | INTPS/Gerdt-85             | example 1
 BIB/Gerdt_93a      | INTPS/Gerdt-91a            | example 2
 BIB/Gerdt_93a      | INTPS/Gerdt-91b            | example 3
 BIB/Gerdt_93a      | INTPS/Gerdt-90             | example 4
 BIB/Gerdt_93a      | INTPS/Cyclic_5             | example 5
 BIB/Gerdt_93a      | INTPS/Cyclic_5_1           | example 6
 BIB/Gerdt_93a      | INTPS/Cyclic_7_1           | example 7
 BIB/Gerdt_93a      | INTPS/Katsura_4            | example 8
 BIB/Gerdt_93a      | INTPS/Katsura_5            | example 9
 BIB/Gerdt_93a      | INTPS/Katsura_6            | example 10
 BIB/Gerdt_93a      | INTPS/Trinks               | example 11
 BIB/Gerdt_93a      | INTPS/Sym1_321             | example 12
 BIB/Gerdt_93a      | INTPS/Gerdt-93             | example 13
 BIB/Gerdt_93a      | INTPS/Caprasse             | example 14
 BIB/Gerdt_93a      | INTPS/Hairer_1             | example 15
 BIB/Gerdt_93a      | INTPS/Czapor-91            | example 17
 BIB/Giovini_91a    | INTPS/Gerdt-85             | 3.1.
 BIB/Giovini_91a    | INTPS/Cyclic_5             | 3.2.
 BIB/Giovini_91a    | INTPS/Cyclic_7_1           | 3.3.
 BIB/Giovini_91a    | INTPS/Katsura_5            | 3.5.
 BIB/Graebe_99a     | INTPS/Sym1_211             | Example 1
 BIB/Graebe_99a     | INTPS/Katsura_3            | Example 3
 BIB/Graebe_99a     | INTPS/Katsura_4            | Example 7
 BIB/Graebe_99a     | INTPS/Sym1_311             | Example 4
 BIB/Graebe_99a     | INTPS/Sym1_321             | Example 6
 BIB/Graebe_99a     | INTPS/Cyclic_5             | Example 5
 BIB/Graebe_99a     | INTPS/Cyclic_4             | Example 8 (with w as parameter)
 BIB/Graebe_99a     | INTPS/Raksanyi             | Example 9
 BIB/Graebe_99a     | INTPS/Robot-Romin          | Example 10 (with a,b,c,l2,l3 as parameters)
 BIB/Graebe_99a     | INTPS/Krider               | Example Kri
 BIB/Graebe_99a     | INTPS/Gerdt-85             | Example G1
 BIB/Graebe_99a     | INTPS/Gerdt-91b            | Example G6
 BIB/Graebe_99a     | INTPS/Gerdt-90             | Example G7
 BIB/Graebe_99a     | INTPS/Gonnet-83_1          | Example Go
 BIB/Kahn_93a       | INTPS/Symmetric_5          | 
 BIB/Kahn_93a       | INTPS/Symmetric_6          | 
 BIB/Kalkbrener_93a | INTPS/Cyclic_4             | 3.1.
 BIB/Kalkbrener_93a | INTPS/Trinks               | (1)
 BIB/Kalkbrener_93a | INTPS/Katsura_5            | (2)
 BIB/Kalkbrener_93a | INTPS/Rose                 | (3)
 BIB/Kalkbrener_93a | INTPS/Czapor-86a           | (4)
 BIB/Kalkbrener_93a | INTPS/Fee_1                | (5a)
 BIB/Kalkbrener_93a | INTPS/Fee_2                | (5b)
 BIB/Kalkbrener_93a | INTPS/Flat/Fee_2           | (5c)
 BIB/Kalkbrener_93a | INTPS/Czapor-86b           | (6)
 BIB/Kalkbrener_93a | INTPS/Czapor-86c_1         | (7a)
 BIB/Kalkbrener_93a | INTPS/Czapor-86c_2         | (7b)
 BIB/Kalkbrener_93a | INTPS/Czapor-86c           | (7c)
 BIB/Katsura_87a    | INTPS/Katsura_             | 
 BIB/Wang_92a       | INTPS/Neff-89              | Example 2
 BIB/Wang_92a       | INTPS/Wang-89              | Example 3
 BIB/Wang_92a       | INTPS/Wang-92a             | Example 4
 BIB/Wang_92a       | INTPS/FourCircles          | Example 5
 BIB/Wang_92a       | INTPS/Discriminant_4       | Example 6
 BIB/Wang_92a       | INTPS/Bronstein-86         | Example 7
 BIB/Wang_92a       | INTPS/Robot-RR             | Example 8
 BIB/Wang_92a       | INTPS/Wang-92c             | Example 9
 BIB/Wang_92a       | INTPS/Discriminant_5       | Example 10
 BIB/Wang_92a       | INTPS/Geometry/Brahmagupta | Example 11
 BIB/Wang_92a       | INTPS/Butcher              | Example 12
 BIB/Wang_92a       | INTPS/Wang-92e             | Example 13
 BIB/Wang_92a       | INTPS/Wang-92f             | Example 14
 BIB/Wang_92a       | INTPS/Hairer_2             | Example 15
 BIB/Wang_92a       | INTPS/Wu-90                | Problem 16
 BIB/Wang_92b       | INTPS/Gerdt-85             | Problem 3
 BIB/Wang_92b       | INTPS/Katsura_5            | Problem 4
 BIB/Wang_92b       | INTPS/Wu-90                | Problem 6
 BIB/Wang_92b       | INTPS/Butcher              | Problem 7
 BIB/Wang_92b       | INTPS/Hairer_2             | Problem 8
 BIB/Wang_92c       | INTPS/Wu-90                | Problem 3
 BIB/Wang_92c       | INTPS/Fee_2                | Example 17
 BIB/Wang_92c       | INTPS/TD-89                | Problem 29
 BIB/Wang_92c       | INTPS/Vermeer              | Example 47
 BIB/Wang_92c       | INTPS/Discriminant_5       | Problem 50
 BIB/Wang_93a       | INTPS/Wu-90                | Problem 3
 BIB/Wang_93a       | INTPS/Fee_2                | Example 17
 BIB/Wang_93a       | INTPS/TD-89                | Example 29
 BIB/Wang_93a       | INTPS/Vermeer              | Example 47
 BIB/Wang_95a       | INTPS/Buchberger-87        | 6.3. Ex. A
 BIB/Wang_95a       | INTPS/Vermeer              | 6.3. Ex. B
 BIB/Wang_95a       | INTPS/Wang-91_1            | 7.3. Ex. A
 BIB/Wang_95a       | INTPS/Discriminant_4       | 7.3. Ex. C
 BIB/Wang_95a       | INTPS/Neff-89              | 8.3. Ex. A
 BIB/Wang_95a       | INTPS/Butcher              | 8.3. Ex. B
 BIB/Wang_95a       | INTPS/Robot-RR             | 9.3. Ex. A
 BIB/Wang_95a       | INTPS/FourCircles          | 7.3. Ex. B
 BIB/Wang_95b       | INTPS/Wang-89              | Problem 1
 BIB/Wang_95b       | INTPS/Butcher              | Problem 2
 BIB/Wang_95b       | INTPS/Wang-92e             | Problem 3
 BIB/Wang_95b       | INTPS/Bronstein-86         | Problem 4
 BIB/Wang_96a       | INTPS/Wu-90                | Example 3
 BIB/Wang_96a       | INTPS/Robot-RR             | Example 5
 BIB/Wang_96a       | INTPS/Ellipsoid_2          | Example 6
 BIB/Wang_96a       | INTPS/Ellipsoid_4          | Example 7
 BIB/Wang_96a       | INTPS/Buchberger-87        | Example 8
 BIB/Wang_96a       | INTPS/FourCircles          | Example 9
 BIB/Wang_96a       | INTPS/Czapor-86a           | Example 15
 BIB/Wang_96a       | INTPS/Fee_1                | Example 16
 BIB/Wang_96a       | INTPS/Fee_2                | Example 17
 BIB/Wang_96a       | INTPS/Czapor-86b           | Example 18
 BIB/Wang_96a       | INTPS/Czapor-86c           | Example 19
 BIB/Wang_96a       | INTPS/TD-89                | Example 29
 BIB/Wang_96a       | INTPS/Hairer_1             | Example 32
 BIB/Wang_96a       | INTPS/Hairer_2             | Example 33
 BIB/Wang_96a       | INTPS/Butcher              | Example 35
 BIB/Wang_96a       | INTPS/Katsura_3            | Example 37
 BIB/Wang_96a       | INTPS/Katsura_4            | Example 38
 BIB/Wang_96a       | INTPS/Katsura_5            | Example 39
 BIB/Wang_96a       | INTPS/Katsura_6            | Example 40
 BIB/Wang_96a       | INTPS/Gerdt-85             | Example 41
 BIB/Wang_96a       | INTPS/Raksanyi             | Example 42
 BIB/Wang_96a       | INTPS/Rose                 | Example 43
 BIB/Wang_96a       | INTPS/Gonnet-83            | Example 44
 BIB/Wang_96a       | INTPS/Trinks               | Example 45
 BIB/Wang_96a       | INTPS/Trinks_1             | Example 46
 BIB/Wang_96a       | INTPS/Vermeer              | Example 47
 BIB/Wang_96a       | INTPS/Wang-92a             | Example 48
 BIB/Wang_96a       | INTPS/Discriminant_4       | Example 49
 BIB/Wang_96a       | INTPS/Discriminant_5       | Example 50
 BIB/Wang_98a       | INTPS/Bronstein-86         | Example 2
 BIB/Wang_98a       | INTPS/Noonburg-89          | Example 3
 BIB/Wang_98a       | INTPS/Vermeer_1            | Example 4
