検索結果- 英語 - 多言語
検索内容:
correspondence course
A study programme that is carried on by post, with tutors mailing learning materials and assignments to students, and students mailing back their work.
lexical correspondences
Curry-Howard correspondence
A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).
Robinson-Schensted correspondences
Robinson-Schensted correspondence
(mathematics) A bijective correspondence between permutations and pairs of standard Young tableaux of the same shape. It has applications in combinatorics and other areas.
corresponding angle
Angles which occupy the same relative position at each intersection where a straight line crosses two others. If the two lines are parallel, the corresponding angles are equal.
corresponding author
That author of a joint paper who is considered by the publisher to have submitted it for publication.