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.
Algebraic data typeType theoryModel of computationType variableRecursive languagePropositional variableType constructorElementary functionCurryingFunction of a real variableExponential objectAlgebraic expressionFree variables and bound variablesFunction applicationOption typeAlgorithmExpressionSet-builder notationIndicator functionComputer algebraLambda calculusOrdered exponentialMutual recursionMonad transformerGraphRule of inferenceGeneralized algebraic data typeFunctional analysisOperadSubtypingMultivalued functionLinear mapMatrix differential equationSet functionConstant-recursive sequenceGeneral recursive functionPolynomialSpecial functionsFirst-order logicSubmodular set functionOrder of operationsExponential sumBoolean expressionOperatorAxiom of extensionalityExponential functionFunctorMetavariableAbsolute valueBinary functionGlossary of mathematical symbolsAlgebraic structureProbability measureHomeomorphismProbability mass functionPrimitive recursive functionFunctional calculusComplexity functionIndex setRecursive definitionCircuitCoefficientBijectionBoolean functionOperator algebraTheoretical computer sciencePolymorphismHylomorphismLinear functionLinear differential equationOrdinary differential equationLambert w functionSquare-integrable functionAlgebraic functionTheory of computationSurjective functionArityLinear formProbability-generating functionAlgebra of setsContinuous linear operatorQuadratic functionRational functionComplex numberAutomatic differentiationDifferential operatorSequence spaceBounded quantificationLinear predictor functionProbability distributionIntegerDenotational semanticsBeta functionOutline of category theoryInclusion mapContinuous functionAlgebraic function fieldFlow-sensitive typingPartial derivativeCategory