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.
Probabilistically checkable proofPseudo-polynomial timeComputable setPspace-completeP-completeMaximum satisfiability problemNl-completeFunction problemExpspaceParameterized complexityExptimeIndex calculus algorithmPseudorandom function familyPspaceTheory of computationKolmogorov extension theoremCircuit satisfiability problemPrimitive recursive functionPseudorandom generatorDpll algorithmComputational hardness assumptionNexptimeStrong np-completenessPotential methodKolmogorov's three-series theoremBrute-force searchRecursively enumerable languageProbabilistic turing machineAlgorithmic information theoryModel of computationSearch problemDirichlet's approximation theoremRademacher complexityConstant-recursive sequenceProbability integral transformDecision tree modelPeano existence theoremCircuit complexityGeneral recursive functionGaussian processProbability-generating functionAll-pairs testingIndex setSpace hierarchy theoremFormal verificationKolmogorov continuity theoremContinuous mapping theoremRecursive languagePolynomial hierarchyRandom binary treeSieve of sundaramHalting problemAverage-case complexityRecursive bayesian estimationQuantum threshold theoremMarkov's inequalityComplex random variableComplexity classAlgorithmic probabilityNatural proofPartition problemChain ruleModel checkingPolynomial chaosComputational complexity theoryBoolean satisfiability problemQuantum complexity theoryFundamental theorem of arithmeticAutomated theorem provingSimon's problemLefschetz fixed-point theoremLog-normal distributionPrime number theoremCombinatorial speciesLog-cauchy distributionEisenstein's criterionSatisfiability modulo theoriesApproximation algorithmKirchhoff's theoremSkorokhod's representation theoremInteger complexityRegular conditional probabilityMartingale central limit theoremHoeffding's inequalityMaster theoremMonotone convergence theoremRational root theoremQuadratic reciprocityTuring jumpBoole's inequalityPolynomialPermuted congruential generatorTime complexityDecision problemFirst-order logicRepresenter theoremCharacteristic functionMethod of analytic tableauxDeterministic global optimizationSieve of pritchard