Showing 201 - 220 of 3,145

201

SYMBOLIC COMPUTATION AND POSSIBLY OBSERVABLE EFFECTS FOR THE SOLITON-LIKE LIQUID WAVE PROPAGATION IN THE PRESENCE OF SURFACE TENSION: Symbolic computation and possibly observable effects for the soliton-like liquid wave propagation in the presence of surface tension
Bo Tian ; Yi-Tian Gao
International Journal of Modern Physics C. 15:545-551

Wu method Soliton equations Other numerical methods... computerized symbolic co... Liquid surface in the pr... generalized hyperbolic-f...
Academic journal
Save to List
202

Generalized Riccati equation expansion method and its application to the (3+1)-dimensional Jumbo–Miwa equation: Generalized Riccati equation expansion method and its application to the (3 + 1)-dimensional Jumbo-Miwa equation
Hongqing Zhang ; Biao Li ; Yong Chen ; et al.
Applied Mathematics and Computation. 152:581-595

Soliton equations nonlinear evolution equa... hyperbolic-function meth... Symbolic computation and... tanh methods Soliton-like solutions
Academic journal
Save to List
203

Positive polynomials and the moment problem for cylinders with compact cross-section: Positive polynomials and the moment problem for cylinders with compact cross-section.
Victoria Powers
Journal of Pure and Applied Algebra. 188:217-226

Algebra and Number Theor... Moment problems Schweighofer algorithm cross sections Schmüdgen's Positivstell... moment problem
Academic journal
Save to List
204

Optimal accumulation of Jacobian matrices by elimination methods on the dual computational graph
Uwe Naumann
Mathematical Programming. 99:399-421

Graphs and linear algebr... Elimination techniques Automatic differentiatio... Other matrix algorithms 0211 other engineering a... Jacobian matrices
Academic journal
Save to List
205

Computer Algebra Systems and Symbolic Computations: Computer algebra systems and symbolic computations
V. I. Mysovskikh
Journal of Mathematical Sciences. 120:1613-1617

0103 physical sciences Gröbner bases other bases for ideals a... Symbolic computation and... 01 natural sciences
Academic journal
Save to List
206

System theoretic based characterisation and computation of the least common multiple of a set of polynomials: System theoretic based characterisation and computation of the least common multiple of a set of polynomials.
Karcanias, N. ; Mitrouli, M.
Linear Algebra and its Applications. 381:1-23

Controllability Least common multiple Numerical Analysis algorithm Algebra and Number Theor... Algebraic computations
Academic journal
Save to List
207

A fast algorithm for evaluating nth order tri-diagonal determinants: A fast algorithm for evaluating \(n\)th order tri-diagonal determinants.
Moawwad El-Mikkawy
Journal of Computational and Applied Mathematics. 166:581-584

numerical examples 0209 industrial biotechn... tri-diagonal matrices algorithm Tri-diagonal matrices Applied Mathematics
Academic journal
Save to List
208

FastDer++, efficient automatic differentiation for non-linear PDE solvers
Engelbert Tijskens ; Dirk Roose ; Herman Ramon ; et al.
Mathematics and Computers in Simulation. 65:177-190

Numerical differentiatio... Mathematical modelling Non-linear systems Nonlinear first-order PD... Automatic differentiatio... 0101 mathematics
Academic journal
Save to List
209

Exact and numerical traveling wave solutions for nonlinear coupled equations using symbolic computation
Ibrahim E. Inan ; Dogan Kaya
Applied Mathematics and Computation. 151:775-787

coupled KdV equation numerical examples convergence Symbolic computation and... 01 natural sciences symbolic computation
Academic journal
Save to List
210

Application of computer algebra matrix operation techniques to the control of metabolic networks
Bayram, M
Applied Mathematics and Computation. 152:289-297

0301 basic medicine Numerical optimization a... metabolic control theory 0303 health sciences metabolic and flux contr... MAPLE
Academic journal
Save to List
211

Counting Integer Flows in Networks: Counting integer flows in networks
De Loera, J ; Vergne, M ; BALDONI, MARIA ; et al.
Foundations of Computational Mathematics. 4:277-314

Integral flows integral flows flow polytopes lattice points rational function manipu... hyperplane arrangements
Academic journal
Save to List
212

Structural identifiability analysis of some highly structured families of statespace models using differential algebra
G. MARGARIA ; RICCOMAGNO, EVA ; L. J. WHITE
Journal of Mathematical Biology. 49:433-454

Medical epidemiology 0301 basic medicine 0303 health sciences Epidemiology Models, Immunological Mastitis
Academic journal
Save to List
213

Search for Polynomial Solutions of Linear Functional Systems by Means of Induced Recurrences: Search for polynomial solutions of linear functional systems by means of induced recurrences
D. E. Khmelnov
Programming and Computer Software. 30:61-67

0202 electrical engineer... 02 engineering and techn... 0101 mathematics Symbolic computation and... 01 natural sciences
Academic journal
Save to List
214

A Comparison of Algorithms for the Normalization and Quantization of Polynomial Hamiltonians: A comparison of algorithms for the normalization and quantization of polynomial Hamiltonians
Uwano, Y. ; Gusev, A. A. ; Chekanov, N. A. ; et al.
Programming and Computer Software. 30:75-82

MAPLE 4. Education MATHEMATICA Birkhoff-Gustavson 02 engineering and techn... algebra
Academic journal
Save to List
215

Involutive Divisions. Graphs: Involutive divisions. Graphs
Ekaterina Shemyakova
Programming and Computer Software. 30:68-74

0103 physical sciences Gröbner bases other bases for ideals a... 0101 mathematics Symbolic computation and... 01 natural sciences
Academic journal
Save to List
216

On the inverse of a general tridiagonal matrix: On the inverse of a general tridiagonal matrix.
Moawwad El-Mikkawy
Applied Mathematics and Computation. 150:669-679

MATLAB numerical examples 0209 industrial biotechn... MAPLE MATHEMATICA determinants
Academic journal
Save to List
217

Subresultants and locally nilpotent derivations: Subresultants and locally nilpotent derivations.
M'hammed El Kahoui
Linear Algebra and its Applications. 380:253-261

Numerical Analysis Algebra and Number Theor... Bézout identity locally nilpotent deriva... Locally nilpotent deriva... 0102 computer and inform...
Academic journal
Save to List
218

An Application of Control-Theoretic Methods to Digital Arithmetic Algorithms: An application of control-theoretic methods to digital arithmetic algorithms
E. ROCHA ; SARYCHEV, ANDREY ; A. PEREIRA ; et al.
Journal of Mathematical Sciences. 120:995-1005

Stabilization of systems... 0101 mathematics Symbolic computation and... Mathematical problems of... 01 natural sciences digital arithmetics, red...
Academic journal
Save to List
219

Sparse Power Series and Parameterized Linear Operators: Sparse power series and parameterized linear operators
A. A. Ryabenko ; Sergei A. Abramov
Programming and Computer Software. 30:83-87

0102 computer and inform... 0101 mathematics Symbolic computation and... 01 natural sciences
Academic journal
Save to List
220

COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES: Computer proofs of matrix product identities.
Peter J. Larcombe ; Burkhard Zimmermann ; Axel Riese
Journal of Algebra and Its Applications. :105-109

recurrence relations Symbolic computation of... Matrix equations and ide... 0102 computer and inform... definite integration computer proof
Academic journal
Save to List

Filter