 ChemInform SaintPetersburg (CISP) Ltd.
An engineering company providing services in chemical engineering and reaction hazard assessment. Methodology, software, and consultant services in experimental data processing, kinetics evaluation and processes simulation.
...more>>
 Chinook (champion checkers computer program)  Jonathan Schaeffer, Dept. of Computing Science, Univ. of Alberta
Chinook is the World ManMachine Checkers Champion, a title it earned by competing in human tournaments and defeating the best players in the world.
Chinook is the byproduct of a research effort started in 1989 into gameplaying strategies. The longterm
...more>>
 Cinderella: Interactive Geometry Software  RichterGebert, Kortenkamp
A fullfeatured interactive geometry program in German that uses Java as the programming language and includes a true symbolic theorem prover. A demo version that will run for 15 minutes at a time may be downloaded from the Web; the site also includes
...more>>
 Claudio Gambelli Engineer Programming Home Page  Claudio Gambelli
In Italian: Automation publications and Matlab tools for engineering.
...more>>
 CLICAL  Pertti Lounesto; Helsinki Institute of Technology, Finland
A calculatorlike Windows/DOS computer program for vectors, complex numbers, quaternions, bivectors, spinors, and multivectors in Clifford algebras, intended for researchers and teachers of Clifford algebras and spinors. CLICAL works directly on intrinsic
...more>>
 CLKCalculator  Lars Kobarg
Reverse Polish notation Calcualtor is a calculator program for Windows with unit conversion and matrix calculator, functions for vectors and complex numbers, and a
function plotter.
...more>>
 CODEE Learning Assets Library  Consortium for Ordinary Differential Equations Experiments (CODEE)
Electronic versions of the 19921997 CODEE newsletters, which published pedagogical articles, lesson plans, computer experiments, and software reviews related to ODEs. The Consortium for Ordinary Differential Equations Experiments (CODEE) seeks to disseminate,
...more>>
 Collatz Conjecture Calculation Center  Klaas IJntema
JavaScript tools to investigate the Collatz problem, as well as general mathematics tools and some recreational mathematics. Some programs are freely downloadable.
...more>>
 Color Mathematics  Erwin Gelber
High school math software for algebra, geometry, and vectors  includes a graphic calculator, an equation solver, and more. Uses a color system for improved memory.
...more>>
 Combinatorics and Graph Theory  Department of Mathematics, Umeå University, Sweden
Home page of the Combinatorics Group. Members and research projects, seminars, archives of downloadable software, combinatorial and graph theoretical data, and preprints.
...more>>
 Computational Geometry Code  Jeff Erickson
Links to implementations of geometric algorithms and software. Most of the software is available free of charge. Unless otherwise specified, C or C++ source code is available for all programs. Software libraries and collections and programs that can be
...more>>
 Computational Geometry Pages  Jeff Erickson
A comprehensive directory of computational geometry resources both on and off the Internet. General Resources, Literature, Research and Teaching, Events, Software, other links. Also found at http://compgeom.cs.uiuc.edu/~jeffe/compgeom/.
...more>>
 Computational Geometry Resources  School of Computer Science, Carleton Univ., Ottawa, Ontario, Canada
A comprehensive listing of computational geometry resources on the Internet, including: Indexes; Centres in North America, Europe, and Australasia; Literature; Newsgroups, FAQs, and Newsletters; Software libraries; and other miscellaneous sites.
...more>>
 Computational Geometry  Stony Brook Algorithm Repository
A summary of major problems in computational geometry, and implementations of their solutions, with links to specific algorithms: Robust Geometric Primitives; Convex Hul; Triangulation; Voronoi Diagrams; Nearest Neighbor Search; Range Search; Point Location;
...more>>
 Computational Statistics with Applications  Prof. Hossein Arsham; University of Baltimore
Presents statistical concepts and tests as they are applied and implemented on commercial software packages such as SPSS and SAS, along with some introductory data analysis routines.
...more>>
 Computer Art and Tessellations  Hans Kuiper
A site about tessellations (tiles, tessels or regular patterns), infinity pictures, optical art, Islamic art, optical illusions, auto stereograms, company logos, quilt patterns and palindromes. Figures, patterns, textures and wallpaper drawings inspired
...more>>
 Computer Generated Islamic Star Patterns  Craig S. Kaplan
Islamic star patterns are a beautiful and highly geometric art form whose original design techniques are lost in history. This site describe one procedure for constructing them based on placing radiallysymmetric motifs in a formation dictated by a tiling
...more>>
 Computer Solution Central
Shareware games for Windows machines and PDAs. Includes a free solitaire game, educational games focusing on addition and multiplication, and a date calculator.
...more>>
 Computing Fibonacci Numbers on a Turing Machine  Alex Vinokur
An algorithm that computes Fibonacci numbers on a Turing Machine. Transition table contains 100 rules. The program computes a Fibonacci number. A number 'n' is represented by n 1s. Input: number 'n'. Output: Fibonacci#n.
...more>>
 Computing Huffman Codes on a Turing Machine  Alex Vinokur
An algorithm that computes Huffman codes on a threetape Turing Machine. Transition table contains 243 rules. Input: Tape#0  weights, Tape#1  empty, Tape#2  empty. Output: Tape#0  weights and its Huffman codes, Tape#1  empty, Tape#2  empty.
...more>>
 Computing Minimal Equal Sums Of Like Powers  JeanCharles Meyrignac
A distributedcomputing project on equal sums of like powers, for "all those who are fascinated by powers and integers," and the place to look for the current status of the problem. Download and install Euler2000 to participate.
...more>>
 Condorcet.org  Blake Cretney
Theories on voting and social choice. Learn about an electoral method called "ranked pairs" and download software to tabulate other voting methods. The Election Methods Resource enumerates "single winner" and legislative approaches to running elections.
...more>>
 Consortium to Develop an Intelligent Mathematical Programming System (IMPS)  Harvey Greenberg; Dept. of Mathematics, Univ. of Colorado at Denver
Advances in computing technology have created a situation where we can solve larger problems than we can understand. This is true for most linear programs, and it is becoming increasingly true for nonlinear and integer forms. In addition, model management
...more>>
 Constrained and Unconstrained Testing Environment (CUTE)  DCI (UK)
A suite of Fortran subroutines, scripts, and test problems for linear and nonlinear optimization. Its purpose is to provide ways to explore an extensive collection of problems (over 800 different test problems to date), to compare existing packages and
...more>>
 Constraints  Davide Cucciniello
This SATbased propositional (Boolean) logic engine for the iPhone lets you add, modify, delete, enable or disable constraints; assign values (true, false) to Boolean variables; and find all possible assignments to unassigned Boolean variables as solutions
...more>>
 Constructor  Soda
Constructor animates and edits twodimensional models made out of masses and springs. The springs can be controlled by a wave to make pulsing muscles, and you can construct models that bounce, roll, walk, etc. Try some of the readymade models or build
...more>>
 Copyu  Equation and Data Plotting  October Pen Educational Software
Coypu is an equation and data plotter designed to encourage exploration of data and to develop interpretation skills. Coypu plots Cartesian, polar and parametric equations; produces scattergrams and simple line graphs from data files; allows combinations
...more>>
 Counting Hamilton Cycles in Product Graphs  Frans Faase
Exploration of Hamilton paths through a program which draws a snake that starts at one place in a box, and then extends itself until it cannot go further, after which it shrinks again, to seek another path. The author coded these snake programs in Fortran,
...more>>
 Creating NCubes  Dennis Clark
Web and PowerPoint files for learning how to make tesseracts, draw nspace cubes, and chase snakes, or certain closed paths (loops), in nspace cubes. Also, download Ncubes.exe, a Visual Basic program to draw Ncubes.
...more>>
 CrystalMaker
A Macintosh program to display and manipulate all kinds of crystal structures. Using the free companion program, CrystalDiffract, CrystalMaker files can be used to generate xray and neutron powder diffraction patterns. Main features: In "PhotoColour"
...more>>
 Crystals: Crystallography & Systems  Suzanne Alejandre
A Math Forum Web Unit. Students studying polyhedra enjoy seeing the structures as they occur in the real world. Crystalline structures can be categorized into seven crystal systems: see photographs of beautiful crystals or make paper models of crystals
...more>>
 C++ Simulator of a Post Machine  Alex Vinokur
The program simulates Deterministic and Nondeterministic Multitape Post Machine. The following demo Post machines are demonstrated with using the C++ Simulator: an addition of one to a number (Deterministic, 1 tape), an addition of two numbers (Deterministic,
...more>>
 C++ Simulator of a Universal Turing Machine  Alex Vinokur
The program simulates a Universal Turing Machine (UTM). The UTM used in
the Simulator is threetape Turing Machine: Tape#0 contains transition
table and initial instantaneous description of a Particular Turing Machine
(TM); Tape#1 and Tape#2 are
...more>>
 CULAtools: GPUAccelerated Linear Algebra Library  EM Photonics, Inc.
CULA is a GPUaccelerated implementation of the LAPACK numerical linear algebra library, containing several of the most popular LAPACK functions, using NVIDIA’s CUDA™ architecture. CULA Basic is free and available for download; academic licenses of CULA
...more>>
 Culturally Situated Design Tools: Teaching Math through Culture  Ron Eglash
Java for creating your own Mangbetu design, cornrow curves, graffiti, bead looms, SimShoBan, Yupik star navigator, Yupik parka patterns, PreColumbian pyramids, and rhythm wheels  and learning the mathematics behind them. Organized into African, African
...more>>
 Curve Fit XYZ Computer Program  William L. Meyer Jr.
Windows software in C developed to curve fit data for algorithm definition. See also Spline Curve Fit 3D for complex threedimensional surfaces.
...more>>
 Curves  Igor Gerasimov
This scientific animated screensaver draws the Archimedean spiral, cardioid, cycloid, cissoid of Diocles, folium of Descartes, deltoid, lituus, logarithmic spiral, nephroid, limacon of Pascal, semicubic parabola, strophoid, sinusoid, epicycloid, hypocycloid,
...more>>
 Curvus Pro X  Jean Bovet, Simon Bovet, Arizona Software
Curvus Pro X is a powerful and userfriendly equation graphing software designed for Mac OS X. It has been designed specifically to handle complex mathematical expressions and plot them in a few clicks. 2D and 3D functions can be entered using its intuitive
...more>>
 The Cutting Sticks Problem  Frans Faase
A classic math puzzle: You are given k sticks with integer length of which the total length of sums up to n(n+1)/2. None of the sticks is shorter than n. Can you always cut them into sticks with length 1, 2, up to n, no matter the number of the sticks
...more>>
 CyberStats  CyberGnostics, Inc.
A complete online introductory statistics course, including: a focus on data analysis and conceptual understanding rather than computation; over 600 interactive applets; real data in realworld settings; a builtin, simple, and free course management
...more>>
 Dagra: Digitize Graphical Data  Blue Leaf Software
Software to digitize data from graphs for use in numerical calculations, modeling and analysis. For Windows platforms. Free trial, and moneyback guarantee, offered.
...more>>
 Database of Existing Mechanized Reasoning Systems  Kohlhase, Talcott.
A 1999 page designed to represent the state of an ongoing effort to collect information about existing automated reasoning systems  automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools. The page
...more>>
 Data Description, Inc.
Makers of data analysis software and computerbased training packages. The data analysis software is designed for data visualization, data mining, and statistical analysis; the computerbased training packages are selfpaced, multimedia training courses
...more>>
 Data Paint  Man Machine Interface, Inc.
Statistical utility software for for MS windows 95, 98, NT4.0, 2000, that uses GUI (Graphical User Interface) language to link charts, graphs and statistical information about selected groups of data. For each graph and statistics window, there is a corresponding
...more>>
 David's Math Pages  David E. Dirkse
Freeware includes GraphicsExplorer (plotting equations, curve fitting, differentiate, integrate, use constants a,b,c changable at mouseclick, graphics adjust...), linEq (solve systems of lin. equations and watch GaussJordan elimination step by step...),
...more>>
 DC Proof  Dan Christensen
New software to teach the fundamentals of logic and proof. Enables user/student to write errorfree proofs by selecting rules of inference, axioms, etc. from convenient dropdown menus. Includes tutorial with exercises.
...more>>
 DeadLine OnLine  Ionut Alex. Chitu
Freeware that graphs equations and precisely estimates their roots. It includes the option to evaluate the function and the first two derivatives, find extrema of the function and integrate numerically. For Visual Basicenabled computers running Windows
...more>>
 Decisioneering, Inc.
Excelbased decision analysis software tools (Crystal Ball, CB Predictor) for risk analysis and business forecasting.
...more>>
 Dekov Software
Educational software, a journal of computergenerated Euclidean geometry, and a computergenerated encyclopedia of Euclidean geometry. Current software titles include: Solving Triangles (stepbystep solutions to triangle problems in elementary geometry);
...more>>
 Demography: the Java Version  Daniel Udovic, Joshua Coxwell
Java Demography 2.0.2 simulates growth in age structured populations. The program's click and drag features allow users to directly manipulate the fertility and mortality graphs and the population's current age distribution, represented as a bar chart
...more>>
 
