Archives
Rendering TeX Math in WPF
04 Apr 2010 | No Comments »
The Traveller’s Paradox
02 Mar 2010 | 5 Comments »
Category(s): Fun, Humanities, Maths & Science, Philosophy
Tag(s): boolean algebra, dilemmas, fairy tales, fantasy, first order logic, formal language, formal logic, formal system, formula, logic, logical paradox, math, mathematical logic, mathematics, paradox, paradoxes, predicate logic, proof, proof theory, propositional calculus, propositional formula, propositional logc, propositional logic, propositional variable, story, traveller's paradox, well-formed formula, wff
Learning Formal Logic
23 Feb 2010 | 1 Comment »
Markov Chain Generator in .NET
18 Feb 2010 | 2 Comments »
Category(s): Programming, Software
Tag(s): .net, .net 4.0, andrey markov, c#, c# 3.0, code snippets, irc, irc.net, markov, markov chain, markov process, markov text generator, mathematics, maths, probability, probability theory, statistics, stochastic
Designs for a Computer Algebra System
08 Jan 2010 | No Comments »
Category(s): Maths & Science, Programming, Projects, Software
Tag(s): algebra, archimedes, CAS, computational algebra, computational math, computational mathematics, computer algebra system, euclid.net, eucliddotnet, expression, expression tree, expression trees, fitness function, function, godel, godel's incompleteness theorem, hash code, hash function, hash table, hashing, hashset, hashtable, incompleteness theorem, kurt godel, latex, maple, math, mathematica, mathematics, maxima, optimisation algorithms, search algorithm, search tree, simplification, simplify, symbolic differentiation, symbolic manipulatoin, symbolic math, symbolic mathematics, symbolic programming, symbolic simplifier, syracuse, syracuse project, tex, tex.net, texdotnet, tree structure, tree structures
“A witty saying proves nothing”
01 Dec 2009 | No Comments »
Category(s): Fun, Maths & Science, Philosophy
Tag(s): addages, albert einstein, apophryca, arouet, author, books, common sense, education, einstein, formal education, god, humou, imagination, liberty, life, mark twain, math, mathematician, mathematics, Maths & Science, oscar wilde, philosopher, Philosophy, physicist, plato, playright, poet, quotations, quotes, religion, samuel clemens, sayings, socrates, voltaire, wisdom
Electronic Lecture Notes
28 Nov 2009 | No Comments »
Category(s): Personal, Projects, Software
Tag(s): college, docutils, editor, eee pc, eeepc, electronic storage, latex, lecture notes, lectures, markdown, markup, math, mathematics, maths, Maths & Science, microsoft office, microsoft word, ms office, ms word, notes, pdf, physics, plaintext, python, reST, restructured test, tex, text, text formats, uni, university, wiki, wiki markup, word, yaml
RAKIS – A Semantic Information System
14 Oct 2009 | No Comments »
Category(s): Maths & Science, Software
Tag(s): abstract knowledge, ai, ann, arrakis, artificial intelligence, artificial neural networks, bach, bach family, concepts, connections, context free, data, data orginisation, dune, edges, GEB, godel escher bach, graph theory, graphs, implicit meaning, inference, information, information model, interfaces, interfacing, isomorphisms, j. s. bach, johann sebastian bach, knowledge, labelled graph, learning, links, logic, machine learning, math, mathematics, maths, meta, meta-knowledge, meta-links, meta-relationships, models, mrmoe, networks, neural networks, nodes, rakis, rdf, recursion, recursive, relations, relationships, semantic web, semantics, syntax, unlabelled graph, vertices
TeX.NET 0.1.0 released
08 Oct 2009 | No Comments »
Category(s): Maths & Science, Programming, Projects, Software
Tag(s): .net, archimedes, c#, c# 3.0, euclid, euclid.net, expressions, f#, latex, launchpad, lexers, lexing, libraries, math, mathematics, maths, parsers, parsing, syracuse, syracuse project, tex, tex.net, texdotnet
Demo of Euclid.NET Launched
20 Sep 2009 | No Comments »
Category(s): Programming, Projects, Software
Tag(s): .net, algebra, c#, calculus, derivative, differentiate, differentiator, euclid.net, eucliddotnet, lexer, lexing, math, mathematics, maths, parser, parsing, symbolic differentiator, tex.net, textdotnet