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.
ExpspaceTime hierarchy theoremNspacePspaceSavitch's theoremTheory of computationNl-completeParameterized complexityCircuit complexityComputational complexity theoryMaximum satisfiability problemNexptimeModel of computationSearch problemKleene's recursion theoremPspace-completeNondeterministic turing machineFunction problemSpace complexityIndex setPolynomial hierarchyQuantum complexity theoryBinary space partitioningIsomorphism theoremsComplexity classHilbert spaceComputational topologyStrong np-completenessPotential methodApproximation algorithmSimon's problemArithmetical hierarchyCombinatorial speciesReductionConstructible universeNatural proofComputational resourcePcp theoremDynamical systems theoryMaster theoremPartition problemDirichlet's approximation theoremSatisfiability modulo theoriesAlgorithmic information theoryDomain decomposition methodsP-completePowerset constructionComputable setProbabilistic turing machineTakens's theoremPolynomial-time reductionAutomated theorem provingNuclear spaceExptimeCantor's intersection theoremOseledets theoremDeterministic global optimizationManifold hypothesisSubgraph isomorphism problemComputer algebraComputational scienceProcess calculusLocal consistencyTree decompositionMultiple-scale analysisTangent spaceAlgebraic combinatoricsHilbert curve schedulingCombinatorial game theoryTietze extension theoremCommunication complexityTime complexityCantor's theoremMeasurable functionTensor product of hilbert spacesHyperplane separation theoremTime-scale calculusTheoretical computer scienceTopological groupDiscrete geometryNoncommutative geometrySpace partitioningNp-intermediateTranscendental number theoryCartan decompositionProduct measureConstraint satisfaction problemProbabilistically checkable proofHamiltonian simulationMonotone convergence theoremSymplectic geometryComputational hardness assumptionChomsky hierarchyStone spaceBoundary value problemMutual recursionTotally bounded spaceCombinatorial designMin-max theoremDenotational semantics