Algebraic Methodology and Software Technology (AMAST'93); Conference paper. RALF — A Relation-Algebraic Formula Manipulation System and Proof Checker.

Below at the right side, RALF writes down the proof steps. The main part of the window is a canvas in which the theorem will be depicted as a tree. The syntax ...

A combinatorial proof of the reduction formula for Littlewood--Richardson coefficients. There are well-known reduction formulas for the universal Schubert ...

Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt: RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST 1993: 405-406.

In this paper we develop a formal type theoretic framework for heterogeneous abstract relation algebra contributing to the foundation of RALF, a formula ...

RALF—A relation-algebraic formula manipulation system and proof checker. C Hattensperger, R Berghammer, G Schmidt. Algebraic Methodology and Software ...

Some parts of the proofs presented here were developed with RALF, a relation- algebraic formula manipulation system and proof checker developed in Munich.

A mechanized proof system for relation algebra using display logic. In ... RALF - a relation- algebraic formula manipulation system and proof checker.

RALF — A relation-algebraic formula manipulation and proof checker. M. Nivat, C. Rattray, T. Rus, G. Scollo (Eds.), Proc. 3rd Conference on Algebraic ...

1991. RALF—A relation-algebraic formula manipulation system and proof checker. C Hattensperger, R Berghammer, G Schmidt. Algebraic Methodology and Software ...