PRODUCTS
Products Overview
Mathematica
Mathematica Student Edition
Mathematica Home Edition
Wolfram
CDF Player
(free download)
Computable Document Format (CDF)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
Mathematica
Add-Ons
Wolfram|Alpha Products
SOLUTIONS
Solutions Overview
Engineering
Aerospace Engineering & Defense
Chemical Engineering
Control Systems
Electrical Engineering
Image Processing
Industrial Engineering
Materials Science
Mechanical Engineering
Operations Research
Optics
Petroleum Engineering
Biotechnology & Medicine
Bioinformatics
Medical Imaging
Finance, Statistics & Business Analysis
Actuarial Sciences
Data Analysis & Mining
Econometrics
Economics
Financial Engineering & Mathematics
Financial Risk Management
Statistics
Software Engineering & Content Delivery
Authoring & Publishing
Interface Development
Software Engineering
Web Development
Science
Astronomy
Biological Sciences
Chemistry
Environmental Sciences
Geosciences
Social & Behavioral Sciences
Design, Arts & Entertainment
Game Design, Special Effects & Generative Art
Education
STEM Education Initiative
Higher Education
Community & Technical College Education
Primary & Secondary Education
Students
Technology
Computable Document Format (CDF)
High-Performance & Parallel Computing (HPC)
See Also: Technology Guide
PURCHASE
Online Store
Other Ways to Buy
Volume & Site Licensing
Contact Sales
Software
Service
Upgrades
Training
Books
Merchandise
SUPPORT
Support Overview
Mathematica
Documentation
Knowledge Base
Learning Center
Technical Services
Community & Forums
Training
Does My Site Have a License?
Wolfram User Portal
COMPANY
About Wolfram Research
News
Events
Wolfram Blog
Partnerships
Employment Opportunities
History of
Mathematica
Stephen Wolfram's Home Page
Contact Us
OUR SITES
All Sites
Wolfram|Alpha
Demonstrations Project
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
Applied Mathematics
>
Computer Science
ITEMS
168
items are in this category. Listing
all
items:
11.3: Accurate Color Renderings for Display Simulation
[in
Articles
]
The
Mathematica
Kernel: Issues in the Design and Implementation
[in
Conference Proceedings
]
The Advanced Encryption Standard
[in
MathSource: Packages and Programs
]
Affine.m—
Mathematica
package for computations in representation theory of finite-dimensional and affine Lie algebras
[in
Articles
]
The Algorithm Design Manual
[in
Books
]
Algorithmic derivation of Dyson-Schwinger equations
[in
Articles
]
Algorithms on Trees
[in
MathSource: Packages and Programs
]
Algorytmy Planowania Exsperymentu z implementacjami w ´srodowisku
Mathematica
[in
Books
]
Analytica--A Theorem Prover in
Mathematica
[in
Articles
]
Analytica--An Experiment in Combining Theorem Proving and Symbolic Computation
[in
Articles
]
Analytica: A Theorem Prover for
Mathematica
[in
Articles
]
Analyzing cellular automata
[in
Articles
]
Artificial Intelligence: A Neural Network Solution to the n-Queens Problem
[in
Articles
]
Automated complexity analysis of Nuprl extracted programs
[in
Articles
]
Back Propagated Neural Network for
Mathematica
Version 3
[in
MathSource: Packages and Programs
]
Cinematica: A System for Calibrated Macintosh-driven Displays from within
Mathematica
[in
Articles
]
Code and Pseudo Code
[in
Articles
]
Combinatorial Ornithology
[in
MathSource: Packages and Programs
]
Combinatory Models and Symbolic Computation
[in
Articles
]
Computability paradigms based on DNA complementarity
[in
Articles
]
Computation of Green’s functions for boundary value problems with
Mathematica
[in
Articles
]
Computational Complementarity for Mealy Automata
[in
Articles
]
Computer Algebra and Symbolic Computation: Elementary Algorithms
[in
Books
]
Computer Algebra and Symbolic Computation: Mathematical Methods
[in
Books
]
Computer Science with
Mathematica
: Theory and Practice for Science, Mathematics, and Engineering
[in
Books
]
Computing representative learning set via
Mathematica
[in
MathSource: Packages and Programs
]
Constructing Applications from Reusable Components
[in
Articles
]
Context-Free Grammars
[in
MathSource: Packages and Programs
]
Context-Free Languages: Chomsky Normal Form
[in
MathSource: Packages and Programs
]
Curves and Surfaces for Computer Graphics
[in
Books
]
A Demonstration of Genetic Programming
[in
MathSource: Packages and Programs
]
Dependability analysis with reliability block diagrams
[in
MathSource: Packages and Programs
]
Dependability modelling and analysis with continuous time Markov chains
[in
MathSource: Packages and Programs
]
Digital Image Processing
[in
Courseware and Class Materials
]
Discrete and Continuous Mathematics
[in
Courseware and Class Materials
]
Distributional Alchemy
[in
Articles
]
Eliza
[in
MathSource: Packages and Programs
]
Elliptic Curve Diffie-Hellman key agreement scheme
[in
MathSource: Packages and Programs
]
Exploring Neural Networks with
Mathematica
-- First Series
[in
MathSource: Packages and Programs
]
Exploring Specifications with
Mathematica
[in
Articles
]
Extending Traditional School Mathematics
[in
Articles
]
Finite State Machines and Syntactic Semigroups
[in
Articles
]
Flow Control for Limited Buffer Multicast
[in
Articles
]
Fractal image generation using iterated function systems
[in
Articles
]
Fully Symbolic Design of Glucose Control with CSP2 of
Mathematica
[in
MathSource: Packages and Programs
]
A General Pattern Matcher
[in
MathSource: Packages and Programs
]
A general symbolic PDE solver generator: Beyond explicit schemes
[in
Articles
]
A general symbolic PDE solver generator: Explicit schemes
[in
Articles
]
Generalized Hanoi Tower
[in
MathSource: Packages and Programs
]
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae
[in
Articles
]
Genetic Programming
[in
Articles
]
Genetically Seeking Sparse Rulers
[in
Articles
]
Grammatica
[in
MathSource: Packages and Programs
]
Graphical and Audio Simulations Using
Mathematica
[in
Articles
]
GUIKit
[in
Conference Proceedings
]
Hamiltonian Normalization in the Restricted ManyBody Problem by Computer Algebra Methods
[in
Articles
]
Heedless programming: ignoring detectable error is a widespread hazard
[in
Articles
]
Heuristic Search Techniques
[in
MathSource: Packages and Programs
]
How to teach the fundamental concepts of OOP to engineering students
[in
Articles
]
Implementation and analysis of stream ciphers based on the elliptic curves
[in
Articles
]
Implementation of Global Memory Models with Software That Does Symbolic Computation
[in
Articles
]
The Implementation of ObjectMath--a High-level Programming Environment for Scientific Computing
[in
Articles
]
Implicit Rule Formation in Symbolic Computation
[in
Articles
]
Informatik für Mathematiker und Naturwissenschaftler: Eine Einführung mit
Mathematica
[in
Books
]
Inheritance Classes for Object-Oriented Programming in
Mathematica
[in
MathSource: Packages and Programs
]
The integration of maps: how
Mathematica
is used in the modelling of geo-objects
[in
Articles
]
Interactive Debugging of Automatically Generated Numerical Code
[in
Conference Proceedings
]
Invariant Representations of 2D Patterns for Neural Networks
[in
Articles
]
Les Machines De Turing - Introduction À La Caractérisation De La Complexité D'un Problème
[in
Books
]
Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool
[in
Articles
]
Mathematica
and the History of Scientific Computing
[in
Conference Proceedings
]
Mathematica
for Scientists and Engineers
[in
Books
]
A
Mathematica
implementation of double adaptive quadrature
[in
Articles
]
A
Mathematica
pre-processor for performance analysis of parallel systems
[in
Articles
]
The
Mathematica
Programmer: Animated Algorithms
[in
Articles
]
The
Mathematica
Programmer: Combinators
[in
Articles
]
The
Mathematica
Programmer: Higher-Order Functions
[in
Articles
]
The
Mathematica
Programmer: Logic Programming I: The Interpreter
[in
Articles
]
The
Mathematica
Programmer: Logic Programming II: Applications
[in
Articles
]
The
Mathematica
Programmer: Object-Oriented Programming
[in
Articles
]
The
Mathematica
Programmer: Polymorphism and Message Passing
[in
Articles
]
The
Mathematica
Programmer: Relational Databases
[in
Articles
]
The
Mathematica
Programmer: Turing Machines and Code Optimization
[in
Articles
]
Mathematica
: A Flexible Design Environment for Neural Networks
[in
Articles
]
Mathematica
: A Programming Language
[in
Articles
]
Mathematica
: Fundamentos y aplicaciones de la Informática en Matemáticas
[in
Books
]
Mathematical Principles for Scientific Computing and Visualization
[in
Books
]
MathGridLink — Connecting
Mathematica
to "the Grid"
[in
Conference Proceedings
]
MathSource Reviews: A
Mathematica
Version of Eliza
[in
Articles
]
A Method of Formal Verification of Cryptographic Circuits
[in
Articles
]
Modeling Finite Fields with
Mathematica
. Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields
[in
Articles
]
Modular programming: Maple vs
Mathematica
, and vice versa
[in
Books
]
Moments for M/G/1 Queues
[in
Articles
]
Multiprocessing on the Desktop
[in
Articles
]
Nearest Neighbours Using kd-Trees
[in
MathSource: Packages and Programs
]
Neural Net Work Challenges
Mathematica
[in
Articles
]
Neural Network Simulations using
Mathematica
[in
Articles
]
Neural Networks in
Mathematica
[in
Articles
]
Neural Networks
[in
Conference Proceedings
]
The NeXT Computer as Physics Machine
[in
Articles
]
Nonlinear Systems of Equations in Geodesy
[in
MathSource: Packages and Programs
]
Numerical Calculations for Robotics in
Mathematica
[in
Conference Proceedings
]
Numerical solutions of distributed diffusion Hopfield neural network equations
[in
Articles
]
Object-Oriented Programming
[in
Conference Proceedings
]
On
Mathematica
Program for "Poor Man's Integrator" Implementing Risch-Norman Algorithm
[in
Articles
]
On the Generalized Hamming Weights of Cyclic Codes
[in
Articles
]
On the Numerical Accuracy of
Mathematica
5.0 for Doing Linear and Nonlinear Regression
[in
Articles
]
Optimal intravenous bolus-infusion drug-dosage regimen based on two-compartment pharmacokinetic models
[in
Articles
]
An Overview of Computation at the Symbolic-Numeric Boundary
[in
Conference Proceedings
]
Pandigital Expressions
[in
MathSource: Packages and Programs
]
Parallel Computations on Multicore Machines, Applications to Geosciences
[in
MathSource: Packages and Programs
]
Parallel Processing
[in
Conference Proceedings
]
Parallel Programming in
Mathematica
[in
Articles
]
Performance Analysis of an ATM Clos switch under symmetric "bursty geometric" process traffic
[in
Articles
]
Petri Net Based Control for the Dynamic Scheduling
[in
Articles
]
Planetary orbital equations in externally-perturbed systems: position and velocity-dependent forces
[in
Articles
]
Power Programming: Dynamic Programming
[in
Articles
]
The Problem of the Knight: A Fast and Simple Algorithm
[in
MathSource: Packages and Programs
]
Processor Lower Bound Formulas for Array Computations and Parametric Diophantine Systems
[in
Articles
]
Product Construction: Building
Mathematica
[in
Conference Proceedings
]
Programming in packages Maple and
Mathematica
: Comparative Analysis
[in
Books
]
Programming Paradigms via
Mathematica
(A First Course)
[in
MathSource: Packages and Programs
]
Project-and-Lift algorithm for Toric Gröbner Bases
[in
MathSource: Packages and Programs
]
Prototyping Neural Network Software with
Mathematica
[in
Articles
]
PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors
[in
Articles
]
QCMPI: A parallel environment for quantum computing
[in
Articles
]
Quantum
Mathematica
[in
MathSource: Packages and Programs
]
Quantum Turing Machine Simulator
[in
Articles
]
The queuing network analysis tool (QNAT)
[in
Articles
]
Random Number Tests, a complete implementation of NIST 800-22
[in
MathSource: Packages and Programs
]
Random Series in Computer Graphics
[in
Articles
]
Rearranging Expressions by Patterns
[in
Articles
]
Recognition and Parsing of Context-free Grammars
[in
MathSource: Packages and Programs
]
Recursive Algorithms: A Mixed Blessing
[in
Articles
]
Regularization of multi-soliton form factors in sine-Gordon model
[in
Articles
]
Response to Wilson: Forget Multiple Tools; Use
Mathematica
[in
Articles
]
Rewriting Systems
[in
MathSource: Packages and Programs
]
RMC Packages
[in
MathSource: Packages and Programs
]
Rogers-Ramanujan computer searches
[in
Articles
]
RSA Public-Key Encryption
[in
MathSource: Packages and Programs
]
Rule-Based Programming
[in
Conference Proceedings
]
A Selection of Problems on Circles
[in
MathSource: Packages and Programs
]
Service control of a queuing system with nonrenewal arrivals and phase type services
[in
Articles
]
Shape Recognition in Three Dimensions
[in
Articles
]
Simulating Neural Networks with
Mathematica
[in
Books
]
Simulation of Classical Queuing Systems with
Mathematica
[in
Articles
]
Solving Sudoku Using Combinatorica`Backtrack
[in
MathSource: Packages and Programs
]
Some Rule-Based Programming Examples
[in
Articles
]
Static and strong typing for extended
Mathematica
[in
Articles
]
Support Vector Regression via
Mathematica
[in
MathSource: Packages and Programs
]
Symbolic Computation and Education
[in
Books
]
Symbolic Linear Feedback Shift Registers
[in
MathSource: Packages and Programs
]
Syntactic Pattern-Matching and Combinatory Logic
[in
Articles
]
Synthesis of Mathematical-Modeling Software
[in
Articles
]
Term rewriting and programming paradigms
[in
Articles
]
The Tool Kit: A Notebook Subclass
[in
Articles
]
Topics in Advanced Scientific Computation
[in
Books
]
Translation and Rotation Invariant 2D Representations for a Neural Network Classifier
[in
Articles
]
Understanding the Back-Propagated Neural Network Using
Mathematica
Graphics
[in
Articles
]
Universality of Iterated Networks
[in
Articles
]
Variable Stepsize in Cowell's Method
[in
Articles
]
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
[in
Articles
]
A versatile concept for the analysis of loops
[in
Articles
]
Visualization of Mathematical Surfaces: the IZIC Server Approach
[in
Articles
]
Visualization of Tree Structures: Examples from Genetic Programming and a Model of Tree Growth
[in
MathSource: Packages and Programs
]
Weak Implication: Theory and Applications
[in
Articles
]
The Zebra Puzzle
[in
MathSource: Packages and Programs
]
Zeta Functions of Graphs, A Stroll through the Garden
[in
Books
]
Display in one page:
10
|
20
|
50
|
100
|
All
records