output
19992025
most citedBig Data Computing and Clouds: Trends and Future Directions

854 citations

researchers with a paper here
collaborating institutions
Showing 1999Show all

2 papers · 1 filter

math.LO1999★ 1 cited

On defining irreducibility

Pascal Koiran

We show that irreducibility is not a first-order definable property of real algebraic varieties. The proof is based on the recent o-minimality result for the exponential function.…

cs.DS1999

Tiling with bars under tomographic constraints

Christoph Durr, Eric Goles, Ivan Rapaport +1

We wish to tile a rectangle or a torus with only vertical and horizontal bars of a given length, such that the number of bars in every column and row equals given numbers. We prese…