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
_____________________________________


  All Sites - 712 items found, showing 351 to 400

  1. Kumo - Joseph Goguen et al.; University of California at San Diego.
    A Web-based proof assistant that assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction. ...more>>

  2. KwikTrig - John Fracaro
    Free Windows PC trigonometry software for quick solutions to trigonometry and geometry problems from expert to novice. ...more>>

  3. L'Algebrista - Michele Cerulli
    Software designed to introduce pupils to theoretical thinking and symbolic manipulation. The site includes publications and a description of the software. In English and Italian. ...more>>

  4. LAPACK - Linear Algebra PACKage
    Written in Fortran77, LAPACK provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems. ...more>>

  5. LAPACK++ (Linear Algebra PACKage in C++) - Roldan Pozo
    A software library for numerical linear algebra that solves systems of linear equations and eigenvalue problems on high performance computer architectures. Computational support is provided for various matrix classes for vectors, non-symmetric matrices, ...more>>

  6. L'arbre de Delaunay - J-D. Boissonnat et al.
    L'arbre de Delaunay est une structure randomisé permettant de mettre à jour la triangulation de Delaunay. Cette structure permet de traiter des requètes de localisation. Delaunay triangulation code for Delaunay meshing in 2 and 3 dimensions ...more>>

  7. Learning by Simulations - Hans Lohninger, Virtual Institute of Applied Science
    Simulation software for Windows PCs, available free for non-commercial educational purposes. (The author requests a postcard describing your use of his programs.) Covered math topics include: Fourier Synthesis, Travelling Salesman Problem, Vector Fields, ...more>>

  8. LEDA Research - Michael Seel
    LEDA is a library of the data types and algorithms of combinatorial computing. Try the Over-The-Net Demo which allows you to play with some computational geometry algorithms provided by LEDA; download commercial or research packages and licenses; read ...more>>

  9. The LEGO Proof Assistant - Randy Pollack; University of Edinburgh
    A tool for interactive proof development in the natural deduction style. It implements various related type systems - the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC), and the Unified ...more>>

  10. Let 'Em Roll™ Simulation - Matthew Carpenter
    The goal of this activity is to demonstrate a real world situation where the probabilities of mutually exclusive and independent events occur. Each student is asked to calculate the experimental and theoretical probabilities of these events. Students ...more>>

  11. levmar: Levenberg-Marquardt non-linear least squares algorithms in C/C++ - Manolis Lourakis
    GPL package containing four flavors of the Levenberg-Marquardt nonlinear least squares algorithm. The package is written in C, it's also usable from C++ and includes double and single precision LM implementations, both with analytic and finite difference ...more>>

  12. LINDO Systems
    Software tools (linear, nonlinear, and integer programming solvers) for building and solving optimization models. ...more>>

  13. Line Designs for the Computer - Jill Britton
    Line designs are created by connecting points on lines or curves with straight line segments. When carried out on cardboard with sewing needle and thread, the process is referred to as Curve Stitching or String Art. If the family of straight line segments ...more>>

  14. LINK: A Software System for Discrete Mathematics - DIMACS, Rutgers University
    A software system designed to be a general-purpose, extendible computing environment in which discrete mathematical objects representing real world problems can be easily manipulated and visualized. The system features a full Scheme interpreter with access ...more>>

  15. Linked List Polynomial Calculator in C / C++ - Alfie Miras
    A C program that performs the basic polynomial operations--addition, subtraction and differentiation. ...more>>

  16. LiveGraph: Real-Time Data Series Plotter - Greg Paperin
    A tool which allows to graph data series in real-time while they are being generated by another application. The concise GUI is specifically tailored for convenient and efficient handling of a large number of data series and contains basic but very useful ...more>>

  17. Loan*Calculator! Plus for Windows - Pine Grove Software
    Loan, Interest Due/Calendar Math, Remaining Balance, Accelerated Payment and Balloon Payment calculations available, and amortization schedules. Version 2.0 added the notion of "Financial Advisors". Advisors provide text based answers to a particular ...more>>

  18. Logical Art and the Art of Logic - Guenter Albrecht-Buehler
    About pentominoes, the patterns they create, and what pentominoes have to do with Escher, Penrose, Logic, Impossible Objects, Mathematics, and Art. Download a DOS program, 'newpent.exe', that assembles (6x10) pentomino solutions manually or automatically ...more>>

  19. Logical Art and the Art of Logic - Guenter Albrecht-Buehler
    An illustrated essay about pentominoes, flat shapes formed from five (Gr.pente = five) unit squares. Also a DOS program for pentomino solutions (6x10) and galleries of pentomino creations. ...more>>

  20. Logic Programming - J. P. Bowen; World Wide Web Virtual Library
    Links to information on Logic Programming: General repositories; Prolog; Window system interfaces; Other logic programming systems; Meetings; Books; Related information. ...more>>

  21. Logic Software from CSLI - Jon Barwise and John Etchemendy; Center for the Study of Language and Information
    Text/software packages described here - Hyperproof, The Language of First-order Logic, Tarski's World, and Turing's World - are all published by the Center for the Study of Language and Information and distributed by Cambridge University Press. ...more>>

  22. The Logics Workbench (LWB) - Gerhard Jaeger, Leader; University of Bern, Switzerland
    The LWB allows work in classical and non-classical propositional logics, including nonmonotonic approaches. There are several groups of functions: functions concerning provability; simplification of formulas; computation of normal forms; embeddings, and ...more>>

  23. Logo in Mathematics Education - Don Beaty
    Sections introducting Logo and its use in the classroom, as well as Illinois Learning Goals (state standards), and a series of junior-high level lessons aligned to those standards. ...more>>

  24. Lumina Decision Systems
    Lumina Decision Systems develops, markets, and supports Analytica, software for creating, analyzing, and communicating quantitative business models. Based in Los Gatos, California, Lumina also offers consulting and training in decision support, model ...more>>

  25. Macaulay - Dave Bayer and Mike Stillman
    Macauley is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis methods for manipulating systems of polynomial equations. See also Macaulay ...more>>

  26. MacStats - David Zatz and Joel West
    A clearinghouse for information regarding using the Macintosh for statistical analysis, with an emphasis on marketing and other social science research (also relevant for engineering and hard science applications, but these are not its main focus). Available ...more>>

  27. Magic Cube Generator - Dwane H. Campbell, Keith A. Campbell
    This site offers a generator for magic squares, cubes, and hypercubes, along with history, overview of basic concepts, and statistics, and downloads and references. The authors focus primarily on a set of 8 by 8 by 8 magic cubes that are often called ...more>>

  28. Magic Geometry Canvas - Shigehisa Sekie
    Interactive geometry shareware based on tangrams, for Win 95/98/ME/200/XP. Three-minute sample activities are included on the site. ...more>>

  29. Magic Geometry Workshop - Shigehisa Sekie
    A shareware geometry program for Win95/98/2000/XP. Sample interactive geometric constructions available on site. ...more>>

  30. Magic Graph - Betelgeuse Software
    A graphing tool for plotting and analysing graphs of mathematical functions. It is fully customizable, supports a wide variety of functions, and provides analytical capabilities. ...more>>

  31. Magic Math Kingdom - Nippon Educational Software Laboratory
    Magic Math Kingdom is math game software, in which kids solve elementary math problems in order to rescue a frog princess. Also available is the Internet Geometry Education Tool O-MAIL. With O-MAIL, students can learn geometry by manipulating lines or ...more>>

  32. Magic Square - Robert Aragon
    Create a magic square with an n x n dimension, where n is an odd number. This program can be used to check the sums of any rows, columns, or main diagonals of a magic square. The program was written in the C language and allows the user to determine the ...more>>

  33. The Magma Computational Algebra System - Computational Algebra Group, University of Sydney
    A system designed by the Computational Algebra Group, headed by Dr J. J. Cannon, in the School of Mathematics and Statistics at the University of Sydney, to solve computationally hard problems in algebra, number theory, geometry and combinatorics. Magma ...more>>

  34. Magnus: A System for Exploring Infinite Groups - New York Group Theory Cooperative, CCNY
    A free, intuitive, graphically driven object-oriented package for computational group theory, exploring infinite groups. From the New York Group Theory Cooperative at CCNY, which also provides links to an archive of preprints and open problems in combinatorial ...more>>

  35. Main Index of Software Libraries - Netlib, UTK and ORNL
    Mathematical and statistical software to download. ...more>>

  36. Makin' Magic Programs, Fractals, Freeware, and Graphics - Dave Makin
    Fractal freeware and galleries of examples. The fractal program MMFrac2.4 includes solid 3D hypercomplex and quaternion fractals and realtime 3D landscapes. An older version of the page can be found at http://skyscraper.fortunecity.com/terabyte/966/. ...more>>

  37. Mancala Snails - RocketSnail Games
    A Mancala game with a twist: the pebbles are in the shape of a snail. Play online or download a version for Windows. ...more>>

  38. Mandelbrot Set Programs And Links - James Dawe
    Several Mandelbrot generator programs for Windows-based machines and for DOS, freeware or shareware. Reviews of fractal related software, some available for downloading; Mandelbrot links. ...more>>

  39. Mandelstep - Karl J. Runge
    The idea behind "mandelstep" is that by letting you select starting positions and looking at a handful of iteration "trajectories" or "orbits," you can begin to understand more about the different regions of the Mandelbrot set - not just whether a point ...more>>

  40. Mark's Maths and Excel Homepage - Mark Dabbs
    Teacher's Friend Markbook and Gradebook: two Excel spreadsheet files that are custom built to record pupil marks and then weight, average, and grade them automatically. One file does the above for a single class; a second file can import all of the information ...more>>

  41. Marschall Acoustics Instruments (MAI) - Marschall Acoustics Group
    Subroutine libraries: Numerical and Statistical Subroutines; Signal and Image Processing Libraries; and Random Number Generation, optimized for OS/2 platforms. ...more>>

  42. Math4Mobile - Michal Yerushalmy, Arik Weizman, Zohar Shavit
    Applications for use with cellular phones. Work off-line and sharable. Tools include function and equation graphing tools, a dynamic geometry tool, and curve fitter. Site includes suggestions for activities. ...more>>

  43. Math4U2 - University of Applied Science in Augsburg
    In German: 2D interactive Java function plotter with animations. Download to run on most computers. It has rich functionality for linear algebra and infinitesimal calculus. Control function parameters and animations. Lessons can be written using XML files ...more>>

  44. Mathansw: Math Software by Solveware - Solveware, Inc.
    Math tools for people at work who need the answers to problems they encounter on the job: surveyors, navigators, managers, engineers, architects, supervisors, estimators, programmers, machinists, mold makers, teachers, college students, apprentices, home ...more>>

  45. MathBits.com - Frederick and Donna Roberts
    Devoted to offering fun, yet challenging, lessons and activities in high school/college level mathematics and computer programming to students and teachers. Includes Teacher Resources for Algebra, Geometry, Algebra 2, and Statistics; Finding Your Way ...more>>

  46. Math Cove - C. Mawata; Dept. of Mathematics, Univ. of Tennessee at Chattanooga.
    Math Cove projects include: Java applets for exploring transformations (translations, reflections, and rotations) and learning about acute and obtuse angles and other concepts in triangle geometry; more than 20 lessons for studying graph theory (using ...more>>

  47. MathCracker.com
    Online solvers and graphing tools to create scatter plots, calculate mean and standard deviation, and draw pie charts on the web. MathCracker.com also provides statistics tutorials, lessons, and worked math problems, solved step by step. See, in particular, ...more>>

  48. Math Education for the 21st Century - Sarah Inkpen
    "Technology is an essential part of our future, but technology alone will not educate us. Interactive software, information retrieval systems, multimedia presentations and virtual reality enhance understanding and facilitate knowledge building if and ...more>>

  49. Mathematical and Statistical Software - Pittsburgh Supercomputing Center, Carnegie Mellon University
    BLOCKSOLVE, EISPACK, FISHPACK, IMSL, NRL-3D, ODEPACK, PARPRE, PETSC, PJAC, RANPACK, SCALAPACK. Some packages require industrial or academic users to make special arrangements for usep; information is included in the documentation for the package. Following ...more>>

  50. Mathematical constants and computation - Xavier Gourdon and Pascal Sebah
    How famous mathematical constants were computed in the past, and current ways of obtaining them: pi, e, the logarithmic constant, square root of 2, Euler's constant, and Apery's constant. Also algorithms (arbitrary precision computation; FFT based multiplication ...more>>


 
Page: [<prev]  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.