Bill Page
About: I am particularly interested in the applications of computer algebra to advanced theoretical physics, for example in the manipulation and simplification of algebraic expressions encountered in general relativity and in quantum mechanics.
Discussions
Please join the network!
--I hope you will consider becoming part of an active community to support the development of the Aldor programming language.
Re: What Axiom can do for Aldor
------------ Forwarded message ---------- From: Bill Page Date: Fri, Mar 21, 2008 at 5:07 PM Subject: Re: What Axiom can do for Aldor To: ...
"Pervasive support for dependent types"
--At http://lambda-the-ultimate.org/node/2737#comment-40909 Quoting from the summary of Aldor at http://aldor.org ... Pervasive support for ...
Registering the Algebraist blog
--We are now indexed in Technorati Profile.
Project Euler
--http://projecteuler.net Bill Wood writes: "Are you familiar with the ProjectEuler site, would Aldor be a good language for solving their usual m...
blog on Axiom
--Alasdair McAndrew has an interesting new blog where he currently presenting an introduction to introduction to Axiom: http://amca01.wordpress.co...
Rig
--In http://golem.ph.utexas.edu/category/2008/05/theorems_into_coffee_iii.html John Baez writes: A rig is a ‘ring without negatives’ — jus...
Hopf Algebra = Group + Monad
--Here is an example of some work that I would really like to do in Axiom and/or Aldor Hopf Algebra = Group + Monad http://sigfpe.blogspot.com/...
Photos:
Blog Posts
Creation of the Algebraist project
--Comments from another Aldor developer: > Thank you for opening up the project. >> http://algebraist.origo.ethz.ch >> Ehm, have you...
Algebraist project created
--Today Algebraist was created and now the work can begin. Have fun working on Algebraist.
Bookmarks:
Network
|
|
|
|
David Casperson (mutual) friend |
|
|
|
|
|
Saul Youssef friend |
|
|
|
|
|
Oziewicz Zbigniew (mutual) friend |
|
|
|
|
|
Ralf Hemmecke (mutual) friend |
|
|
|
|
|
Emil Volcheck friend |
|
|
|
|
|
Oleg Golubitsky friend |
|
|
|
|
|
mohyedeen friend |
|
|
|
|
|
Bill Wood friend |
|
|
|
|
|
Bertfried Fauser (mutual) friend |
Comments
Sorry not to get back to you sooner; it's been a busy month. My "strategy" for finding out what Aldor is good for is to ask you guys! For example, if you are familiar with the ProjectEuler site, would Aldor be a good language for solving their usual math-intensive programming problems? I've used lisp for most of the problems I've worked, along with the ECLiPSe Prolog+Constraint Logic Programming system and Python for a couple of problems. I gather from recent postings here that some view Aldor as a language to program abstract algebra computations in. What about semi-numeric computation, such as solving congruences or computing with continued fractions? I saw your reference to category theory; has anyone mentioned using Aldor to support some of the reasoning about programs that Haskellers talk about?
Well there's a start. Thanks for giving me the opportunity to ask questions.
-- Bill Wood