Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Resource Types : Software : Topic Tools : Topic Misc.

_____________________________________
Library Home || Search || Full Table of Contents || Suggest a Link || Library Help
_____________________________________


  Selected Sites   (see also All Sites in this category)

  1. Math WWW VL: Software - Dept. of Mathematics, Florida State University
    Links to software sites for college-level mathematics. more>>

  2. Software for Graphics and Data Analysis - S. Baum; Dept. of Oceanography, Texas A&M University
    Links to software with descriptions, features, and where to find it, in (mostly) the following categories (or check out the complete alphabetical list): mostly graphics; mostly numerical analysis and number crunching; mostly data formats; commercial packages; mostly symbolic mathematics; mostly GUI development systems; wavelet software and information; and spectral analysis. more>>


 
  All Sites - 717 items found, showing 1 to 50

  1. 3-D and SIRDS images - Jonathan Bowen
    An archive of single image random dot stereo (SIRDS) and other 3-D images, together with related information and software. It is available via anonymous FTP. Plain text information on frequently asked questions concerning SIRDS, an index and a README ...more>>

  2. 3D-Mathematikprogramm - Ingenieurbüro Riescher
    German shareware program for Windows: MATHPROF ist ein einfach bedienbares Mathematikprogramm mit graphischen 2D- und 3D-Darstellungen, für Schüler, Studenten und Lehrer. Auch lassen sich einfache Konstruktionen im 2D- und 3D-Bereich erstellen und analysieren. ...more>>

  3. 3D Math Explorer - TEBER Engineering & Education Software - Dursun Teber
    Graphing software for plotting 2D and 3D data: a computer program that plots 2D and 3D graphs of mathematical functions and curves in unlimited graphing space. Features include 3D curve plotting in real time, perspective drawing, graph scaling (zooming), ...more>>

  4. 3TAP (Tableau-based Theorem Prover) - Reiner Hähnle, Bernhard Beckert, Stefan Gerberding
    A many-valued tableau-based theorem prover developed at the University of Karlsruhe. It can be instantiated for arbitrary finitely-valued first-order logics, and it can handle equality (two-valued), sorts, and non-clausal input. Source code, a manual, ...more>>

  5. Abakus - Lothar H. Hofmann
    Download a free Windows Japanese soroban-abacus. (Site is in Swedish.) ...more>>

  6. Adaptive Precision Floating-Point Arithmetic and Fast Robust Predicates for Computational Geometry - Jonathan Richard Shewchuk; University of California at Berkeley
    C code for orientation and incircle tests using adaptive-precision floating-point arithmetic. Papers, software, inspiration. ...more>>

  7. Aepryus Software
    Aepryus is a developer of math, physics, and evolutionary biology software for Microsoft Windows computers. Download, purchase, or obtain information about programs such as Aepryus Graph, a function plotting application capable of 2D and 3D shaded plots ...more>>

  8. The Af2 Proof Assistant - Christophe Raffalli et al., France
    A type system based on second order intuitionistic logic. The major design goal of this program was to make as easy as possible the formalization of mathematical proofs on machine. ...more>>

  9. AIMMS - Paragon Decision Technology
    This optimization software for advanced modeling concepts features solvers for major mathematical programming types and a full graphical user interface both for developers and end-users. Read about features and licensing options; see industrial applications, ...more>>

  10. The Algae Programming Language - Scott Hunziker, Mike Brennan
    A free (GNU GPL) high-level interpreted language for numerical analysis. ...more>>

  11. Algebra Coach - Eric Hiob
    Freeware (but please register) for use on Windows 95 and higher. The Algebra Coach shows the user step-by-step how to solve any equation or simplify any expression that they enter. It also shows how to solve any system of linear equations by substitution ...more>>

  12. Algebra Help Tutorials
    HelpAlgebra.com provides free algebra tutorials, glossaries, calculators, software reviews, and general algebra help. ...more>>

  13. Algebra linear functions in C. - xhunga
    MS-DOS / C programming language. Basic functions (use fractions): addm, subm, multm, powm, smultm, transpose, trace, det, minor, cofactor, mcofactor, adjoint, inverse, gauss, gaussjordan. Elementary row operations: swaprow, multrow, addrow. Useful Functions: ...more>>

  14. Algebra Master - AlgebraPoint
    Commercial software that solves algebra problems and simplifies algebraic expressions step-by-step, with explanations. Demonstration available online. ...more>>

  15. Algebra Software - Algebra-net
    Windows software that enables students to solve actual problems from algebra textbooks and not just a limited set of computer generated examples. Features, testimonials, and purchasing information available on the site. ...more>>

  16. Algebra Tutor - Softmath
    Software designed to walk students through their own problems step-by-step. Money-back guarantee. ...more>>

  17. Alglib - Sergey Bochkanov, Vladimir Bystritsky
    Numerical analysis library in C#, C++, Delphi, Visual Basic, Zonnon. Covers differential equations, systems of linear equations, matrix and vector operations, eigenvalues and eigenvectors, numerical integration, univariate and multivariate optimization, ...more>>

  18. Algorithms Project - Institut National de Recherche en Informatique et en Automatique (INRIA)
    A small international group of people with interests in design and analysis of algorithms, computer algebra, combinatorial analysis and asymptotics. It aims at general methods in combinatorics and analysis, with which classes of problems can be treated ...more>>

  19. Allwave - Allwave Corp
    Software company offering: MathHub® (math tool), PlotHub® (plotting tool), MathCal® (graphical calculator tool, both PC and Pocket PC versions), and MapHub® (map has over 100 projections), as well as a special application for engineering. ...more>>

  20. Alphametics - Torsten Sillke
    Cryptarithms are puzzles in which letters or symbols are substituted for the digits in an arithmetical calculation. If a cryptarithm uses letters in place of digits, and the letters form words or phrases, the puzzle is an alphametic. J. A. H. Hunter coined ...more>>

  21. Amazing Seattle Fractals - Tutorials - Doug Harrington
    Fractal art galleries, fractal tutorials, slide shows, software downloads, guest galleries and more. Four different online fractal art tutorials illustrate step by step how to get started creating this art form based on mathematics. ...more>>

  22. AMPL: A Modeling Language for Mathematical Programming - Bell Laboratories
    A comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems, in discrete or continuous variables. AMPL lets you use common notation and familiar concepts to formulate optimization models and examine solutions, ...more>>

  23. Amsterdam Tessellation Projects - M. Hos-McGrane
    Student tessellations created using the software program Tesselmania, inspired by a class trip to the Escher Exhibition in Rotterdam, The Netherlands. ...more>>

  24. AnalyCorp
    XLSim, analytical business modeling in Excel; INSIGHT.xla, software for Monte Carlo simulation, forecasting, and optimization, with seminars in the application. ...more>>

  25. Analysis & Knowledge - Sanford Aranoff
    Download data analysis software, such as Patterns, which analyzes and charts trends in stock market using Andrews concepts. See also this former Rutgers University physics professor and current high school educator's thoughts on teaching and help file ...more>>

  26. The Analytical Engine - John Walker
    The mathematician Charles Babbage designed an Analytical Engine, a mechanical precursor to the computer, in the late 1800s. Read historical documents related to the Engine, including Blaise Pascal's account of his mechanical adding machine (in French), ...more>>

  27. Analytic Cycling - Tom Compton
    Software that provides technical methods for evaluating and estimating cycling performance and parameters. It makes extensive use of differential equations and advanced numerical methods. ...more>>

  28. Annotated Bibliography of Software Resources (The Chaos Hypertextbook) - Glenn Elert
    An extensive annotated list of software related to Elert's Chaos Hypertextbook. Major categories include: Chaos (Dynamical Systems); Iterated Function Systems (IFS); Lindenmayer Systems; Mandelbrot & Julia Sets; Music; Newton's Method; Terrain & ...more>>

  29. Antiprism - Adrian Rossiter
    A set of programs for generating, manipulating, transforming, and viewing models of polyhedra. Open source, via the MIT license. ...more>>

  30. Aplusix: Software for Learning Algebra
    Software for helping students learn algebra. In English, French, Portuguese. Includes classical exercises and word problems, with various levels of assistance. It contains 400 patterns of exercises for numerical calculation, expansion, factorization, ...more>>

  31. Apophenia - Ben Klemens
    An open statistical library for C. Similar to other statistics packages in function, Apophenia does not commit the user to an ad hoc language or environment, but rather keeps data in a database. Download the library, or contribute your own routines. ...more>>

  32. The APT Library: Monte Carlo Sampling, Geometric Analysis and Other Useful Subroutines - Arthur L. Edwards
    The All-Particle-Tracking (APT) subroutine library contains over 300 subroutines, primarily for Monte Carlo and geometric applications. It is designed especially to support 2-D and 3-D codes that generate and track particles or beams of matter or energy, ...more>>

  33. APY Calculator
    Online calculators that convert annual percentage rate (APR) to annual percentage yield (APY) and vice versa (for certificate of deposit and savings account); and that calculate the real APR of a mortgage with points, origination fees, and closing costs. ...more>>

  34. Archimedes Geo3D - Andreas Goebel
    Software for interactive geometry in three dimensions that you can use to: construct points, lines, spheres, planes, triangles and many more objects; trace points, lines or circles to get locus lines or locus surfaces; drag objects and see the rest of ...more>>

  35. Artelys Kalis - Artelys SA
    Artelys Kalis is an extensible constraint programming framework enabling the user to define its own constraints and search heuristics. It also includes several global constraints. It is available as a C++ library and its port to Xpress-Mosel environment ...more>>

  36. Artificial Intelligence Resources - NRC - National Research Council (NRC) of Canada
    Internet resources useful to AI researchers: Archives for newsgroups and mailing lists; bibliographies; books; companies; conferences; employment opportunities; FAQs; journals; location index (various AI research groups, organized geographically); list ...more>>

  37. Artlandia SymmetryWorks - Artlandia, Inc.
    A plug-in for Adobe Illustrator that automates creation of surface designs and ornaments based on seventeen wallpaper groups. ...more>>

  38. The Art of the Experiment: Educational Software - Symynet; Jeff Rasmussen, Ph.D.
    E-learning software that teaches statistical analysis in the context of experimental design. Program information, free demo, pricing and discount information, and ordering information are all available on the site. ...more>>

  39. The AssiStat - MicroMetrix Corporation
    Windows-based software that does automated calculation of 80 formulas useful in educational and psychological research, practice, and in measurement and statistics courses. It was designed to be used as a complement to typical statistical data analysis ...more>>

  40. Astronomical Image Processing System (AIPS) - National Radio Astronomy Observatory
    A software package for calibration, data analysis, image display, and plotting of astronomical data. ...more>>

  41. AutoAbacus - Nathan Funk, Singular Systems
    An equations-solving application and calculator. Any number of simultaneous equations can be solved instantly. Uses for the program range from checking results on homework assignments to setting up mathematical models of a real-life problems. A demo is ...more>>

  42. AutoDiff - Alex Shtof
    Define your functions from basic primitives, and this .NET library evaluates and differentiates them analytically, calculating their values and gradients at specified points. Download AutoDiff's latest version; read documentation; track issues and check ...more>>

  43. Autograph (Mathematics) - Eastmond Publishing Ltd
    Autograph is visualization software that operates in two modes: graphs, coordinates and bivariate data; and single-variable statistics and probability. Resources include graphs, statistics, screencam demos, Microsoft Word worksheets, PowerPoint presentations, ...more>>

  44. Automated Reasoning Project - Computer Sciences Laboratory, Australian National University, Canberra
    A research group that investigates the mathematical properties of non-classical logics, and studies algorithms for reasoning in various systems, both classical and non-classical. Includes access to software developed by the team for projects such as FINDER ...more>>

  45. Automatic Fractal Map Generator - Paolo Guagliumi
    A freeware program that generates .map files used by Winfract and Fractint, which make use of .map files that contain 256 lines of ASCII characters that describe RGB (red, green, blue) color values. Site is in English and Italian. ...more>>

  46. AUTO WWW Site - Pankaj Kamthan
    AUTO is software for continuation and bifurcation problems in ordinary differential equations. Bibliography, documentation, download, history, and links to related software. ...more>>

  47. Banxia Software
    Software for professional decision making. Frontier Analyst provides Data Envelopment Analysis to measure an organization's efficiency. Decision Explorer lets you create maps to model a situation and develop a strategy. ...more>>

  48. The Bath Wavelet Warehouse - Signal and Image Processing Group, Univ. of Bath, U.K.
    A collection of wavelet filters available for download. Biorthogonal Wavelets; Orthonormal Wavelets; References. ...more>>

  49. Bayesian Network tools in Java (BNJ) - William H. Hsu
    BNJ is an open-source suite of software tools for research and development using graphical models of probability. It is implemented in 100% pure Java and distributed under the GNU General Public License (GPL) by the Kansas State University Laboratory ...more>>

  50. Bayes Server - John Sandiford
    Advanced Bayesian network software that supports time series analysis. Read about features; find documentation; see screenshots; purchase the Bayes Server or consulting or training services. ...more>>


 
Page:  1  2  3  4  5  6  7  8  9 10 11 12 13 14 15 [next>]


Search for these keywords:
               

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words


Power Search

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.