Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,774,624 papers from all fields of science
Search
Sign In
Create Free Account
Analytica
Analytica is a visual software package developed by Lumina Decision Systems for creating, analyzing and communicating quantitative decision models…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
24 relations
Array programming
Array slicing
Cholesky decomposition
Comparison of numerical analysis software
Expand
Broader (3)
Mathematical optimization
Mathematical software
Operations research
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Vibration of nonlocal Kelvin-Voigt viscoelastic damped Timoshenko beams
Y. Lei
,
S. Adhikari
,
M. Friswell
2013
Corpus ID: 55698130
2013
2013
Pitch-angle scattering in magnetostatic turbulence. I. Test-particle simulations and the validity of analytical results
R. Tautz
,
A. Dosch
,
F. Effenberger
,
H. Fichtner
,
A. Kopp
2013
Corpus ID: 92994129
Context. Spacecraft observations have motivated the need for a refined description of the phase-space distribution function. Of…
Expand
Review
2009
Review
2009
Producer Dynamics: New Evidence from Micro Data: Measuring and Analyzing Cross-country Differences in Firm Dynamics
Eric Bartlesman
,
J. Haltiwanger
,
S. Scarpetta
2009
Corpus ID: 33948529
The process of creative destruction is being documented for a growing number of countries as the required firm-level data are…
Expand
2007
2007
Information integration for complex systems
Alyson G. Wilson
,
Laura A. McNamara
,
G. D. Wilson
Reliab. Eng. Syst. Saf.
2007
Corpus ID: 18552370
Highly Cited
2004
Highly Cited
2004
A Skeptic's Approach to Combining HOL and Maple
J. Harrison
,
Laurent Théry
Journal of Automated Reasoning
2004
Corpus ID: 18687044
We contrast theorem provers and computer algebra systems, pointing out the advantages and disadvantages of each, and suggest a…
Expand
Review
2003
Review
2003
Advantages and disadvantages of nuclear magnetic resonance spectroscopy as a hyphenated technique
M. Elipe
2003
Corpus ID: 32337924
1999
1999
A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory
C. Ballarin
,
Lawrence Charles Paulson
Fundam. Informaticae
1999
Corpus ID: 16281951
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case…
Expand
1999
1999
Initial–final-state interference in the Z line-shape
S. Jadach
,
B. Pietrzyk
,
E. Tournefier
,
B. Ward
,
Z. Was
1999
Corpus ID: 16672090
Review
1990
Review
1990
Uncertainty: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis
M. G. Morgan
,
M. Henrion
1990
Corpus ID: 57858998
Preface 1. Introduction 2. Recent milestones 3. An overview of quantitative policy analysis 4. The nature and sources of…
Expand
Highly Cited
1969
Highly Cited
1969
Introduction 1-2
D. Blevins
1969
Corpus ID: 196019627
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE