Showing 141 - 160 of 3,147

141

Beyond the Alder–Strassen bound: Beyond the Alder-Strassen bound.
Markus Bläser
Theoretical Computer Science. 331:3-21

Lower bound Analysis of algorithms a... multiplicative complexit... 0102 computer and inform... Endomorphism rings matrix rings
Academic journal
Save to List
142

A new computational algorithm for solving periodic tri-diagonal linear systems
Moawwad El-Mikkawy
Applied Mathematics and Computation. 161:691-696

Periodic tri-diagonal ma... MATLAB algorithm MAPLE MATHEMATICA Linear systems
Academic journal
Save to List
143

Degree formulae for offset curves
Fernando San Segundo ; J. Rafael Sendra
Journal of Pure and Applied Algebra. 195:301-335

Computational aspects of... Algebra and Number Theor... offset curve 02 engineering and techn... Symbolic computation and... 01 natural sciences
Academic journal
Save to List
144

A modular integer GCD algorithm
Vilmar Trevisan ; Luiz Felipe Martins ; Kenneth Weber
Journal of Algorithms. 54:152-167

Parallel algorithm 0102 computer and inform... Parallel algorithms in c... Integer GCD Residue arithmetic 0101 mathematics
Academic journal
Save to List
145

ICS: a package for computing involutive characteristic set of algebraic partial differential equation systems: ICS: A package for computing involutive characteristic set of algebraic partial differential equation systems
Shan-Qing Zhang ; Zhibin Li ; Guixu Zhang
Applied Mathematics and Computation. 160:551-577

involutive characteristi... numerical examples algebraic partial differ... Partial functional-diffe... Exterior differential sy... exterior differential sy...
Academic journal
Save to List
146

Derivation of conservation relationships for catalytic cycles using MAPLE
Bayram, M
Applied Mathematics and Computation. 160:189-195

0301 basic medicine 0303 health sciences 03 medical and health sc... Conservation relationshi... Biochemistry, molecular... MAPLE
Academic journal
Save to List
147

Factoring into coprimes in essentially linear time
Daniel J. Bernstein
Journal of Algorithms. 54:1-30

Factor refinement Analysis of algorithms 0102 computer and inform... Factorization Coprime bases 0101 mathematics
Academic journal
Save to List
148

Automatic Computation of Conservation Laws in the Calculus of Variations and Optimal Control: Automatic computation of conservation laws in the calculus of variations and optimal control
Gouveia, Paulo D.F. ; Torres, Delfim F.M. ; Biblioteca Digital do IPB
Computational Methods in Applied Mathematics. 5:387-409

0209 industrial biotechn... FOS: Physical sciences symmetries 02 engineering and techn... Symbolic computation and... Optimality conditions fo...
Academic journal
Save to List
149

Double‐coset enumeration algorithm for symmetrically generated groups: Double-coset enumeration algorithm for symmetrically generated groups.
Mohammed Sayed
International Journal of Mathematics and Mathematical Sciences, Vol 2005, Iss 5, Pp 699-715 (2005)

Generators, relations, a... double coset enumeration... QA1-939 symmetric presentations generators and relations Software, source code, e...
Academic journal
Save to List
150

Invariant Curves and Explosion of Periodic Islands in Systems of Piecewise Rotations: Invariant curves and explosion of periodic islands in systems of piecewise rotations
Ashwin, Peter ; Goetz, Arek
SIAM Journal on Applied Dynamical Systems. 4:437-458

Dynamical systems involv... Combinatorial dynamics (... nonuniquely ergodic inte... 0103 physical sciences planar piecewise isometr... non\-smooth invariant cu...
Academic journal
Save to List
151

A Complete Characterization of the Algebras of Minimal Bilinear Complexity: A complete characterization of the algebras of minimal bilinear complexity
Markus Bläser
SIAM Journal on Computing. 34:277-298

rank bilinear complexity 0202 electrical engineer... Computational difficulty... associative algebras 0102 computer and inform...
Academic journal
Save to List
152

A new Jacobi elliptic function rational expansion method and its application to (1+1)-dimensional dispersive long wave equation: A new Jacobi elliptic function rational expansion method and its application to (1 + 1)-dimensional dispersive long wave equation
Yong Chen ; Zhang Hong-Qing ; Qi Wang
Chaos, Solitons & Fractals. 23:477-483

Orthogonal polynomials a... 0103 physical sciences Series solutions to PDEs new exact doubly-periodi... Symbolic computation and... 01 natural sciences
Academic journal
Save to List
153

Constructing Maximal Subgroups of Classical Groups: Constructing maximal subgroups of classical groups.
Colva M. Roney-Dougal ; Derek F. Holt
LMS Journal of Computation and Mathematics. 8:46-79

unitary groups Analysis of algorithms a... absolutely irreducible g... Symbolic computation and... 01 natural sciences finite classical groups
Academic journal
Save to List
154

A Software Package for Lie Algebraic Computations: A software package for Lie algebraic computations
Torres Torriti, M ; Michalska, H
SIAM Review. 47:722-745

STABILIZATION Lie algebras of vector f... Software, source code, e... CONTROLLABILITY Wei-Norman equations Nonlinear ordinary diffe...
Academic journal
Save to List
155

Average-case analysis of unification algorithms
Albert, Luc ; Casas, Rafael ; Fages, François ; et al.
Lecture Notes in Computer Science ISBN: 3540537090

average-case complexity unifiable pairs of tree Analysis of algorithms a... occur check average case complexity [INFO.INFO-DS] Computer...
Academic journal
Save to List
156

AC Complement Problems: Satisfiability and Negation Elimination: AC complement problems: Satisfiability and negation elimination
Maribel Fernández
Lecture Notes in Computer Science ISBN: 9783540568681

Computational Mathematic... Algebra and Number Theor... complement problems functional programs 0202 electrical engineer... 0102 computer and inform...
Academic journal
Save to List
157

Constructing the real numbers in HOL
John Harrison
Higher Order Logic Theorem Proving and its Applications ISBN: 9780444898807

Logic in artificial inte... Mechanization of proofs... theorem proving Foundations: limits and... 0202 electrical engineer... mathematical logic
Book
Save to List
158

BEAMLAB AND REPRODUCIBLE RESEARCH: Beamlab and reproducible research
David L. Donoho ; Xiaoming Huo
International Journal of Wavelets, Multiresolution and Information Processing. :391-414

Data analysis (statistic... 0202 electrical engineer... 02 engineering and techn... 0101 mathematics Symbolic computation and... Computing methodologies...
Academic journal
Save to List
159

Construction of explicit runge-kutta pairs with stiffness detection: Construction of explicit Runge-Kutta pairs with stiffness detection
M. Sofroniou ; SPALETTA, GIULIA
Mathematical and Computer Modelling. 40:1157-1169

Runge-Kutta methods Computer generation of n... ORDINARY DIFFERENTIAL EQ... RUNGE-KUTTA METHODS STIFFNESS DETECTION SYMBOLIC COMPUTATION
Academic journal
Save to List
160

On the complexities of multipoint evaluation and interpolation
Alin Bostan ; Éric Schost
Theoretical Computer Science. 329:223-235

Polynomial evaluation Complexity classes (hier... Complexity 0102 computer and inform... 0101 mathematics Symbolic computation and...
Academic journal
Save to List

Filter