September 2014: 10 Most Popular Posts from Ubuntuland & The Dream Valley.

1.- KNode/KNode for mailing lists. Mailing lists are widely used for communication among Free Software projects and interest groups.   B...

Read More

Dynare is a software platform for handling a wide class of economic models.

Dynare is a software platform for handling a wide class of economic models, in particular dynamic stochastic general equilibrium ( DSGE ) a...

Read More

GNU Dr. Geo, be a geometer! F.A.Q.

Installation. 1.- At startup, Dr. Geo asks me to choose an image file, what is it? It occurs when the direcotry's path Dr. Ge...

Read More

Ladr4 is a library for use in constructing theorem provers.

Ladr (library for automated deduction research) is a library for use in constructing theorem provers.   Among other useful routines it ...

Read More

CaRMetal propose a different approach from the graphical interface point of view.

Compass and Ruler ( C.a.R .) is a dynamic geometry software developed by Rene Grothmann since 1989. You can find here an history of C.a.R....

Read More

Bugsx a program to display and evolve biomorphs.

Bugsx draws the biomorphs based on parametric plots of Fourier sine and cosine series and let's you play with them using the genetic al...

Read More

Axiom is a general purpose Computer Algebra system.

This project is not part of the GNU Project.   Axiom is a general purpose Computer Algebra system. It is useful for doing mathematics b...

Read More

Calc is an interactive calculator which provides for easy large numeric calculations.

Calc is an interactive calculator which provides for easy large numeric calculations, but which also can be easily programmed for difficult...

Read More

Kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc.

Kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc. It is essentially a fron...

Read More

August 2013: 10 Most Popular Posts from Ubuntuland & The Dream Valley.

1.- Matita interactive theorem prover (or proof assistant), a tutorial introduction: installation. Matita is an experimental proof assist...

Read More

Matita interactive theorem prover (or proof assistant), a tutorial introduction: installation.

Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna.   Matita i...

Read More

Jfractionlab educative program to practice fractions.

JFractionLab , is a calculator designed to help you solve your calculations when dealing with fractions.   JFractionLab helps you to pe...

Read More