Showing 61 - 80 of 3,147

61

Lower Bounds for Dynamic Algebraic Problems: Lower bounds for dynamic algebraic problems
Frandsen, Gudmund Skovbjerg ; Hansen, J.P. ; Miltersen, Peter Bro
Lecture Notes in Computer Science ISBN: 9783540656913
Frandsen, G S, Hansen, J P & Miltersen, P B 2001, 'Lower Bounds for Dynamic Algebraic Problems', Information and Computation, vol. 171, no. 2, pp. 333-349. https://doi.org/10.1006/inco.2001.3046

Computational Theory and... Computational difficulty... 0102 computer and inform... Models of computation (T... Symbolic computation and... 01 natural sciences
Academic journal
Save to List
62

LANGAGE: A maple package for automaton characterization of regular languages: LANGAGE: A Maple package for automaton characterization of regular languages
Pascal Caron
Lecture Notes in Computer Science ISBN: 9783540646945

Locally testable languag... Formal languages and aut... 0102 computer and inform... 02 engineering and techn... Regular languages LANGAGE
Academic journal
Save to List
63

Specification and Integration of Theorem Provers and Computer Algebra Systems: Specification and integration of theorem provers and computer algebra systems
P. Bertoli ; J. Calmet ; Giunchiglia, Fausto ; et al.
Lecture Notes in Computer Science ISBN: 9783540649601

ddc:004 4. Education DATA processing & comput... 0211 other engineering a... 02 engineering and techn... Symbolic computation and...
Academic journal
Save to List
64

Gröbner bases in universal enveloping algebras of Leibniz algebras
Manuel A. Insua ; Manuel Ladra
Journal of Symbolic Computation. 44:517-526

Algebra and Number Theor... 0102 computer and inform... Gröbner bases other bases for ideals a... Poincaré–Birkhoff–Witt t... Symbolic computation and...
Academic journal
Save to List
65

A Polycyclic Quotient Algorithm: A polycyclic quotient algorithm
Eddie H. Lo
Journal of Symbolic Computation. 25:61-97

integral group rings Generators, relations, a... Algebra and Number Theor... Group rings of infinite... Symbolic computation and... algorithms
Academic journal
Save to List
66

A weak version of the Blum, Shub and Smale model: A weak version of the Blum, Shub, and Smale model
Koiran, Pascal ; Thomassé, Stéphan
Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science. :486-495

probabilistic Turing mac... Computational Theory and... Computer Networks and Co... Applied Mathematics Complexity classes (hier... 0102 computer and inform...
Academic journal
Save to List
67

Efficient algorithms for computing the Jacobi symbol: Extended abstract
Meyer Eikenberry, Shawna ; Sorenson, Jonathan
Lecture Notes in Computer Science ISBN: 9783540615811

Jacobi symbol Computational Mathematic... Algebra and Number Theor... Theory and Algorithms Number Theory Power residues, reciproc...
Book
Save to List
68

Computers : (ac)counting for mathematical proofs: Computers: (Ac) counting for mathematical proofs
Cohen, A.M.
Nieuw Archief voor Wiskunde. (1):45-64

field specific software Symbolic computation and... Theorem proving (deducti...
Academic journal
Save to List
69

ScaLAPACK: A portable linear algebra library for distributed memory computers — Design issues and performance: ScaLAPACK: A portable linear algebra library for distributed memory computers -- design issues and performance
Choi, J. ; Demmel, J. ; Dhillon, I. ; et al.
Lecture Notes in Computer Science ISBN: 9783540609025

distributed linear algeb... linear algebra computati... software Numerical linear algebra Packaged methods for num... parallel computers
Book
Save to List
70

Analytica — An experiment in combining theorem proving and symbolic computation: Analytica --- an experiment in combining theorem proving and symbolic computation
Andrej Bauer ; Xudong Zhao ; Edmund M. Clarke
Lecture Notes in Computer Science ISBN: 9783540617327

theorem prover Analytica Mathematica 0102 computer and inform... 0101 mathematics Symbolic computation and...
Book
Save to List
71

MOPS: Multivariate orthogonal polynomials (symbolically): MOPS: multivariate orthogonal polynomials (symbolically)
Ioana Dumitriu ; Gene Shuman ; Alan Edelman
Journal of Symbolic Computation. 42:587-620

Orthogonal polynomials a... Computational Mathematic... Algebra and Number Theor... Symbolic computation of... FOS: Physical sciences Mathematical Physics (ma...
Academic journal
Save to List
72

On coherence in computer algebra
Andreas Weber
Lecture Notes in Computer Science ISBN: 354057235X

Computational Mathematic... Algebra and Number Theor... 0101 mathematics Symbolic computation and... 01 natural sciences computer algebra systems
Book
Save to List
73

Compact delivery support for REDUCE
A. C. Norman
Lecture Notes in Computer Science ISBN: 354057235X

Computational Mathematic... Algebra and Number Theor... Theory of programming la... 0202 electrical engineer... 02 engineering and techn... Symbolic computation and...
Book
Save to List
74

Computation by computer of Lie superalgebra homology and cohomology
Gerhard F. Post ; Nico van den Hijligenberg
Geometric and Algebraic Structures in Differential Equations ISBN: 9789401065658

Computational methods fo... Graded Lie (super)algebr... cohomology homology package homology Lie superalgebras
Academic journal
Save to List
75

The design of the SACLIB/PACLIB kernels
Wolfgang Schreiner ; Hoon Hong ; Andreas Neubacher
Lecture Notes in Computer Science ISBN: 354057235X

Computational Mathematic... Algebra and Number Theor... Theory of programming la... 0202 electrical engineer... 02 engineering and techn... Symbolic computation and...
Book
Save to List
76

Symbolic software for soliton theory
W. Zhuang ; Willy Hereman
KdV ’95 ISBN: 9789401040112

Painlevé integrability t... Soliton equations Software, source code, e... conserved densities 4. Education Symbolic computation and...
Academic journal
Save to List
77

The use of symbolic computation in nonlinear control: is it viable?: The use of symbolic computation in nonlinear control: Is it viable?
B. de Jager
IEEE Transactions on Automatic Control. 40:84-89

0209 industrial biotechn... Nonlinear systems in con... 02 engineering and techn... Symbolic computation and... Computational methods in... 0201 civil engineering
Academic journal
Save to List
78

A type system for computer algebra
Philip S. Santas
Lecture Notes in Computer Science ISBN: 354057235X

Computational Mathematic... Algebra and Number Theor... Theory of programming la... automatic inference of t... 0202 electrical engineer... 0102 computer and inform...
Book
Save to List
79

Process Scheduling in DSC and the Large Sparse Linear Systems Challenge: Process scheduling in DSC and the large sparse linear systems challenge
Angel Díaz ; Markus A. Hitz ; T. Valente ; et al.
Lecture Notes in Computer Science ISBN: 354057235X

Primality Linear equations (linear... Computational methods fo... Computational Mathematic... Algebra and Number Theor... Distributed algorithms
Academic journal
Save to List
80

Standard bases concordant with the norm and computations in ideals and polylinear recurring sequences
E. V. Gorbatov
Journal of Mathematical Sciences. 139:6672-6707

shift register generators of the syzygy... polynomial ideals concordant standard base... 0102 computer and inform... Gröbner bases
Academic journal
Save to List

Filter