MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
DtimeTime complexitySpace hierarchy theoremKleene's recursion theoremComplexity classNexptimeSearch problemComputational complexity theoryBoolean circuitReal computationReductionCircuit complexityStructured program theoremStrong np-completenessComputable functionComputational resourceQuantum complexity theoryModel of computationTheory of computationArithmetic circuit complexityKolmogorov equationsSatisfiability modulo theoriesProcess calculusPolynomial-time reductionIndex setType theoryIndex calculus algorithmIsomorphism theoremsBaire category theoremTrue quantified boolean formulaExistential theory of the realsBounded inverse theoremCombinatorial game theoryPrime number theoremLimitExpspaceComputational topologyDynamical systems theoryMapping class groupParameterized complexityDependence analysisNatural proofClosed-subgroup theoremAutomated theorem provingAverage-case complexityExponential time hypothesisOperator theoryChomsky hierarchyQuantum finite automatonCo-npTime domainHolevo's theoremTheoretical computer scienceConvergence of measuresTransition systemComplex analysisAlgorithmic information theoryQuantum turing machineOseledets theoremInstantaneous phase and frequencyClosed graph theoremCartan decompositionCover's theoremComputational problemFinal value theoremGeneral topologyHypercomputationPspaceInterval schedulingPotential methodMonotone class theoremP/polyAlgorithmArithmetical hierarchyTopological quantum field theoryMaximum satisfiability problemNondeterministic turing machineAxiom of extensionalityTotal variation diminishingTime dependent vector fieldKarp's 21 np-complete problemsMaximum coverage problemAnalytical hierarchyLattice problemGeneration of primesPseudo-polynomial timeLyapunov timeType constructorGraph homologyMethod of analytic tableauxArithmetic combinatoricsNonlinear controlCellular homologyHurewicz theoremProbabilistic turing machineProfunctorTime-scale calculusLocal langlands conjecturesPermutation patternMonotone convergence theorem