Treffer 81 - 100 von 3.147

81

Involutive divisions for effective involutive algorithms
Ekaterina Shemyakova
Journal of Mathematical Sciences. 135:3425-3436

Computational aspects an... involutive divisions involutive algorithms 0103 physical sciences 0202 electrical engineer... Gröbner bases
Fachzeitschrift
Zu den Favoriten
82

Pair analysis of involutive divisions
A. S. Semenov
Journal of Mathematical Sciences. 135:3400-3408

Computational aspects an... involutive divisions parity Gröbner bases other bases for ideals a... 0101 mathematics
Fachzeitschrift
Zu den Favoriten
83

On some properties of min-wise independent families and groups of permutations: Some properties of min-wise independent families and groups of permutations.
V. Bargachev
Journal of Mathematical Sciences. 134:2340-2345

Computing methodologies... Permutations, words, mat... min-wise independent fam... General theory for finit... Combinatorics in compute... 0102 computer and inform...
Fachzeitschrift
Zu den Favoriten
84

Computer algebra systems as mathematical optimizing compilers
Aldo Dall'Osso
Science of Computer Programming. 59:250-273

Problem-solving environm... Code synthesis 0103 physical sciences Scientific software deve... Theory of compilers and... 0101 mathematics
Fachzeitschrift
Zu den Favoriten
85

On numerical Jacobi elliptic function solutions of the (1+1)-dimensional dispersive long wave equation by the decomposition method
Inc, Mustafa
Applied Mathematics and Computation. 173:372-382

computer algebra system-... (1+1)-dimensional long w... 0211 other engineering a... 0202 electrical engineer... Adomian decomposition me... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
86

On developing mathematical software
Fred T. Krogh
Journal of Computational and Applied Mathematics. 185:196-202

Computational Mathematic... Applied Mathematics 0101 mathematics Symbolic computation and... Mathematical software 01 natural sciences
Fachzeitschrift
Zu den Favoriten
87

A Riemannian Framework for Tensor Computing: A Riemannian framework for tensor computing
Pennec, Xavier ; Fillard, Pierre ; Ayache, Nicholas ; et al.
International Journal of Computer Vision. 66:41-66

geometry Riemannian manifold [INFO.INFO-TS] Computer... diffusion tensor MRI [INFO.INFO-IM] Computer... extrapolation
Fachzeitschrift
Zu den Favoriten
88

On numerical doubly periodic wave solutions of the coupled Drinfel’d–Sokolov–Wilson equation by the decomposition method: On numerical doubly periodic wave solutions of the coupled Drinfel'd-Sokolov-Wilson equation by the decomposition method
Inc, Mustafa
Applied Mathematics and Computation. 172:421-430

numerical examples numerical results Symbolic computation and... Adomian polynomials coupled Drinfel'd-Sokolo... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
89

Circuits constructed with MOD q gates cannot compute ?AND? in sublinear size: Circuits constructed with MOD\(_ q\) gates cannot compute ``and'' in sublinear size
Denis Thérien
Lecture Notes in Computer Science ISBN: 3540552847

algebraic techniques Analysis of algorithms a... 4. Education boolean functions bounded-depth circuits 0102 computer and inform...
Fachzeitschrift
Zu den Favoriten
90

Complex polynomials and circuit lower bounds for modular counting
David A. Mix Barrington ; Howard Straubing
Lecture Notes in Computer Science ISBN: 3540552847

MAJORITY gates Analysis of algorithms a... threshold circuits 0202 electrical engineer... modular counting 0102 computer and inform...
Buch
Zu den Favoriten
91

Decomposition of Algebraic Functions: Decomposition of algebraic functions
Dexter Kozen ; Richard Zippel ; Susan Landau
Lecture Notes in Computer Science ISBN: 9783540586913

resultant decomposition Computational Mathematic... Algebra and Number Theor... functional decomposition Computational aspects of... 0101 mathematics
Fachzeitschrift
Zu den Favoriten
92

Proving implications by algebraic approximation
G. Mashevitzky ; Michael Codish
Lecture Notes in Computer Science ISBN: 9783540584315

0202 electrical engineer... 02 engineering and techn... 0101 mathematics Symbolic computation and... 01 natural sciences Theoretical Computer Sci...
Fachzeitschrift
Zu den Favoriten
93

A theory of primitive objects: Second-order systems
Luca Cardelli ; Martín Abadi
Lecture Notes in Computer Science ISBN: 9783540578802
Lecture Notes in Computer Science ISBN: 9783540578871

equational rules Semantics in the theory... Formal languages and aut... 0102 computer and inform... 02 engineering and techn... Symbolic computation and...
Buch
Zu den Favoriten
94

Formal and numerical computations with resurgent functions
Jean Thomann ; Frédéric Fauvet
Numerical Algorithms. 40:323-353

numerical examples irregular-singular point asymptotics polynomial coefficients Linear ordinary differen... summability
Fachzeitschrift
Zu den Favoriten
95

There is no efficient reverse derivation mode for discrete derivatives
Éric Schost
Theoretical Computer Science. 347:299-305

Degree bound lower bounds Discrete derivatives degree bound discrete derivatives Lower bounds
Fachzeitschrift
Zu den Favoriten
96

On the numerical solution of stiff systems
Bayram, Mustafa ; Guzel, Nuran
Applied Mathematics and Computation. 170:230-236

MAPLE Linear ordinary differen... linear and nonlinear sys... Power series Nonlinear ordinary diffe... Stiff system
Fachzeitschrift
Zu den Favoriten
97

Metabolic control analysis of trio enzymes system
YILDIRIM, Nuri ; Bayram, Mustafa
Applied Mathematics and Computation. 170:948-957

0301 basic medicine 0303 health sciences 03 medical and health sc... Application models in co... Enzyme kinetics Symbolic computation and...
Fachzeitschrift
Zu den Favoriten
98

Constructive recognition of finite alternating and symmetric groups acting as matrix groups on their natural permutation modules: Constructive recognition of finite alternating and symmetric groups acting as matrix groups on their natural permutation modules.
C. R. Leedham-Green ; Robert Beals ; Ákos Seress ; et al.
Journal of Algebra. 292:4-46

Algebra and Number Theor... Constructive recognition symmetric groups 0102 computer and inform... Symbolic computation and... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
99

Algorithm and mechanization to Cauchy problem of parabolic equation
Caidi Zhao
Applied Mathematics and Computation. 169:1038-1044

Algorithm Cauchy problem 0209 industrial biotechn... Parabolic equations Maple 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
100

An algorithm for solving nonlinear singular perturbation problems with mechanization
Weiming Wang
Applied Mathematics and Computation. 169:995-1009

Numerical solution of bo... numerical examples Maple procedure 0209 industrial biotechn... Nonlinear boundary value... 0103 physical sciences
Fachzeitschrift
Zu den Favoriten

Filter