Showing 41 - 60 of 3,145

41

A Lower Bound on the Complexity of Polynomial Multiplication over Finite Fields: A lower bound on the complexity of polynomial multiplication over finite fields
Michael Kaminski
Lecture Notes in Computer Science ISBN: 9783540249986

polynomial multiplicatio... 4. Education 0102 computer and inform... 02 engineering and techn... Symbolic computation and... 01 natural sciences
Academic journal
Save to List
42

Hardware Implementation of Discrete Stochastic Arithmetic: Hardware implementation of discrete stochastic arithmetic
Chotin-Avot, Roselyne ; Mehrez, Habib ; Chotin, Roselyne ; et al.
Numerical Algorithms. 37:21-33

cestac method [INFO.INFO-AR] Computer... Roundoff error floating-point arithmeti... accuracy control stochastic arithmetic
Academic journal
Save to List
43

A Symbolic Approach for Automatic Generation of the Equations of Motion of Multibody Systems: A symbolic approach for automatic generation of the equations of motion of multibody systems
LOT, ROBERTO ; DA LIO M.
Multibody System Dynamics. 12:147-172

Maple package 'MBSymba' 0209 industrial biotechn... 0203 mechanical engineer... Dynamics of multibody sy... 4. Education motorcycle
Academic journal
Save to List
44

Application of Gröbner basis techniques to enzyme kinetics
ÇELİK, ERCAN ; BAYRAM, MUSTAFA
Applied Mathematics and Computation. 153:97-109

0301 basic medicine 0303 health sciences 03 medical and health sc... Gröbner bases other bases for ideals a... Symbolic computation and...
Academic journal
Save to List
45

The Convex Hull of Freeform Surfaces: The convex hull of freeform surfaces
Myung-Soo Kim ; Joon Kyung Seong ; John K. Johnstone ; et al.
Geometric Modelling ISBN: 9783211208182

numerical examples algorithm 0102 computer and inform... 02 engineering and techn... Symbolic computation and... 01 natural sciences
Academic journal
Save to List
46

On the Bounded Sum-of-Digits Discrete Logarithm Problem in Finite Fields: On the bounded sum-of-digits discrete logarithm problem in finite fields
Qi Cheng
Lecture Notes in Computer Science ISBN: 9783540226680

discrete logarithm probl... Analysis of algorithms a... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... finite fields
Academic journal
Save to List
47

A mathematical view of automatic differentiation
Andreas Griewank
Acta Numerica 2003 ISBN: 9780521825238

Numerical differentiatio... scientific computing 4. Education Research exposition (mon... research survey complexity bounds
Book
Save to List
48

Arbitrary order numerical method for solving differential-algebraic equation by Padé series
BAYRAM, MUSTAFA ; ÇELİK, ERCAN
Applied Mathematics and Computation. 137:57-65

Numerical methods for di... Differential-algebraic e... Arbitrary order Padé series 0209 industrial biotechn... 4. Education
Academic journal
Save to List
49

Discovering non-terminating inputs for multi-path polynomial programs
Naijun Zhan ; Ming Xu ; Jiang Liu ; et al.
Journal of Systems Science and Complexity. 27:1286-1304

Mathematical aspects of... polynomial programs polynomial ideals 0102 computer and inform... termination analysis 0101 mathematics
Academic journal
Save to List
50

Incorporating Decision Procedures in Implicit Induction: Incorporating decision procedures in implicit induction.
Armando, Alessandro ; Rusinowitch, Michaël ; Stratulat, Sorin ; et al.
Journal of Symbolic Computation. 34:241-258

integration of reasoning... Algebra and Number Theor... Buchberger algorithm 0102 computer and inform... 02 engineering and techn... Symbolic computation and...
Academic journal
Save to List
51

Stokes flow around an asymmetric channel divider; a computational approach using Matlab: Stokes flow around an asymmetric channel divider; a computational approach using MATLAB
Anthony M. J. Davis ; Joseph D. Fehribach
Practical Asymptotics ISBN: 9789401038270

splitter plate Other numerical methods... biharmonic equation Stokes flow in channel eigenfunction expansion exact unidirectional flo...
Book
Save to List
52

Using Galois Ideals for Computing Relative Resolvents: Using Galois ideals for computing relative resolvents
Aubry, Philippe ; Valibouze, Annick ; Loria, Publications ; et al.
Journal of Symbolic Computation. 30:635-651

galois theory Algebra and Number Theor... [INFO.INFO-SC] Computer... Separable extensions, Ga... characteristic polynomia... idéal de galois
Academic journal
Save to List
53

Complexity and algorithms for Euler characteristic of simplicial complexes
Roune, B.H. ; Sáenz-de-Cabezón, E.
RIUR. Repositorio Institucional de la Universidad de La Rioja
Universidad de La Rioja (UR)
RIUR: Repositorio Institucional de la Universidad de La Rioja
instname
Dialnet CRIS Repositorio institucional de la Universidad de La Rioja

Computational aspects an... Computer Science - Symbo... Computational Geometry (... FOS: Computer and inform... monomial ideal Commutative rings define...
Academic journal
Save to List
54

An algorithm for the classification of 3-dimensional complex Leibniz algebras
José Manuel Casas ; Manuel A. Insua ; Susana Ladra ; et al.
Linear Algebra and its Applications. 436:3747-3756

Leibniz algebra Numerical Analysis Algebra and Number Theor... Computational methods fo... Discrete Mathematics and... Gröbner bases
Academic journal
Save to List
55

The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics: The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
Eugenio Roanes-Macías ; José-Antonio Alonso ; Eugenio Roanes-Lozano ; et al.
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas. 105:323-337

Many-valued logic 0202 electrical engineer... effective computation 0102 computer and inform... 02 engineering and techn... Symbolic computation and...
Academic journal
Save to List
56

Solvability of Context Equations with Two Context Variables Is Decidable: Solvability of context equations with two context variables is decidable
Manfred Schmidt-Schauß ; Klaus U. Schulz
Lecture Notes in Computer Science ISBN: 9783540662228

Mechanization of proofs... Computational Mathematic... Decidability of theories... Algebra and Number Theor... context unification 0102 computer and inform...
Book
Save to List
57

A Polynomial Time Algorithm for Diophantine Equations in One Variable: A polynomial time algorithm for diophantine equations in one variable
Cucker, Felipe ; Koiran, Pascal ; Smale, Steve ; et al.
Journal of Symbolic Computation. 27:21-29

Algebra and Number Theor... roots of polynomials complexity theory 0102 computer and inform... [INFO] Computer Science... Symbolic computation and...
Academic journal
Save to List
58

Presentations of finite simple groups: a computational approach: Presentations of finite simple groups: a computational approach.
Robert M. Guralnick ; William M. Kantor ; Martin Kassabov ; et al.
Journal of the European Mathematical Society

Generators, relations, a... finite simple groups of... Group Theory (math.GR) Symbolic computation and... 01 natural sciences 20J06 (Secondary)
Academic journal
Save to List
59

TERMINATION ANALYSIS OF LINEAR LOOPS: Termination analysis of linear loops
Ming Xu ; Liangyu Chen ; Zhibin Li ; et al.
International Journal of Foundations of Computer Science. 21:1005-1019

termination 0209 industrial biotechn... Specification and verifi... real root bound Mathematical aspects of... Software, source code, e...
Academic journal
Save to List
60

Solving linear constraints over real and rational fields
V. N. German
Cybernetics and Systems Analysis. 46:630-638

Specification and verifi... convex polyhedron linear inequalities Quantifier elimination,... 0102 computer and inform... 02 engineering and techn...
Academic journal
Save to List

Filter