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:
“How can you tell if you discipline effectively? Ask yourself if your disciplinary methods generally produce lasting results in a manner you find acceptable. Whether your philosophy is democratic or autocratic, whatever techniques you use—reasoning, a “star” chart, time-outs, or spanking—if it doesn’t work, it’s not effective.”
—Stanley Turecki (20th century)
“People who love soft methods and hate iniquity forget this,—that reform consists in taking a bone from a dog. Philosophy will not do it.”
—John Jay Chapman (1862–1933)
“How does Nature deify us with a few and cheap elements! Give me health and a day, and I will make the pomp of emperors ridiculous. The dawn is my Assyria; the sun-set and moon-rise my Paphos, and unimaginable realms of faerie; broad noon shall be my England of the senses and the understanding; the night shall be my Germany of mystic philosophy and dreams.”
—Ralph Waldo Emerson (1803–1882)