-
Article
Open AccessDiscreteZOO: A Fingerprint Database of Discrete Objects
In this paper, we present DiscreteZOO, a project which illustrates some of the possibilities for computer-supported management of collections of finite combinatorial (discrete) objects, in particular graphs wi...
-
Chapter and Conference Paper
Towards a Heterogeneous Query Language for Mathematical Knowledge
With more than 120.000 articles published annually in mathematical journals alone, mathematical search has often been touted as a killer application of computer-supported mathematics. But the artefacts of math...
-
Chapter and Conference Paper
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation
Data plays an increasing role in applied and even pure mathematics: datasets of concrete mathematical objects proliferate and increase in size, reaching up to 1 TB of uncompressed data and millions of objects....
-
Chapter and Conference Paper
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects
There have been various efforts to collect certain mathematical results into searchable databases. In this paper, we present DiscreteZOO: a repository and a fingerprint database for discrete mathematical objec...
-
Chapter and Conference Paper
3XL News: A Cross-lingual News Aggregator and Reader
We present 3XL News, a multi-lingual news aggregation application for iPad that provides real-time, comprehensive, global and multilingual news coverage. Using methods, developed within the XLike project, for sem...