Online citations, reference lists, and bibliographies.
← Back to Search

Mathematica--A System For Doing Mathematics By Computer.

Lawrence S. Kroll
Published 1989 · Mathematics

Save to my Library
Download PDF
Analyze on Scholarcy
Share



This paper is referenced by
A Bond Graph Approach for Constraint based Verification of Analog Circuits
W. Denman (2008)
10.3389/fncom.2015.00090
Pattern activation/recognition theory of mind
B. Castel (2015)
A Stochastic Model of Cache Coherency Overhead in SCIRingsA
J. Field ()
A Tutoring System for Fourier-Transforms in Electrical Engineering
H. Winkler (1994)
10.1016/j.heares.2011.11.001
Adding irrelevant information to the content prime reduces the prime-induced unmasking effect on speech recognition
M. Wu (2012)
Series Solutions for Relativistic Incompressible Perfect Fluid Cylinders
Salah Haggag (2009)
10.1006/cviu.1998.0727
Characterization of Errors in Compositing Panoramic Images
S. B. Kang (1999)
mathscape — Combining Mathematica and TEX
M. P. Barnett (2002)
INVESTIGATING A HYBRID PERTURBATION-GALERKIN TECHNIQUE USING COMPUTER ALGEBRA
J. Gee (2003)
10.1016/S0377-8401(00)00113-9
Measuring resistance to ruminal degradation and bioavailability of ruminally protected methionine
A. Bach (2000)
OCIP/C 95-11, hep-ph/9508264 THE ξ(2220) REVISITED: STRONG DECAYS OF THE 1 3 F2 and 1 3 F4 s¯s MESONS
H. G. Blundell (1996)
2001 GAMMA : A Mathematica package for performing Γ-matrix algebra and Fierz transformations in arbitrary dimensions
Ulf Gran (2008)
Stewart-Gough Platforms Using the Tetrahedron Approach
Se-Kyong Song (2005)
Mathematics and Music: Integrating the World Wide Web into Todayâ•Žs Education System
Kimberly Boehmer (2019)
10.1145/3002125.3002126
Parallel evaluation of a DSP algorithm using julia
P. Kourzanov (2016)
10.1109/GLSV.1999.757430
Design automation of MEMS systems using behavioral modeling
Dennis Gibson (1999)
10.1016/S0096-3003(02)00401-0
A finite algorithm for generalized inverses of polynomial and rational matrices
P. Stanimirović (2003)
10.1016/0550-3213(96)00435-X
High-Energy Approximation of One-Loop Feynman Integrals
M. Roth (1996)
10.1109/CDC.1995.478503
Symbolic computation for discrete event systems
Xu Xin-he (1995)
Stiffness and strength tailoring in uniform space-filling truss structures
M. Lake (1992)
10.1016/S0747-7171(10)80011-2
A Review of Mathematica
R. Fateman (1992)
ITERATIVE DECODING OF TURBO CODES AND OTHER CONCATENATED CODES
S. A. Barbulescu (1996)
Generative programming - principles and techniques of software engineering based on automated configuration and fragment-based component models
K. Czarnecki (1999)
10.1152/JAPPL.1998.84.3.1088
Role of metabolic gases in bubble formation during hypobaric exposures.
Philip P. Foster (1998)
Exact Real Arithmetic with Automatic Error Estimates in a Computer Algebra System
Patrik Andersson (2001)
10.1080/10586458.1993.10504264
Torus Knots Extremizing the Möbius Energy
D. Kim (1993)
10.1145/142868.143760
Real theorem provers deserve real user-interfaces
L. Théry (1992)
Mechanical Verification of Invariant Properties of DisCo Specifications
Pertti Kellomaki (1997)
10.1007/S11009-009-9157-Z
Quantitative Non-Geometric Convergence Bounds for Independence Samplers
G. Roberts (2011)
Anomalous dimension matrix and Wilson coefficients relevant to dipole transitions in the Minimal Supersymmetric Standard Model
S. Marchetti (2005)
B a s k e r v i l l e The Annals of the UK TEX Users ’ Group Guest Editor: Kaveh Bazargan Vol. 7 No. 1
(1999)
ON THE MODIFICATIONS OF CLASSICAL ORTHOGONALPOLYNOMIALS : THE SYMMETRIC CASE
F. Marcell (1997)
See more
Semantic Scholar Logo Some data provided by SemanticScholar