Results 1 to 3 of 3
Sort by:

  • 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...