-->

CUC³ covers an exceptionally broad range of topics in theoretical and quantum chemistry.

COQ is a Proof Assistant for a Logical Framework known as the Calculus of Inductive Constructions.

Concalc is a calculator for the Linux console.

How to customize a repository on a USB key.

How can I install software or packages without Internet (offline).

Lemon is an open source point of sale for Linux and other unix systems.

Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.

The Basic Linear Algebra Communication Subprograms constitute a message-passing library designed for linear algebra.

Random Posts

Recent Posts

Recent Posts Widget

Popular Posts

Labels

Archive

page counter follow us in feedly
 
Copyright © 2014 Linuxlandit & The Conqueror Penguin
-->