• REDLOG

  • Referenced in 160 articles [sw04250]
  • 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...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • QEPCAD

  • Referenced in 276 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • REDUCE

  • Referenced in 740 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • QERRC

  • Referenced in 1 article [sw10387]
  • package QERRC: quantifier elimination...