Skip to search formSkip to main contentSkip to account menu

Richardson's theorem

In mathematics, Richardson's theorem establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
AlgorithmDecision problemList of undecidable problemsRisch algorithm

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Richardson’s theorem in quasi-transitive and pre-transitive digraphs
A subset N of V( D ) is said to be a kernel if it satisfies the following two properties: (1) for any two different vertices x… 
2017
2017
Infant antibiotic exposure and food allergy development
2017
2017
A study of social comparisons and their effects on high school choir directors
........................................................................................................................ x… 
2016
2016
Existence of Richardson elements in seaweed Lie algebras of type $\mathbb{B}$, $\mathbb{C}$ and $\mathbb{D}$
Abstract. Seaweed Lie algebras are a natural generalisation of parabolic subalgebras of Lie algebras. A well-known result of… 
2014
2014
Kokeneiden tule-fysioterapeuttien käsityksiä fysioterapeuttisesta osaamisesta
Tiina Teittinen 2014. Experienced physiotherapist’s perceptions of professional competencies and skills. University of Jyvaskyla… 
2013
2013
Continuity of Inverse Transition Relations of 2-Neighborhood Cellular Automata
In this paper, we discuss the continuousness of inverse transition relations of cellular automata. Generally, the inverse of a… 
2009
2009
Some applications of propositional logic to cellular automata
In this paper we give a new proof of Richardson's theorem [31]: a global function G𝔸 of a cellular automaton 𝔸 is injective if… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)