444 citations
- Clausthal University of TechnologyDE1 paper
- College of Staten IslandUS1 paper
- Eötvös Loránd UniversityHU1 paper
- European UnionBE1 paper
- Hungarian Academy of SciencesHU1 paper
- HUN-REN Alfréd Rényi Institute of MathematicsHU1 paper
- Johannes Kepler University of LinzAT1 paper
- Lancaster UniversityGB1 paper
- Ludwig-Maximilians-Universität MünchenDE1 paper
- Massachusetts Institute of TechnologyUS1 paper
- Max-Born-Institute for Nonlinear Optics and Short Pulse SpectroscopyDE1 paper
- Max Planck Institute for Nuclear PhysicsDE1 paper
24 papers
Staging quantum cryptography with chocolate balls
Karl Svozil
Moderated by a director, laymen and students are encouraged to assume the role of quanta and enact a quantum cryptographic protocol. The performance is based on a generalized urn m…
Does the cosmological constant imply the existence of a minimum mass?
C. G. Boehmer, T. Harko
We show that in the framework of the classical general relativity the presence of a positive cosmological constant implies the existence of a minimal mass and of a minimal density…
A Computer Proof of Turan's Inequality
S. Gerhold, M. Kauers
We show how Turan's inequality for Legendre polynomials and related inequalities can be proven by means of a computer procedure. The use of th…
Monoidal intervals of clones on infinite sets
Michael Pinsker
We show that for an infinite set X, if L is a completely distributive algebraic lattice with not more completely join irreducible elements than the size of the power set of X, then…
Constant Dilaton Vacua and Kinks in 2D (Super-)Gravity
L. Bergamin
2D dilaton (super-)gravity contains a special class of solutions with constant dilaton, a kink-like solution connecting two of them was recently found in a specific model that corr…
Temporal Phylogenetic Networks and Logic Programming
Esra Erdem, Vladimir Lifschitz, Don Ringe
The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their…