Philosophy
The Axiom project focuses on the “30 Year Horizon”. The primary philosophy is that Axiom needs to develop several fundamental features in order to be useful to the next generation of computational mathematicians. Knuth's literate programming technique is used throughout the source code. Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2).
Read more about this topic: Axiom (computer Algebra System)
Famous quotes containing the word philosophy:
“It was fit that I should live on rice, mainly, who loved so well the philosophy of India.”
—Henry David Thoreau (1817–1862)
“The Emmet’s Inch and Eagle’s Mile
Make Lame Philosophy to smile.”
—William Blake (1757–1827)
“Nature in darkness groans
And men are bound to sullen contemplation in the night:
Restless they turn on beds of sorrow; in their inmost brain
Feeling the crushing wheels, they rise, they write the bitter words
Of stern philosophy & knead the bread of knowledge with tears & groans.”
—William Blake (1757–1827)