All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

3 677 (0,127s)

Result

Generalised Kochen-Specker Theorem in Three Dimensions

We show that there is no non-constant assignment of zeros and ones to points of a unit sphere in R^3 such that for every three pairwisely orthogonal vectors, an odd number of them is assigned 1. This is a new strengthening of the Bell-Kochen<...

Pure mathematics

  • 2021
  • Jimp
  • Link
Result

Dual Diagrams and Kochen-Specker Type Constructions

BA - Obecná matematika

  • 1998
  • X
Result

Diagrams of Kochen-Specker Type Constructions

NOT available...

BA - Obecná matematika

  • 2000
  • Jx
Result

Greechie diagrams, noexistence of measures and Kochen-Specker type constructions

BA - Obecná matematika

  • 1996
  • Jx
Result

Mathematical questions related to non-existence of hidden variables

The famous Gleason's Theorem gives a characterization of states on lattices of subspaces of Hilbert spaces. The attempts to simplify its proof have led to easy proofs of some consequences, mainly the non-existence of hidden variables (disper...

BA - Obecná matematika

  • 2009
  • D
Result

'Magic' Configurations of Three-Qubit Observables and Geometric Hyperplanes of the Smallest Split Cayley Hexagon

Recently Waegell and Aravind [J. Phys. A: Math. Theor. 45 (2012), 405301, 13 pages] have given a number of distinct sets of three-qubit observables, each furnishing a proof of the Kochen-Specker theorem. Here it is demonstr...

CF - Fyzikální chemie a teoretická chemie

  • 2012
  • Jx
  • Link
Result

Strong measure zero in separable metric spaces and Polish groups

The notion of strong measure zero is studied in the context of Polish groups and general separable metric spaces. An extension of a theorem of Galvin, Mycielski and Solovay is given, whereas the theorem is shown to fail for the Baer...

BA - Obecná matematika

  • 2016
  • Jx
  • Link
Result

Black hole entropy and finite geometry

Mermin squares?objects well known from studies concerning Bell-Kochen-Specker-like theorems.

CF - Fyzikální chemie a teoretická chemie

  • 2009
  • Jx
Result

Formalizing ordinal partition relations using Isabelle/HOL

This is an overview of a formalization project in the proof assistant Isabelle/HOL of a number of research results in infinitary combinatorics and set theory (more specifically in ordinal partition relations) by Erdős-Milner, Specker, Larson...

Pure mathematics

  • 2022
  • Jimp
  • Link
Result

Interesting generalizations of the Ptolemy`s theorem

The paper gives proofs of a number generalizations of the Ptolemy`s theorem. Particularly Fuhrmann?s theorem, Purser`s theorem and Casey`s theorem....

AM - Pedagogika a školství

  • 2007
  • Jx
  • 1 - 10 out of 3 677