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)
“At the very moment when someone is beginning to take philosophy seriously, the whole world believes the opposite.”
—Friedrich Nietzsche (1844–1900)
“This philosophy of hate, of religious and racial intolerance, with its passionate urge toward war, is loose in the world. It is the enemy of democracy; it is the enemy of all the fruitful and spiritual sides of life. It is our responsibility, as individuals and organizations, to resist this.”
—Mary Heaton Vorse (1874–1966)