# Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- Sort by
- Weight
- Alphabetically

### Mathematics

Monads

Term

Coalgebra

Logic Programming

Operational Semantics

Lambda Calculus

Distributive law

Category Theory

Signature

Formulation

High-dimensional

Refinement

Countable

Universal Algebra

Algebra

Logic Programs

Recursion

Enriched Category

Cartesian

Closed

Computer Science

Model

Programming Languages

Substitution

Game Semantics

Semantics

Diagram

Theorem Proving

Ordered Categories

Logic

Completeness

Schedule

Functor

Tensor

Reasoning

Continuation

Algebraic Structure

Distributivity

Soundness

Modeling

Visual Languages

Transition Systems

Nondeterminism

Statecharts

Presheaves

Canonical Model

Correspondence

Geometric Modeling

Arbitrary

Graph in graph theory

### Engineering & Materials Science

Semantics

Algebra

Tensors

Logic programming

Computer programming languages

Computer science

Binders

Data structures

Theorem proving

Substitution reactions

Many valued logics

Acoustic waves

Visual languages

Linear algebra

Equalizers