• InvX

  • Referenced in 10 articles [sw10103]
  • InvX: An automatic function inverter. We have implemented...
  • SbReve2

  • Referenced in 6 articles [sw10104]
  • SbReve2: A term rewriting laboratory with (AC)-unfailing...