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.
Model of computationComputer algebraAlgorithmic information theoryComputational complexity theoryTheoretical computer scienceComputational problemComputational scienceComputational modelCircuit complexityAlgorithmApproximation theoryParameterized complexityTheoretical physicsReal computationTime complexityComputational mathematicsNumerical linear algebraQuantum complexity theoryComputational topologyComputational neuroscienceNumerical analysisTheoretical ecologyApproximation algorithmComputer simulationCircuitComputational resourceAlgebraic combinatoricsComputational mechanicsComputationComputational physicsMetaheuristicComputational engineeringQuantum algorithmPerturbation theoryPotential methodAlgorithmic game theoryMathematicsCombinatorial game theoryIterative methodAbstract interpretationTheoretical astronomyAutomated theorem provingQuantum circuitComputable setSearch problemPrimitive recursive functionFormal epistemologyFormal verificationOptimization problemComplex analysisProbabilistic turing machineCircuit satisfiability problemSatisfiability modulo theoriesType theoryAverage-case complexityOperational calculusComputational biologyFormal scienceOptimal controlProcess calculusAmortized analysisAlgebraic number theoryComputational geometryFounders of statisticsAutomatic differentiationExplicit and implicit methodsDeterministic global optimizationDynamical systems theoryDiscrete mathematicsMathematical analysisNondeterministic turing machineComputational sociologyHamiltonian simulationMaximum satisfiability problemFunction problemGeometry processingComputable numberDensity functional theoryAnalytic number theoryDenotational semanticsModel checkingCommunication complexityTranscendental number theoryCalculusBrute-force searchPseudo-polynomial timeCombinatorial speciesNumber theoryBoolean circuitMathematical psychologyModel-based designGeneral recursive functionSimulationConstrained optimizationMultiple-scale analysisHypercomputationAlgebraic analysisExperimental mathematicsCombinatorial designComplexity class