- Referenced in 160 articles
- REDLOG is a package that extends the computer algebra system REDUCE to a computer logic ... illustrate some applications of REDLOG, describe its functionality as it appears to the user...
- Referenced in 536 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 276 articles
- QEPCAD B: A program for computing with semi...
- Referenced in 740 articles
- REDUCE is an interactive system for general algebraic...
- Referenced in 1 article
- package QERRC: quantifier elimination...