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:
“See, see where Christ’s blood streams in the firmament!
One drop would save my soul—half a drop! ah, my Christ!—
Ah, rend not my heart for naming of my Christ!—
Yet will I call on him!—O, spare me, Lucifer!—
Where is it now? ‘T is gone; and see where God
Stretcheth out his arm, and bends his ireful brows!—
Mountains and hills, come, come and fall on me,
And hide me from the heavy wrath of God!”
—Christopher Marlowe (1564–1593)