The Mathematica Book

Authors:
Stephen Wolfram
Affiliations:
-
Venue:
The Mathematica Book
Year:
2003

Citing 0
Cited 103

Computer algebra in interface design research

Proceedings of the 9th international conference on Intelligent user interfaces
The Fisher-Rao Metric for Projective Transformations of the Line

International Journal of Computer Vision
User-configurable automatic shader simplification

ACM SIGGRAPH 2005 Papers
Half-GCD and fast rational recovery

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Languages and tools for hybrid systems design

Foundations and Trends in Electronic Design Automation
Application of the Fisher-Rao Metric to Structure Detection

Journal of Mathematical Imaging and Vision
Alternative 2D Shape Representations using the Symmetry Set

Journal of Mathematical Imaging and Vision
Algorithm 861: Fortran 90 subroutines for computing the expansion coefficients of Mathieu functions using Blanch's algorithm

ACM Transactions on Mathematical Software (TOMS)
Application of the Fisher-Rao Metric to Ellipse Detection

International Journal of Computer Vision
The Data Uncertainty Engine (DUE): A software tool for assessing and simulating uncertain environmental variables

Computers & Geosciences
Constrained iterations for blind deconvolution and convexity issues

Journal of Computational and Applied Mathematics
Parameter space structure of continuous-time recurrent neural networks

Neural Computation
Exact subthreshold integration with continuous spike times in discrete-time neural network simulations

Neural Computation
Representation of 3D and 4D objects based on an associated curved space and a general coordinate transformation invariant description

EURASIP Journal on Applied Signal Processing
Modelling and simulation of biological processes in BlenX

ACM SIGMETRICS Performance Evaluation Review
Numerical evaluation and integration of higher transcendental Lauricella and Appell functions involved in photon-atom interactions

MATH'05 Proceedings of the 8th WSEAS International Conference on Applied Mathematics
A new linear analytical SIR model for age-depentent susceptibility and occupation-depentent immune status

SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
Algorithm 877: A Subroutine Package for Cylindrical Functions of Complex Order and Nonnegative Argument

ACM Transactions on Mathematical Software (TOMS)
Symbolic derivation of order conditions for hybrid Numerov-type methods solving y˝=f(x,y)

Journal of Computational and Applied Mathematics
Computational Origami Construction as Constraint Solving and Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)
Tricoloring as a corrective measure (abstract only)

ACM Communications in Computer Algebra
Rotating Capacitor and a Transient Electric Network

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Aligator: A Mathematica Package for Invariant Generation (System Description)

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Pairing Computation on Twisted Edwards Form Elliptic Curves

Pairing '08 Proceedings of the 2nd international conference on Pairing-Based Cryptography
Valigator: A Verification Tool with Bound and Invariant Generation

LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Commercial uses: Going functional on exotic trades

Journal of Functional Programming
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems

HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
An optimization of Chebyshev's method

Journal of Complexity
Compensating the Computational Bias of Spreadsheets with MKM Techniques

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Finite Groups Representation Theory with Coq

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Computing with abstract matrix structures

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Exponential decay of errors of a fundamental solution method applied to a reduced wave problem in the exterior region of a disc

Journal of Computational and Applied Mathematics
On the relation between Context and Sequence Unification

Journal of Symbolic Computation
Solving global geometric constraints on free-form curves

2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
Computation of the scattering amplitude for a scattering wave produced by a disc - Approach by a fundamental solution method

Journal of Computational and Applied Mathematics
Cressie and Read power-divergences as influence measures for logistic regression models

Computational Statistics & Data Analysis
Efficiency of influence diagram models with continuous decision variables

Decision Support Systems
Computationally efficient matching of microRNA shapes using mutual symmetry

SIP '07 Proceedings of the Ninth IASTED International Conference on Signal and Image Processing
Intelligent diagramming in the electronic online classroom

HSI'09 Proceedings of the 2nd conference on Human System Interactions
Using bulk arrivals to model I/O request response time distributions in zoned disks and RAID systems

Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
A Large-Scale Experiment in Executing Extracted Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Extending SWRL to enhance mathematical support

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
New local collisions for the SHA-2 hash family

ICISC'07 Proceedings of the 10th international conference on Information security and cryptology
Sequence unification through currying

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Picard discretization of nonlinear systems: symbolic or numeric implementation?

EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Test case generation for ultimately periodic paths

HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Analytical availability assessment of IT services

ISAS'08 Proceedings of the 5th international conference on Service availability
Modeling origami for computational construction and beyond

ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
Iterative method for computing the Moore-Penrose inverse based on Penrose equations

Journal of Computational and Applied Mathematics
An analytical model for the probability characteristics of a crack hitting an encapsulated self-healing agent in concrete

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Stress concentration analysis of interfacial micro-structural cracks under internal singular loading sources

Journal of Computational Methods in Sciences and Engineering
Algorithm 912: A Module for Calculating Cylindrical Functions of Complex Order and Complex Argument

ACM Transactions on Mathematical Software (TOMS)
Warranty cost analyses using quasi-renewal processes for multicomponent systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Aligators for arrays

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
ABC: algebraic bound computation for loops

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning

Journal of Artificial Intelligence Research
A biparametric family of optimally convergent sixteenth-order multipoint methods with their fourth-step weighting function as a sum of a rational and a generic two-variable function

Journal of Computational and Applied Mathematics
Unsteady Solutions of Euler Equations Generated by Steady Solutions

Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
A 99 line code for discretized Michell truss optimization written in Mathematica

Structural and Multidisciplinary Optimization
Precise and fast computation of a general incomplete elliptic integral of second kind by half and double argument transformations

Journal of Computational and Applied Mathematics
A family of optimal sixteenth-order multipoint methods with a linear fraction plus a trivariate polynomial as the fourth-step weighting function

Computers & Mathematics with Applications
Symbolic definite (and indefinite) integration: methods and open issues

ACM Communications in Computer Algebra
Storage workload modelling by hidden Markov models: Application to Flash memory

Performance Evaluation
Computer simulation of fluorescence spectra for molecular ring: exciton dynamics

MACMESE'11 Proceedings of the 13th WSEAS international conference on Mathematical and computational methods in science and engineering
Spectral Condition Numbers of Orthogonal Projections and Full Rank Linear Least Squares Residuals

SIAM Journal on Matrix Analysis and Applications
Qualitative reasoning and bifurcations in dynamic systems

MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
A data-driven multi-field analysis of nanocomposites for hydrogen storage

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Three brick method of the partial fraction decomposition of some type of rational expression

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
The Theorema environment for interactive proof development

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Precise and fast computation of a general incomplete elliptic integral of third kind by half and double argument transformations

Journal of Computational and Applied Mathematics
Making change and finding repfigits: balancing a knapsack

ICMS'06 Proceedings of the Second international conference on Mathematical Software
Symbolic analysis of imperative programming languages

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Sequential probability ratio test (SPRT) for dynamic radiation level determination – preliminary assessment

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Invariant and type inference for matrices

VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Universality and cellular automata

MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Computing curves bounding trigonometric planar maps: symbolic and hybrid methods

ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Processing aggregated data: the location of clusters in health data

Geoinformatica
A search engine for mathematical formulae

AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
A symbolic approach to quantum computation simulation

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Proof documents for automated origami theorem proving

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
A symbolic analysis framework for static analysis of imperative programming languages

Journal of Systems and Software
Mathematical models to predict the critical conditions for bacterial self-healing of concrete

MMCP'11 Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science
High level reduction technique for multiway decision graphs based model checking

VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Prognostic models based on statistical flowgraphs

Applied Stochastic Models in Business and Industry
A numerical algorithm for stability testing of fractional delay systems

Automatica (Journal of IFAC)
Bifurcation analysis of a model for biological control

Mathematical and Computer Modelling: An International Journal
Regarding the accuracy of optimal eighth-order methods

Mathematical and Computer Modelling: An International Journal
Deformation of injected vesicles adhering onto flat rigid substrates

Computers & Mathematics with Applications
Symbolic loop bound computation for WCET analysis

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Magnetic net and a bouncing magnetic ball

ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part I
Numerical inversion of a general incomplete elliptic integral

Journal of Computational and Applied Mathematics
Safer "5-key" number entry user interfaces using differential formal analysis

BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers
Precise and fast computation of Lambert W-functions without transcendental function evaluations

Journal of Computational and Applied Mathematics
Optimal homotopy analysis method for nonlinear differential equations in the boundary layer

Numerical Algorithms
An efficient fourth order weighted-Newton method for systems of nonlinear equations

Numerical Algorithms
Conditional tests for homogeneity of zero-inflated Poisson and Poisson-hurdle distributions

Computational Statistics & Data Analysis
Numerical computation of inverse complete elliptic integrals of first and second kinds

Journal of Computational and Applied Mathematics
Solving linear design problems using a linear-fractional value function

Decision Support Systems
Fast computation of a general complete elliptic integral of third kind by half and double argument transformations

Journal of Computational and Applied Mathematics
Algorithm 934: Fortran 90 subroutines to compute Mathieu functions for complex values of the parameter

ACM Transactions on Mathematical Software (TOMS)
An efficient fifth order method for solving systems of nonlinear equations

Computers & Mathematics with Applications
Efficient Jarratt-like methods for solving systems of nonlinear equations

Calcolo: a quarterly on numerical analysis and theory of computation

Quantified Score

Hi-index	0.01

Visualization

Abstract

From the Publisher:Mathematica has defined the state of the art in technical computing for over a decade, and has become a standard in many of the world's leading companies and universities. From simple calculator operations to large-scale programming and the preparation of interactive documents, Mathematica is the tool of choice.