Results 61 to 70 of about 2,672 (199)

Towards Diagrammatic Specifications of Symbolic Computation Systems [PDF]

, 2006
The aim of this work is to present an ongoing project to formalize, in the framework of diagrammatic logic (due to Dominique Duval and Christian Lair) some data structures appearing in Sergeraert's symbolic computation systems Kenzo and EAT.
Dominguez, César, Duval, Dominique, Rubio Garcia, Julio, Lamban, Laureano   +3 more
core   +1 more source

Innovative approache for the nonlinear atangana conformable Klein-Gordon equation unveiling traveling wave patterns

Partial Differential Equations in Applied Mathematics
The aim of current work is to establish novel traveling wave solutions of the nonlinear Atangana conformable Klein - Gordon equation using a new extended direct algebraic technique. The Klein - Gordon equation is the relativistic state of the Schrödinger
Hadi Rezazadeh, Mohammad Ali Hosseinzadeh, Lahib Ibrahim Zaidan, Fatima SD. Awad, Fiza Batool, Soheil Salahshour   +5 more
doaj   +1 more source

An order-sorted approach to algebraic computation

, 2022
S.134 ...
Hearn, A.C., Schrüfer, E.
core   +1 more source

Symbolic computation of the roots of nonlinear algebraic equations using perturbation theory

, 2012
9th International Conference on Electronics Computer and Computation (ICECCO 2012) -- NOV 01-03, 2012 -- Ankara, TURKEYTwo algorithms, one for estimating the magnitudes of the roots of a polynomial equation before actually solving it, and one for ...
Ustali, Gurhan, Pakdemirli, Mehmet, Goktas, Unal   +2 more
core   +1 more source

Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation [PDF]

Algebraic curve interpolation is described by specifying the location of N points in the plane and constructing an algebraic curve of a function f that should pass through them.
Yang, Zhengfeng, Xu, Yaochen, Zeng, Zhenbing, Peng, Chao, Dehbi, Lydia   +4 more
core   +1 more source

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases [PDF]

, 2010
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras.
Regensburger, Georg, Erich L. Kaltofen, Buchberger, Bruno, Rosenkranz, Markus, Tec, Loredana   +4 more
core   +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

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

Modelling Algebraic Structures in a Symbolic Computation Environment

, 2007
Algebraic structures are a concept from mathematics to bring sets and their operations together. This process is well-known in computer science, too, say in the specification of abstract datatypes [4] or in module systems of some programming languages ...
Stephan Missura
core