Deduction Modulo Real Algebra and Computer Algebra

2010 ◽  
pp. 233-252 ◽  
Author(s):  
André Platzer
Keyword(s):  
Computer Algebra ◽  
Real Algebra ◽  
Deduction Modulo

Generation of Correlated Logistic-Normal Random Variates for Medical Decision Trees

1998 ◽  
Vol 37 (03) ◽  
pp. 235-238 ◽  
Author(s):  
M. El-Taha ◽  
D. E. Clark
Keyword(s):  
Monte Carlo ◽  
Decision Trees ◽  
Computer Algebra ◽  
Taylor Series ◽  
Computer Algebra System ◽  
Random Variable ◽  
Monte Carlo Analysis ◽  
Normal Random Variable ◽  
Medical Decision ◽  
Theoretical Results

AbstractA Logistic-Normal random variable (Y) is obtained from a Normal random variable (X) by the relation Y = (ex)/(1 + ex). In Monte-Carlo analysis of decision trees, Logistic-Normal random variates may be used to model the branching probabilities. In some cases, the probabilities to be modeled may not be independent, and a method for generating correlated Logistic-Normal random variates would be useful. A technique for generating correlated Normal random variates has been previously described. Using Taylor Series approximations and the algebraic definitions of variance and covariance, we describe methods for estimating the means, variances, and covariances of Normal random variates which, after translation using the above formula, will result in Logistic-Normal random variates having approximately the desired means, variances, and covariances. Multiple simulations of the method using the Mathematica computer algebra system show satisfactory agreement with the theoretical results.

Computer Simulation and Computer Algebra

1989 ◽  
Author(s):  
Dietrich Stauffer ◽  
Friedrich W. Hehl ◽  
Volker Winkelmann ◽  
John G. Zabolitzky
Keyword(s):  
Computer Simulation ◽  
Computer Algebra

Computer Simulation and Computer Algebra

1988 ◽  
Author(s):  
Dietrich Stauffer ◽  
Friedrich W. Hehl ◽  
Volker Winkelmann ◽  
John G. Zabolitzky
Keyword(s):  
Computer Simulation ◽  
Computer Algebra

Speed and Data Structures in Computer Algebra Systems

1987 ◽  
Author(s):  
Richard J. Fateman ◽  
Carl G. Ponder
Keyword(s):  
Data Structures ◽  
Computer Algebra ◽  
Computer Algebra Systems

Review of Codes, Cryptology and Curves with Computer Algebra

2019 ◽  
Vol 50 (1) ◽  
pp. 14-16
Author(s):  
S.V. Nagaraj
Keyword(s):  
Computer Algebra
Sign in / Sign up

Export Citation Format

Share Document