ORME is both a rewrite rule laboratory and a toolbox for building theorem provers and software related to equational theories. Computer algebra system (CAS).
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Lescanne, Pierre: Termination of rewrite systems by elementary interpretations (1995)
- Adi, Mohamed; Kirchner, Claude: AC-unification race: The system solving approach, implementation and benchmarks (1992)