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 3 articles )
Showing results 1 to 3 of 3.
- Stratulat, Sorin: Mechanically certifying formula-based Noetherian induction reasoning (2017)
- 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)