Showing 161 - 180 of 3,145

161

On the recognition problem of quasi-homogeneous locally nilpotent derivations in dimension three
Essen, A.R.P. van den ; Holtackers, D.M.
Journal of Pure and Applied Algebra, 194, 3, pp. 273-279

Group actions on affine... Computational aspects an... Algebra and Topology algorithm Algebra and Number Theor... recognition problem
Academic journal
Save to List
162

Deterministic polynomial identity testing in non-commutative models
Amir Shpilka ; Ran Raz
computational complexity. 14:1-19

polynomial identity test... Analysis of algorithms a... 4. Education non-commutative formulae 0202 electrical engineer... Computational aspects of...
Academic journal
Save to List
163

An algorithm for Adomian decomposition method
Wenhai Chen ; Zhengyi Lu
Applied Mathematics and Computation. 159:221-235

nonlinear differential e... 0209 industrial biotechn... algorithm Finite element, Rayleigh... Numerical solutions to e... nonlinear operator equat...
Academic journal
Save to List
164

Construction of regulating subgroups in almost completely decomposable groups: Construction of regulating subgroups in almost completely decomposable groups.
K. Benabdallah ; Adolf Mader
Journal of Algebra. 281:450-486

Torsion-free groups, fin... Algebra and Number Theor... Regulating subgroup Subgroups of abelian gro... Symbolic computation and... algorithms
Academic journal
Save to List
165

An Implementation for the Algorithm of Janet bases of Linear Differential Ideals in the Maple System: An implementation for the algorithm of Janet bases of linear differential ideals in the Maple system
Zhi-bin Li ; Shan-qing Zhang
Acta Mathematicae Applicatae Sinica, English Series. 20:605-616

Computational aspects an... Software, source code, e... 0101 mathematics Symbolic computation and... 01 natural sciences Geometric theory, charac...
Academic journal
Save to List
166

Efficient Groebner walk conversion for implicitization of geometric objects
Quoc-Nam Tran
Computer Aided Geometric Design. 21:837-857

Numerical aspects of com... 0202 electrical engineer... Groebner bases 0102 computer and inform... 02 engineering and techn... Symbolic computation and...
Academic journal
Save to List
167

Continuum percolation with steps in the square or the disc: Coin flipping from a cosmic source: on error correction of truly random bits
ANAGNOSTOPOULOS, ARISTIDIS ; Ioannis Kontoyiannis ; Eli Upfal
Random Structures & Algorithms. 26:392-403

FOS: Computer and inform... Finite abelian groups Statistics of extreme va... tail inference Communication, informati... 0102 computer and inform...
Academic journal
Save to List
168

Computation of the degree of rational surface parametrizations
Pérez Díaz, Sonia ; Sendra Pons, Juan Rafael ; Universidad de Alcalá. Departamento de Física y Matemáticas. Unidad docente Matemáticas
e_Buah Biblioteca Digital Universidad de Alcalá
instname

Algebra and Number Theor... Degree of a Rational Map Matemáticas Computational aspects of... Rational Parametrization Algebraic Surface
Academic journal
Save to List
169

DFT-based Word Normalization in Finite Supersolvable Groups: DFT-based word normalization in finite supersolvable groups.
Michael Clausen ; Meinard Müller
Applicable Algebra in Engineering, Communication and Computing. 15:213-231

Generators, relations, a... discrete Fourier transfo... Finite solvable groups,... Symbolic computation and... algorithms fast polynomial division...
Academic journal
Save to List
170

Computer algebra methods for implicit dynamic systems and applications
Kurt Zehetleitner ; Kurt Schlacher
Mathematics and Computers in Simulation. 67:111-123

0209 industrial biotechn... Implicit systems Observability Formal integrability Software, source code, e... 02 engineering and techn...
Academic journal
Save to List
171

Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
Yuri Matiyasevich
Mathematics and Computers in Simulation. 67:125-133

Decidability (number-the... Davis conjecture Decidability of theories... Recursively (computably)... Quantifier elimination Diophantine equations
Academic journal
Save to List
172

A Lagrangian multibody code for deriving the symbolic state-space equations of motion for open-loop systems containing flexible beams
David I. M. Forehand ; Matthew P. Cartmell ; Raya Khanin
Mathematics and Computers in Simulation. 67:85-98

0209 industrial biotechn... Dynamics of multibody sy... 0103 physical sciences 02 engineering and techn... Computational methods fo... Rods (beams, columns, sh...
Academic journal
Save to List
173

Symmetry groups, semidefinite programs, and sums of squares
Pablo A. Parrilo ; Karin Gatermann
Journal of Pure and Applied Algebra. 192:95-128

Real algebra 0209 industrial biotechn... Algebra and Number Theor... 0211 other engineering a... 68W30 13A50
Academic journal
Save to List
174

Automatic determination of envelopes and other derived curves within a graphic environment
José L. Valcarce ; Francisco Botana
Mathematics and Computers in Simulation. 67:3-13

Symbolic computing Caustics Dynamic geometry Computer graphics computational geometry (... 05 social sciences
Academic journal
Save to List
175

Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding
Forth, Shaun A. ; Tadjouddine, Mohamed ; Pryce, John D. ; et al.
ACM Transactions on Mathematical Software. 30:266-299

Numerical differentiatio... source-transformation re-ordering vertex-elimination autom... 0101 mathematics Symbolic computation and...
Academic journal
Save to List
176

Application of Gröbner bases and quantifier elimination for insightful engineering design
Sawada, H. ; Yan, X.T.
Mathematics and Computers in Simulation. 67:135-148

0301 basic medicine 03 medical and health sc... Engineering design Algebraic constraint rep... Quantifier elimination 0211 other engineering a...
Academic journal
Save to List
177

Computer algebra and investigation of invariant manifolds of mechanical systems
Valentin Irtegov ; T.N. Titorenko
Mathematics and Computers in Simulation. 67:99-109

Invariant manifolds Motion of a rigid body w... 0202 electrical engineer... Computer algebra 0102 computer and inform... 02 engineering and techn...
Academic journal
Save to List
178

Injectivity of real rational mappings: the case of a mixture of two Gaussian laws
Lazard, Daniel ; Loria, Publications
Mathematics and Computers in Simulation. 67:67-84

Parametric polynomial sy... application du calcul fo... Mixture of Gaussian laws identification de paramè... method of the moments Gröbner bases
Academic journal
Save to List
179

How Many Bits have to be Changed to Decrease the Linear Complexity?: How many bits have to be changed to decrease the linear complexity?
Meidl, W. ; TEMASEK LABORATORIES
Designs, Codes and Cryptography. 33:109-122

Linear complexity algorithm 4. Education Shift register sequences... stream ciphers 0102 computer and inform...
Academic journal
Save to List
180

The branching problem in generalized power solutions to differential equations
Alejandro S. Jakubi
Mathematics and Computers in Simulation. 67:45-54

algorithm FOS: Physical sciences Mathematical Physics (ma... Nonlinear ordinary diffe... Symbolic computation and... Numerical methods for in...
Academic journal
Save to List

Filter