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
AddOns
WolframAlpha 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 Science
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)
HighPerformance & 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
Support Articles
Learning Center
Technical Services
Training
Does My Site Have a License?
Wolfram User Portal
COMMUNITY
COMPANY
About Wolfram Research
News
Events
Wolfram Blog
Careers
Stephen Wolfram's Home Page
Contact Us
OUR SITES
All Sites
WolframAlpha
Connected Devices Project
Demonstrations Project
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
Applied Mathematics
>
Computer Science
ITEMS
106
items are in this category. Listing
all
items:
11.3: Accurate Color Renderings for Display Simulation
Affine.m—
Mathematica
package for computations in representation theory of finitedimensional and affine Lie algebras
Algorithmic derivation of DysonSchwinger equations
AnalyticaA Theorem Prover in
Mathematica
AnalyticaAn 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 nQueens Problem
Automated complexity analysis of Nuprl extracted programs
Automation of Construction of Characteristic Curves in Impulse Control Problems for the Power Amplifier–Servomotor System. I. Speed–Torque Characteristics
Automation of Construction of Characteristic Curves in Impulse Control Problems for the Power Amplifier–Servomotor System. II. Energy Characteristics
Benchmarking nonlinear optimization software in technical computing environments Global optimization in
Mathematica
with MathOptimizer Professional
Cinematica: A System for Calibrated Macintoshdriven Displays from within
Mathematica
Code and Pseudo Code
Combinatory Models and Symbolic Computation
Computability paradigms based on DNA complementarity
Computation of Green’s functions for boundary value problems with
Mathematica
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 general symbolic PDE solver generator: Beyond explicit schemes
A general symbolic PDE solver generator: Explicit schemes
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae
Genetic Programming
Genetically Seeking Sparse Rulers
Graphical and Audio Simulations Using
Mathematica
Hamiltonian Normalization in the Restricted ManyBody Problem by Computer Algebra Methods
Heedless programming: ignoring detectable error is a widespread hazard
How to teach the fundamental concepts of OOP to engineering students
Implementation and analysis of stream ciphers based on the elliptic curves
Implementation of Global Memory Models with Software That Does Symbolic Computation
The Implementation of ObjectMatha Highlevel Programming Environment for Scientific Computing
Implicit Rule Formation in Symbolic Computation
The integration of maps: how
Mathematica
is used in the modelling of geoobjects
Invariant Representations of 2D Patterns for Neural Networks
An iterative HAM approach for nonlinear boundary value problems in a semiinfinite domain
Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool
A
Mathematica
implementation of double adaptive quadrature
A
Mathematica
preprocessor for performance analysis of parallel systems
Mathematica
program:Its use to simulate metabolic irreversible pathways and inhibition of the first enzyme of a pathway by its end product as visualized with the reservoir model
The
Mathematica
Programmer: Animated Algorithms
The
Mathematica
Programmer: Combinators
The
Mathematica
Programmer: HigherOrder Functions
The
Mathematica
Programmer: Logic Programming I: The Interpreter
The
Mathematica
Programmer: Logic Programming II: Applications
The
Mathematica
Programmer: ObjectOriented Programming
The
Mathematica
Programmer: Polymorphism and Message Passing
The
Mathematica
Programmer: Relational Databases
The
Mathematica
Programmer: Turing Machines and Code Optimization
Mathematica
: A Flexible Design Environment for Neural Networks
Mathematica
: A Programming Language
MathSource Reviews: A
Mathematica
Version of Eliza
A Method of Formal Verification of Cryptographic Circuits
Modeling Finite Fields with
Mathematica
. Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields
Moments for M/G/1 Queues
Multiprocessing on the Desktop
Neural Net Work Challenges
Mathematica
Neural Network Simulations using
Mathematica
Neural Networks in
Mathematica
The NeXT Computer as Physics Machine
Numerical solutions of distributed diffusion Hopfield neural network equations
On
Mathematica
Program for "Poor Man's Integrator" Implementing RischNorman Algorithm
On the Generalized Hamming Weights of Cyclic Codes
On the Numerical Accuracy of
Mathematica
5.0 for Doing Linear and Nonlinear Regression
Optimal intravenous bolusinfusion drugdosage regimen based on twocompartment pharmacokinetic models
Parallel Programming in
Mathematica
Performance Analysis of an ATM Clos switch under symmetric "bursty geometric" process traffic
Petri Net Based Control for the Dynamic Scheduling
Planetary orbital equations in externallyperturbed systems: position and velocitydependent forces
Power Programming: Dynamic Programming
Processor Lower Bound Formulas for Array Computations and Parametric Diophantine Systems
Prototyping Neural Network Software with
Mathematica
PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors
QCMPI: A parallel environment for quantum computing
Quantum Turing Machine Simulator
The queuing network analysis tool (QNAT)
Random Series in Computer Graphics
Rearranging Expressions by Patterns
Recursive Algorithms: A Mixed Blessing
Regularization of multisoliton form factors in sineGordon model
Response to Wilson: Forget Multiple Tools; Use
Mathematica
RogersRamanujan computer searches
Service control of a queuing system with nonrenewal arrivals and phase type services
Shape Recognition in Three Dimensions
Simulation of Classical Queuing Systems with
Mathematica
Simulation of Quantum Error Correction by Means of QuantumCircuit Package
Some RuleBased Programming Examples
Static and strong typing for extended
Mathematica
Syntactic PatternMatching and Combinatory Logic
Synthesis of MathematicalModeling Software
Term rewriting and programming paradigms
Thirdorder modifications of Newton’s method based on Stolarsky and Gini means
The Tool Kit: A Notebook Subclass
Translation and Rotation Invariant 2D Representations for a Neural Network Classifier
Understanding the BackPropagated Neural Network Using
Mathematica
Graphics
Universality of Iterated Networks
Variable Stepsize in Cowell's Method
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
A versatile concept for the analysis of loops
Visualization of Mathematical Surfaces: the IZIC Server Approach
Weak Implication: Theory and Applications
Display in one page:
10

20

50

100

All
records