Results 71 to 80 of about 2,059 (204)

More power through symbolic computation: Extending Stata by using the Maxima computer algebra system [PDF]

, 2018
Maxima is a free and open-source computer algebra system that can perform symbolic computations such as solving equations, determining derivatives of functions, obtaining Taylor series, and manipulating algebraic expressions.
Lo Magno, Giovanni L.
core   +1 more source

D-algebraic functions [PDF]

Differentially-algebraic (D-algebraic) functions are solutions of polynomial equations in the function, its derivatives, and the independent variables. We revisit closure properties of these functions by providing constructive proofs.
Sattelberger, Anna-Laura,, Ait El Manssour, Rida,, Teguia Tabuguia, Bertrand,   +2 more
core   +1 more source

Special issue on effective methods in algebraic computation [PDF]

, 2015
The international conference MEGA (Effective Methods in Algebraic Geometry) is a biennial conference, devoted to computational aspects and applications of Algebraic Geometry.
Dickenstein, A, Mourrain, B., Dickenstein, A., Draisma, J., Draisma, J Jan, Mourrain, B   +5 more
core   +1 more source

Computer algebra and transputers applied to the finite element method [PDF]

, 1992
Recent developments in computing technology have opened new prospects for computationally intensive numerical methods such as the finite element method.
Barbier, Christine, Barbier, C
core  

Inheritance of Rewrite Rule Structures Applied to Symbolic Computation [PDF]

, 1994
This paper defines and presents a method of inheritance for structures that are defined by rewrite rules. This method is natural in the sense that it can be easily and cleanly implemented in rewrite rules themselves.
Jason F. Harris
core   +1 more source

Construction of novel plethora of soliton solutions for conformable fractional HIV-1 infection model

Boundary Value Problems
In this research study, an analytical examination of a conformable fractional mathematical equation that models CD4+ T-cell infection by HIV-1 is provided.
Yousef Jawarneh, Musawa Yahya Almusawa, Ali H. Hakami, Abdullah Ali H. Ahmadini, Ahmad Albaity, Noor Ullah Noori   +5 more
doaj   +1 more source

Methodology for Modeling Coupled Rigid Multibody Systems Using Unitary Quaternions: The Case of Planar RRR and Spatial PRRS Parallel Robots

Robotics
Quaternions are used in various applications, especially in those where it is necessary to model and represent rotational movements, both in the plane and in space, such as in the modeling of the movements of robots and mechanisms.
Francisco Cuenca Jiménez, Eusebio Jiménez López, Mario Acosta Flores, F. Peñuñuri, Ricardo Javier Peón Escalante, Juan José Delfín Vázquez   +5 more
doaj   +1 more source

On finding and using identifiable parameter combinations in nonlinear dynamic systems biology models and COMBOS: a novel web implementation.

PLoS ONE, 2014
Parameter identifiability problems can plague biomodelers when they reach the quantification stage of development, even for relatively simple models.
Nicolette Meshkat, Christine Er-zhen Kuo, Joseph DiStefano   +2 more
doaj   +1 more source

Around the numeric–symbolic computation of differential Galois groups [PDF]

, 2007
Let L∈K(z)[∂] be a linear differential operator, where K is an effective algebraically closed subfield of C. It can be shown that the differential Galois group of L is generated (as a closed algebraic group) by a finite number of monodromy matrices ...
van der Hoeven, Joris
core   +1 more source

Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence [PDF]

, 1993
. An outline for the study of invariant theoretic (as structural) and completion (as syntactical) concepts in symbolic computation and artificial intelligence is presented on a level of abstraction which permits a unifying viewpoint on problems in ...
Eugen E. Ardeleanu
core   +1 more source