RSS 2 projects tagged "Mathematics"

Download Website Updated 23 Nov 2004 AMLET

Screenshot
Pop 23.49
Vit 1.00

AMLET is software designed to estimate multinomial and mixed logit discrete choices models, which are increasingly popular in econometry. The software supports cross- sectional and panel data, and offers various optimization methods, including the new variable sample-size approach.

Download Website Updated 24 Jun 2010 Daikon

Screenshot
Pop 90.98
Vit 9.82

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.

Screenshot

Project Spotlight

NTRU

The NTRU public-key cryptosystem.

Screenshot

Project Spotlight

bashstyle-ng

A graphical tool for styling Bash.