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:
“Like speaks to like only; labor to labor, philosophy to philosophy, criticism to criticism, poetry to poetry. Literature speaks how much still to the past, how little to the future, how much to the East, how little to the West.”
—Henry David Thoreau (1817–1862)
“The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.”
—Ralph Waldo Emerson (1803–1882)
“A new philosophy generally means in practice the praise of some old vice.”
—Gilbert Keith Chesterton (1874–1936)