Symbolic Computation - See Also

See Also

  • Automated theorem prover
  • Computer-assisted proof
  • Proof checker
  • Model checker
  • Symbolic-numeric computation
  • Symbolic simulation

Read more about this topic:  Symbolic Computation

Famous quotes containing the word see:

    “Then turning to the disciples, Jesus said to them privately, “Blessed are the eyes that see what you see! For I tell you that many prophets and kings desired to see what you see, but did not see it, and to hear what you hear, but did not hear it.””
    —Bible: New Testament, Luke 10:23,24.