WolframAlpha.com
WolframCloud.com
All Sites & Public Resources...
Products & Services
Mathematica
Programming Cloud
Discovery Platform
Data Science Platform
Finance Platform
SystemModeler
WolframAlpha
WolframAlpha Pro
Personal Analytics for Facebook
Problem Generator
APIs
Business Solutions
Products for Education
Mobile Apps
WolframAlpha for Mobile
Course Assistant Apps
Reference Apps
Services
Corporate Consulting
Paid Project Support
Training
Technologies
Wolfram Language
Revolutionary knowledgebased programming language.
Wolfram Cloud
Central infrastructure for Wolfram's cloud products & services.
Wolfram Science
Technologyenabling science of the computational universe.
Computable Document Format
Computationpowered interactive documents.
Wolfram Engine
Software engine implementing the Wolfram Language.
Wolfram Natural Language Understanding System
Knowledgebased broadly deployed natural language.
Wolfram Data Framework
Semantic framework for realworld data.
Wolfram Universal Deployment System
Instant deployment across cloud, desktop, mobile, and more.
Wolfram Knowledgebase
Curated computable knowledge powering WolframAlpha.
Solutions
Engineering, R&D
Aerospace & Defense
Chemical Engineering
Control Systems
Electrical Engineering
Image Processing
Industrial Engineering
Mechanical Engineering
Operations Research
More...
Education
All Solutions for Education
Web & Software
Authoring & Publishing
Interface Development
Software Engineering
Web Development
Finance, Statistics & Business Analysis
Actuarial Sciences
Bioinformatics
Data Science
Econometrics
Financial Risk Management
Statistics
More...
Sciences
Astronomy
Biology
Chemistry
More...
Trends
Internet of Things
HighPerformance Computing
Hackathons
Support & Learning
Find an Answer
Documentation
Support FAQs
Wolfram Community
Ask for Help
Post a Question
Contact Support
Guided Learning
Videos & Screencasts
Training Events
Conferences & Seminars
Premium Support
Premier Service
Technical Services
Company
About
Company Background
Wolfram Blog
News
Events
Contact Us
Work with Us
Careers
Internships
Initiatives
Wolfram Foundation
MathWorld
ComputerBased Math
A New Kind of Science
Wolfram + Raspberry Pi
Demonstrations Project
Wolfram Innovator Awards
More...
Search
Applied Mathematics
>
Computer Science
ITEMS
108
items are in this category. Listing items
1
to
100
:
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
Calculation of singular point quantities at infinity for a type of polynomial differential systems
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
Heat and mass transfer of twolayer flows of thirdgrade nanofluids in a vertical channel
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
Next page >>
Go to page:
1
2
Display in one page:
10

20

50

100

All
records
Enable JavaScript to interact with content and submit forms on Wolfram websites.
Learn how »