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:
“For the gods, though slow to see, see well, whenever a man casting aside worship turns folly.”
—Sophocles (497–406/5 B.C.)