Genetic Programming

Genetic algorithms are all the rage – and a short handy book is available here! There is a free downloadable version, or you can purchase it (for a mere $13.07; quite reasonable).

In other news, class starts on Monday- I’ll be really busy for the first two weeks, and then hopefully I’ll be able to get to some regular posting!

ex animo-

Felicis

Advertisements

CAMG: First Meeting Notes

OK, so it’s the weekend after the second meeting… Better late than never. I was not able to make it to the second meeting, which is a shame since Saij tells me it was quite interesting! I’ll see if I can get Eric to post what he covered…

As for the first meeting, well…

It was my job to talk about \LaTeX, and so we gathered around and went over the pre-processing stuff, also known as the ‘preamble’ to a document. If you are interested, you can see more here. While chatting, we went into a discussion of proof-verification systems using Coq and Mizar, and their connection to \LaTeX. Interestingly, I have heard that Mizar is able to produce \LaTeX output so that one can immediately produce the typeset article (although I cannot now re-find that reference, so perhaps I am incorrect…). This led us to discuss the general inhospitality of such formal mathematics towards human readers. We then talked about the possibility of an additional program to take a verified proof from the formal setting and render it in a more human-friendly way, such as what might be required by an instructor.

Perhaps we could ‘Erdmanize’, or ‘Jiangize’ a formal text, rendering it into something either of these instructors (who ask their students to produce very different mathematical prose) would accept. Even more important, I think, would be to have the produced text include examples and perhaps counterexamples – something completely unnecessary to a formal proof checker, but very important for human understanding.

Tim is very interested in computer verifications systems, and may take us on a tour of Coq, which he is actually using in another course. Eric has already started us out on Sage, and I will be continuing the \LaTeX journey next week.

Speaking of which- we continued our \LaTeX discussion with a brief introduction to the fancy headers package (available here) and elaboration on the different environments for arranging text on the page in a ‘tabular’ form: lists, tables, arrays, et cetera. Next week, I am planning on talking about how to adjust margins and the appearance of the page, along with a better discussion of the different ‘environments’ available to us. If there is anything in particular you would like to hear about, drop a comment my way and I’ll either add it in this week, or at least have it for the future!

We finished up with a discussion of what we might cover in the future: the Haskell programming language (With a book suggested by Tim), Discrete Mathematics, Computer Proof Verification, computer modeling, SAGE, and \LaTeX. Tom expressed the desire, that if we do nothing else, focusing on SAGE and \LaTeX would be a good start for this quarter.

Thus endeth the first meeting. Hope to see you at future ones!

ex animo-

Felicis

Intelligent Robots!

Check out PSU’s own Intelligent Robotics Lab

I particularly like the title of this publication:

“Use of Machine Learning based on Constructive Induction in Dialogs with Robotic Heads,” 

PARI as good as Mathematica?

I have yet to get into it, but Vivatsgas believes in it and lays down some tricks.