Keep the gradient flowing fa.bianp.net

Last days in Granada

fa.bianp.net·855w

Learning, Machine Learning

fa.bianp.net·855w

Moving to Paris!

fa.bianp.net·855w

Summer of Code is over

fa.bianp.net·869w

Speed improvements for ask() (sympy.queries.ask)

fa.bianp.net·871w

Logic module (sympy.logic): improving speed

fa.bianp.net·872w

Refine module

fa.bianp.net·872w

Query module

fa.bianp.net·873w

django, change language settings dynamically

fa.bianp.net·873w

can we merge now, pleeease ?

fa.bianp.net·876w

Refine module, proof of concept

fa.bianp.net·877w

Preparing a new release

fa.bianp.net·879w

Efficient DPLL algorithm

fa.bianp.net·879w

Queries and performance

fa.bianp.net·880w

Reading CNF files

fa.bianp.net·880w

Logic module merged

fa.bianp.net·880w

The boolean satisfiability problem

fa.bianp.net·881w

Initial implementation of the query system

fa.bianp.net·881w

Assumption system and automatic theorem proving. Should I be learning LISP ?

fa.bianp.net·882w

Homenaje a Antonio Vega en La Percha

fa.bianp.net·883w

Log in to enable infinite scrolling