9 projects tagged "Mathematics"
Updated 15 May 2011
Easy Funktion
| Pop | 94.74 |
|---|---|
| Vit | 10.85 |
Easy Funktion is 2D function plotter software with an equation solver. It has an office-like GUI frontend and features a built-in pocket calculator, calculating with complex numbers (with special extensions for electronics, e.g. capacitor/inductor impedance), a function to export to spreadsheet software, and an advanced formula editor with automatic formatting.
Updated 03 Nov 2004
Electronic Engineering Tool
| Pop | 81.24 |
|---|---|
| Vit | 2.30 |
Electronic Engineering Tool is a Web-based tool that includes an electronic formula calculator and converter functions. It very useful when working with electronics, both for engineers and amateurs. For example, it includes converters for dBm-to-Watt and Fahrenheit-to-Celsius, and it can calculate Ohm's law, filters, thermal resistant C/W, SWR, coil inductance, capacitor capacity, and more.
Updated 09 Jul 2004
JCCad
| Pop | 45.96 |
|---|---|
| Vit | 1.00 |
JCCad is a project to develop a 2D/3D CAD program that can be used to create technical drawings. One of the main goals of this project is to include a plugin system to allow usuaries to make new commands. In this way it will be easy to use the program for any particular task. JCCad provides an easy interface with a command line.
Updated 27 Oct 2005
JFDraw
| Pop | 129.98 |
|---|---|
| Vit | 4.02 |
JFDraw is a Java vector graphics drawing application and library package. It is focused on vector graph drawing field. It is useful for mechanical, electronic, architectural graph drawing applications, or even business process or workflow graphs.
Updated 11 Apr 2011
ACL2
| Pop | 86.26 |
|---|---|
| Vit | 5.64 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Updated 28 Jul 2007
DREAM Tool
| Pop | 21.91 |
|---|---|
| Vit | 1.96 |
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. It focuses on the practical application of formal verification and timing analysis to real-time middleware.
Updated 05 Aug 2011
ReliaFree
| Pop | 19.34 |
|---|---|
| Vit | 1.84 |
The ReliaFree Project is an alternative to commercial, proprietary reliability, availability, maintainability, and safety (RAMS) analysis software. The ReliaFree Project is an integrated suite of tools. Any number of analyses can be linked together such that an update to one module will result in all linked modules being updated appropriately. This approach provides a closed loop life-cycle with visibility into a product's performance throughout. The same database is used to store field failure data as is used to store design prediction information.
Updated 19 Sep 2007
FerFT
| Pop | 12.65 |
|---|---|
| Vit | 1.76 |
FerFT is a multi-purpose spectral analyzer based on the successive Fourier transformation method. It features an input signal monitor which can sample input signals through a microphone with various sample rates and show them graphically on the panel. It also lets you calculate power spectra successively along with sampled input signals and show them graphically on the panel. Finally, it provides a filter to modify spectra and regenerate signals from them.
Updated 12 Mar 2008
py2port
| Pop | 24.80 |
|---|---|
| Vit | 1.00 |
py2port is a tool for performing two-port and one- port analysis on linear circuits. It was developed for analyzing PCB power-distribution-systems and lossy transmission lines.
