| .. |
|
0050_ext_polys_with_100_bits.nix
|
…
|
|
|
0050_ext_polys_with_200_bits.nix
|
…
|
|
|
0050_ext_polys_with_300_bits.nix
|
…
|
|
|
0050_ext_polys_with_400_bits.nix
|
…
|
|
|
0050_ext_polys_with_500_bits.nix
|
…
|
|
|
0050_ext_polys_with_600_bits.nix
|
…
|
|
|
0050_ext_polys_with_700_bits.nix
|
…
|
|
|
0050_ext_polys_with_800_bits.nix
|
…
|
|
|
0050_ext_polys_with_900_bits.nix
|
…
|
|
|
0050_ext_polys_with_1000_bits.nix
|
…
|
|
|
0100_int_polys_with_200_bits.nix
|
…
|
|
|
0100_int_polys_with_400_bits.nix
|
…
|
|
|
0100_int_polys_with_600_bits.nix
|
…
|
|
|
0100_int_polys_with_800_bits.nix
|
…
|
|
|
0100_int_polys_with_1000_bits.nix
|
…
|
|
|
0100_int_polys_with_1200_bits.nix
|
…
|
|
|
0100_int_polys_with_1400_bits.nix
|
…
|
|
|
0100_int_polys_with_1600_bits.nix
|
…
|
|
|
0100_int_polys_with_1800_bits.nix
|
…
|
|
|
0100_int_polys_with_2000_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0010_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0020_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0030_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0040_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0050_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0060_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0070_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0080_bits.nix
|
…
|
|
|
resultants_from_0010_quadrics_with_0090_bits.nix
|
…
|
|
|
resultants_from_0090_quadrics_with_0010_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0020_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0030_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0040_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0050_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0060_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0070_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0080_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
|
resultants_from_0090_quadrics_with_0090_bits.nix
|
Data files used for benchmarks.
|
2007-09-24 09:40:17 +00:00 |
