Applied Mathematics
>
Computer Science
ITEMS
84
items are in this category. Listing items
1
to
20
:
11.3: Accurate Color Renderings for Display Simulation
Analytica--A Theorem Prover in
Mathematica
Analytica--An Experiment in Combining Theorem Proving and Symbolic Computation
Analytica: A Theorem Prover for
Mathematica
Analyzing cellular automata
Artificial Intelligence: A Neural Network Solution to the n-Queens Problem
Automated complexity analysis of Nuprl extracted programs
Cinematica: A System for Calibrated Macintosh-driven Displays from within
Mathematica
Code and Pseudo Code
Combinatory Models and Symbolic Computation
Computability paradigms based on DNA complementarity
Computational Complementarity for Mealy Automata
Constructing Applications from Reusable Components
Distributional Alchemy
Exploring Specifications with
Mathematica
Extending Traditional School Mathematics
Finite State Machines and Syntactic Semigroups
Flow Control for Limited Buffer Multicast
Fractal image generation using iterated function systems
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae
Next page >>
Go to page:
1
2
3
4
5
Display in one page:
10
|
20
|
50
|
All
records
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter:
