An interactive, incremental and portable computer algebra system for λ-calculus and combinatory logic based on video edition and rewriting techniques

2006 ◽  
pp. 474-474
Author(s):  
Nelly Girard
Keyword(s):  
Computer Algebra ◽  
Computer Algebra System ◽  
Combinatory Logic ◽  
Portable Computer

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.

The Maple computer algebra system: A review

1995 ◽  
Vol 10 (3) ◽  
pp. 329-337 ◽  
Author(s):  
John Hutton ◽  
James Hutton
Keyword(s):  
Computer Algebra ◽  
Computer Algebra System ◽  
System A

scholarly journals OPTIMALISASI MOTIVASI DAN PRESTASI BELAJAR MENGGUNAKAN MOODLE BERBANTUAN COMPUTER ALGEBRA SYSTEM (CAS)

2020 ◽  
Vol 9 (1) ◽  
pp. 53
Author(s):  
Kamhar Ngado ◽  
Rosnawati Rosnawati ◽  
Heri Retnawati ◽  
Sri Andayani
Keyword(s):  
Computer Algebra ◽  
Computer Algebra System

scholarly journals Generation of equations for shell models of turbulence in the Maple system

2021 ◽  
Vol 254 ◽  
pp. 02006
Author(s):  
Liubov Feshchenko ◽  
Gleb Vodinchar
Keyword(s):  
Computer Algebra ◽  
Power Law ◽  
Computer Algebra System ◽  
Nonlinear Interactions ◽  
Systems Of Equations ◽  
Shell Models ◽  
Quadratic Invariants ◽  
Automated Compilation ◽  
Shell Models Of Turbulence

The paper describes a technology for the automated compilation of equations for shell models of turbulence in the computer algebra system Maple. A general form of equations for the coefficients of nonlinear interactions is given, which will ensure that the required combination of quadratic invariants and power-law solutions is fulfilled in the model. Described the codes for the Maple system allowing to generate and solve systems of equations for the coefficients. The proposed technology allows you to quickly and accurately generate classes of shell models with the desired properties.

scholarly journals Using Algebraic Computing To Teach General Relativity And Cosmology

2012 ◽  
Vol 56 (1) ◽  
pp. 139-144
Author(s):  
Dumitru N. Vulcanov ◽  
Remus-Ştefan Ş. Boată
Keyword(s):  
General Relativity ◽  
Exact Solutions ◽  
Undergraduate Students ◽  
Computer Algebra ◽  
Computer Algebra System ◽  
Einstein Equations ◽  
Algebraic Programming ◽  
Algebraic Computing

AbstractThe article presents some new aspects and experience on the use of computer in teaching general relativity and cosmology for undergraduate students (and not only) with some experience in computer manipulation. Some years ago certain results were reported [1] using old fashioned computer algebra platforms but the growing popularity of graphical platforms as Maple and Mathematica forced us to adapt and reconsider our methods and programs. We will describe some simple algebraic programming procedures (in Maple with GrTensorII package) for obtaining and the study of some exact solutions of the Einstein equations in order to convince a dedicated student in general relativity about the utility of a computer algebra system.

scholarly journals Building reaction kinetic models for amiloid fibril growth

BIOMATH ◽  
2016 ◽  
Vol 5 (1) ◽  
pp. 1607311 ◽  
Author(s):  
Svetoslav Marinov Markov
Keyword(s):  
Computer Algebra ◽  
Computer Algebra System ◽  
Reaction Kinetic ◽  
Growth Models ◽  
Reaction Network ◽  
Network Models ◽  
Point Of View ◽  
Logistic Growth ◽  
Sigmoidal Functions ◽  
Methodological Aspects

In this work we  discuss some methodological aspects of the creation and formulation of mathematical  models describing the growth of species from the point of view of reaction kinetics. Our discussion is based on familiar examples of growth models such as logistic growth and enzyme kinetics. We   propose several reaction network  models  for  the amiloid fibrillation processes in the citoplasm. The solutions of the models are sigmoidal functions graphically visualized using  the computer algebra system   Mathematica.

Sign in / Sign up

Export Citation Format

Share Document