Greetings from PLANETQUANTUM.COM. I've been toiling away on logic, interactive theorem proving (early stage), and pushing Quantum's interactive 2D graphics to a better stage. This year, among other things, I plan to look at:
I'm thinking about updating the PLANETQUANTUM.COM online manual sometime this year...
And maybe staying in touch with my PLANETQUANTUM.COM readers a little more often. :-)
Here are a couple papers which I found interesting and I think are worth reading:
Finally, here is a report on my trip to Paris, France: XMAS2009.
|©2004-2018 Planet Quantum||Kelly Roach|