Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

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


	Applied Mathematics > Computer Science
	ITEMS

	124 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 finite-dimensional and affine Lie algebras Algorithmic derivation of Dyson-Schwinger equations 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 Application of Computer Algebra for the Reconstruction of Surfaces from Their Photometric Stereo Images Application of the HAM-based Mathematica package BVPh 2.0 on MHD Falkner�Skan flow of nano-fluid Artificial Intelligence: A Neural Network Solution to the n-Queens 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 Macintosh-driven 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 Cyclic coordinate descent in a class of bang�singular�bang problems Designing an Earley parser using standard string functions Distributional Alchemy Exploring Specifications with Mathematica Exploring the Spectra of Some Classes of Singular Integral Operators with Symbolic Computation 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 Graph Theory Applications in Network Security Graphical and Audio Simulations Using Mathematica Hamiltonian Normalization in the Restricted ManyBody Problem by Computer Algebra Methods Heat and mass transfer of two-layer flows of third-grade nano-fluids 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 ObjectMath--a High-level Programming Environment for Scientific Computing Implicit Rule Formation in Symbolic Computation Innovative straight formulation for plate in bending The integration of maps: how Mathematica is used in the modelling of geo-objects Invariant Representations of 2D Patterns for Neural Networks Investing in lead-time variability reduction in a collaborative vendor�buyer supply chain model with stochastic lead time Isoptic surfaces of polyhedra An iterative HAM approach for nonlinear boundary value problems in a semi-infinite 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 pre-processor 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: Higher-Order Functions The Mathematica Programmer: Logic Programming I: The Interpreter The Mathematica Programmer: Logic Programming II: Applications The Mathematica Programmer: Object-Oriented 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 A new definition for defuzzification of generalized fuzzy numbers and its application The NeXT Computer as Physics Machine Numerical solutions of distributed diffusion Hopfield neural network equations On a fourth-order matrix method for computing polar decomposition On Mathematica Program for "Poor Man's Integrator" Implementing Risch-Norman 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 bolus-infusion drug-dosage regimen based on two-compartment 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 externally-perturbed systems: position and velocity-dependent forces Portraying the Effect of Calcium-Binding Proteins on Cytosolic Calcium Concentration Distribution Fractionally in Nerve Cells 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 multi-soliton form factors in sine-Gordon model Response to Wilson: Forget Multiple Tools; Use Mathematica Rogers-Ramanujan computer searches Service control of a queuing system with nonrenewal arrivals and phase type services Shape Recognition in Three Dimensions Simulation of a Quantum Algorithm for Phase Estimation Simulation of Classical Queuing Systems with Mathematica Simulation of Quantum Error Correction by Means of QuantumCircuit Package Some Rule-Based Programming Examples Static and strong typing for extended Mathematica Symbolic Computation Applied to the Study of the Kernel of a Singular Integral OperatorwithNon-Carleman Shift and Conjugation Syntactic Pattern-Matching and Combinatory Logic Synthesis of Mathematical-Modeling Software Term rewriting and programming paradigms Third-order 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 Two interacting ellipsoidal inhomogeneities: Applications in geoscience Understanding the Back-Propagated Neural Network Using Mathematica Graphics Universality of Iterated Networks Using differential transform method and Pad�e approximation for solving MHD three-dimensional Casson fluid flow past a porous linearly stretching sheet 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