Abstract algebra: a computational approach
Abstract algebra: a computational approach
Parallel algorithms for algebraic problems
SIAM Journal on Computing
Computer algebra: symbolic and algebraic computation (2nd ed.)
Computer algebra: symbolic and algebraic computation (2nd ed.)
Computer algebra: symbolic and algebraic computation (2nd ed.)
Refutational theorem proving using term-rewriting systems
Artificial Intelligence
Fast algorithms for the characteristic polynomial
Theoretical Computer Science
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Prime numbers and computer methods for factorization
Prime numbers and computer methods for factorization
Proc. of the first international conference on Rewriting techniques and applications
Proc. of the first international conference on Rewriting techniques and applications
Irreducibility of multivariate polynomials
Journal of Computer and System Sciences
Equational methods in first order predicate calculus
Journal of Symbolic Computation
Fast parallel absolute irreducibility testing
Journal of Symbolic Computation
Building expert systems
Integration in Finite Terms with Special Functions: the Error Function
Journal of Symbolic Computation
Theory of Summation in Finite Terms
Journal of Symbolic Computation
Polynomial decomposition algorithms
Journal of Symbolic Computation
Decreasing the nesting depth of expressions involving square roots
Journal of Symbolic Computation
Simplification of expressions involving radicals
Journal of Symbolic Computation
Some examples for solving systems of algebraic equations by calculating groebner bases
Journal of Symbolic Computation
The mechanical computation of first and second cohomology groups
Journal of Symbolic Computation
Introduction to finite fields and their applications
Introduction to finite fields and their applications
FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis
Journal of Symbolic Computation
Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
Distance-transitive representations of the symmetric groups
Journal of Combinatorial Theory Series B
Structured algebraic specifications: A kernel language
Theoretical Computer Science
Integration in finite terms with special functions: the logarithmic integral
SIAM Journal on Computing
Solving sparse linear equations over finite fields
IEEE Transactions on Information Theory
Proceedings of the 2nd international conference, AAECC-2 on Applied algebra, algorithmics and error-correcting codes
Design theory
Computer
Computer
Discrete logarithms in finite fields and their cryptographic significance
Proc. of the EUROCRYPT 84 workshop on Advances in cryptology: theory and application of cryptographic techniques
On the application of Buchberger's algorithm to automated geometry theorem proving
Journal of Symbolic Computation
Using Gröbner bases to reason about geometry problems
Journal of Symbolic Computation
Completion of a set of rules modulo a set of equations
SIAM Journal on Computing
Expert systems: not only for information scientists
Expert systems: not only for information scientists
Admissible orders and linear forms
ACM SIGSAM Bulletin
on Rewriting techniques and applications
on Rewriting techniques and applications
REDUCE: Software for algebraic computation
REDUCE: Software for algebraic computation
A course in number theory and cryptography
A course in number theory and cryptography
Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
SYMSAC86 Proceedings of the Symposium on Symbolic and Algebraic Manipulation
A numerical code generation facility for REDUCE
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
The design of Macaulay: a system for computing in algebraic geometry and commutative algebra
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Basic principles of mechanical theorem proving in elementary geometrics
Journal of Automated Reasoning
Hermite normal form computation using modulo determinant arithmetic
Mathematics of Operations Research
On condition numbers and the distance to the nearest III-posted problem
Numerische Mathematik
The complexity of Boolean functions
The complexity of Boolean functions
Towards a soluble quotient algorithm
Journal of Symbolic Computation
A modification of the LLL reduction algorithm
Journal of Symbolic Computation
Systems of reductions
Enumerative combinatorics of Young tableaux
Enumerative combinatorics of Young tableaux
Journal of Symbolic Computation
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Sphere-packings, lattices, and groups
Sphere-packings, lattices, and groups
Large scale scientific computing
Large scale scientific computing
Algorithms
Mathematical aspects of scientific software
Mathematical aspects of scientific software
Perturbation methods, bifurcation theory and computer algebra
Perturbation methods, bifurcation theory and computer algebra
Greatest common divisors of polynomials given by straight-line programs
Journal of the ACM (JACM)
Mathematica: a system for doing mathematics by computer
Mathematica: a system for doing mathematics by computer
Computer algebra: systems and algorithms for algebraic computation
Computer algebra: systems and algorithms for algebraic computation
The complexity of robot motion planning
The complexity of robot motion planning
Efficient parallel algorithms
Journal of Symbolic Computation
The volume common to two congruent circular cones whose axes intersect symmetrically
Journal of Symbolic Computation
Computer simulation and computer algebra: lectures for beginners
Computer simulation and computer algebra: lectures for beginners
Garbage collection in an uncooperative environment
Software—Practice & Experience
Resource requirements of dataflow programs
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
The complexity of linear problems in fields
Journal of Symbolic Computation
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation
Complexity of deciding Tarski algebra
Journal of Symbolic Computation
Journal of Symbolic Computation
A polynomial-time algorithm for the topological type of a real algebraic curve
Journal of Symbolic Computation
Annual review of computer science: vol. 3, 1988
Proceedings of the 4th International Conference, AAECC-4 on Applicable algebra, error-correcting codes, combinatorics and computer algebra
Confluent string rewriting
Computers in algebra
Wu's method and its application to perspective viewing
Artificial Intelligence - Special issue on geometric reasoning
Elements of computer algebra with applications
Elements of computer algebra with applications
Gröbner bases and primary decomposition of polynomial ideals
Journal of Symbolic Computation
Journal of Symbolic Computation
A p-adic approach to the computation ofGröbner bases
Journal of Symbolic Computation
An extension of Buchberger's algorithm and calculationsin enveloping fields of lie algebras
Journal of Symbolic Computation
Polynomial decomposition algorithms
Journal of Symbolic Computation
Scratchpad II: an abstract datatype system for mathematical computation
Trends in computer algebra
I-structures: data structures for parallel computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic proofs by induction in theories without constructors
Information and Computation
Membership in polynomial ideals over Q is exponential space complete
Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science on STACS 89
Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Groebner bases and differential algebra
Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Constructing universal Groebner bases
Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
ISSAC'89 Intl Symposium on Symbolic & Algebraic Computation
A code optimization package for REDUCE
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Geometric and solid modeling: an introduction
Geometric and solid modeling: an introduction
The cheater's homotopy: an efficient procedure for solving systems of polynomial equations
SIAM Journal on Numerical Analysis
Fast parallel computation of hermite and smith forms of polynomial matrices
SIAM Journal on Algebraic and Discrete Methods
Algorithmic algebraic number theory
Algorithmic algebraic number theory
Variational and finite element methods: symbolic computation approach
Variational and finite element methods: symbolic computation approach
Non-commutative Gröbner bases in algebras of solvable type
Journal of Symbolic Computation
Journal of Symbolic Computation
Functional decomposition ofpolynomials: the tame case
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Interpolating polynomials from their values
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Programming in Mathematica
Integration of elementary functions
Journal of Symbolic Computation
REDUCE and the bifurcation of limit cycles
Journal of Symbolic Computation
Communications of the ACM
IEEE Transactions on Computers
Symbolic solution of large stationary chemical kinetics problems
IMPACT of Computing in Science and Engineering
Calculating characters of p-groups
Journal of Symbolic Computation
Collection from the left and other strategies
Journal of Symbolic Computation
The p-group generation algorithm
Journal of Symbolic Computation
Extension of the Berlekamp-Massey algorithm to N dimensions
Information and Computation
A fast algorithm for proving terminating hypergeometric identities
Discrete Mathematics
Formal solutions of differential equations
Journal of Symbolic Computation
A completion procedure for computing canonical basis for a k-Subalgebra
Proceedings of the third conference on Computers and mathematics
A report on the Sisal language project
Journal of Parallel and Distributed Computing - Special issue: data-flow processing
Proceedings of the international symposium on Symbolic and algebraic computation
ISSAC'90 Int'l Symposium on Symbolic Algebraic Computation
Automated reasoning in geometries using the characteristic set method and Gröbner basis method
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Methods for mechanical geometry formula deriving
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Approximate conversion of rational B-spline patches
Computer Aided Geometric Design
Base points, resultants, and the implicit representation of rational surfaces
Base points, resultants, and the implicit representation of rational surfaces
VLSI design for exponentiation in GF(2n)
AUSCRYPT '90 Proceedings of the international conference on cryptology on Advances in cryptology
AUSCRYPT '90 Proceedings of the international conference on cryptology on Algebraic logic and universal algebra in computer science
Functional decomposition of polynomials: The wild case
Journal of Symbolic Computation
Standard bases and some computations in rings of power series
Journal of Symbolic Computation
Implementing discrete mathematics: combinatorics and graph theory with Mathematica
Implementing discrete mathematics: combinatorics and graph theory with Mathematica
Computer-assisted existence proofs for two-point boundary value problems
Computing - Special issue on archives for informatics and numerical computation
A holonomic systems approach to special functions identities
Journal of Computational and Applied Mathematics
Automatic average-case analysis of algorithms
Theoretical Computer Science - Theme issue on the algebraic and computing treatment of noncommutative power series
Computing tools for scientific problem solving
Computing tools for scientific problem solving
A refutational approach to geometry theorem proving
Geometric reasoning
A classification of flag-transitive classical c.C2-geometries by means of generators and relations
European Journal of Combinatorics
Proceedings of the 4th international conference on Rewriting techniques and applications
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Resolutions via homological perturbation
Journal of Symbolic Computation
Processor efficient parallel solution of linear systems over an abstract field
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
The method of creative telescoping
Journal of Symbolic Computation
Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients
Journal of Symbolic Computation
Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. A)
Parallel algorithms for shared-memory machines
Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
American Mathematical Monthly
A guide to computer algebra systems
A guide to computer algebra systems
Proceedings of the 1991 international symposium on Symbolic and algebraic computation
ISSAC 91 International Symposium on Symbolic Algebraic Computation
Rational function decomposition
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
“One sugar cube, please” or selection strategies in the Buchberger algorithm
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
The Chinese remainder problem, multivariate interpolation, and Gröbner bases
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
How we proved that there are exactly 924 cyclic 7-roots
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Scratchpad and the Rogers-Ramanujan identities
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
For computations with coherent configurations
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
The Risch differential equation on an algebraic curve
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Towards computing non algebraic cylindrical decompositions
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
On the multi-threaded computation of integral polynomial greatest common divisors
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
FELIX—an assistant for alebraists
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
CASA: A computer algebra package for constructive algebraic geometry
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Mixed symbolic-numeric solution of symmetrical nonlinear systems
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
A new method for solving algebraic systems of positive dimension
Discrete Applied Mathematics - Special volume on applied algebra, algebraic algorithms, and error-correcting codes
Mathematica: a practical approach
Mathematica: a practical approach
Mathematics for computer algebra
Mathematics for computer algebra
Some symbolic computing links to the NAG numeric library
ACM SIGSAM Bulletin
Asymptotically fast triangularization of matrices over rings
SIAM Journal on Computing
Computing sums of radicals in polynomial time
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Wu's method and the Khovanskii finiteness theorem
Journal of Symbolic Computation
Mechanical manipulation for a class of differential systems
Journal of Symbolic Computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
Computer aided proofs in analysis
Computer aided proofs in analysis
The Euclidean definition of the functions div and mod
ACM Transactions on Programming Languages and Systems (TOPLAS)
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exploring mathematics with Mathematica
Exploring mathematics with Mathematica
Mathematica in action
Computational recreations in Mathematica
Computational recreations in Mathematica
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
First leaves: a tutorial introduction to Maple V
First leaves: a tutorial introduction to Maple V
Algebraic computing with REDUCE
Algebraic computing with REDUCE
Simplification of nested radicals
SIAM Journal on Computing
An algorithm for solving parametric linear systems
Journal of Symbolic Computation
Solving zero-dimensional algebraic systems
Journal of Symbolic Computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Algorithms for computer algebra
Algorithms for computer algebra
Computer algebra with LISP and REDUCE: an introduction to computer-aided pure mathematics
Computer algebra with LISP and REDUCE: an introduction to computer-aided pure mathematics
Mathematica for the sciences
Designs and their codes
SYMMETRICA, an object oriented computer-algebra system for the symmetric group
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
Hypergeometric solutions of linear recurrences with polynomial coefficients
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
An approach to the zero recognition problem by Buchberger algorithm
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
A constructive implementation of the Cartan-Kähler theory of exterior differential systems
Journal of Symbolic Computation
Journal of Symbolic Computation
Constructing matrix representations of finitely presented groups
Journal of Symbolic Computation - Special issue on computational group theory: part 2
Implicit representation of rational parametric surfaces
Journal of Symbolic Computation
Integration of a class of transcendental Liouvillian functions with error-functions, part I
Journal of Symbolic Computation
Well … it isn't quite that simple
ACM SIGSAM Bulletin
Using computer algebra to select numerical algorithms
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Linear ordinary differential equations: breaking through the order 2 barrier
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
The elementary constant problem
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Computation of the Jordan canonical form of a square matrix (using the Axiom programming language)
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Real algebraic closure of an ordered field: implementation in Axiom
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Honest plotting, global extrema, and interval arithmetic
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Finite Gröbner bases in non-Noetherian skew polynomial rings
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
On computing determinants of matrices without divisions
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
CAS/PI: a portable and extensible interface for computer algebra systems
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
PYRROS: static task scheduling and code generation for message passing multiprocessors
ICS '92 Proceedings of the 6th international conference on Supercomputing
Journal of Symbolic Computation
Computation of Hilbert functions
Journal of Symbolic Computation
Implicitization of rational parametric equations
Journal of Symbolic Computation
On lucky ideals for Gro¨bner basis computations
Journal of Symbolic Computation
Automatic generation of mapping functions for infinite elements using REDUCE
Journal of Symbolic Computation
Interfacing algebraic and numeric computation
Interfacing algebraic and numeric computation
Numerical recipes in C (2nd ed.): the art of scientific computing
Numerical recipes in C (2nd ed.): the art of scientific computing
Algorithms for modular elliptic curves
Algorithms for modular elliptic curves
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
An algorithm for exact division
Journal of Symbolic Computation
Journal of Symbolic Computation
Algorithmic algebra
Galois groups of second and third order linear differential equations
Journal of Symbolic Computation
Liouvillian and algebraic solutions of second and third order linear differential equations
Journal of Symbolic Computation
Proceedings of the 1993 international symposium on Symbolic and algebraic computation
ISSAC93 International Symposium on Symbolic and Algebraic
A zero structure theorem for exponential polynomials
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Computing Gröbner bases in monoid and group rings
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
An elimination method for polynomial systems
Journal of Symbolic Computation
Designs, Codes and Cryptography
Algebraic and numeric techniques in modeling and robotics
Algebraic and numeric techniques in modeling and robotics
Applied Mathematics and Computation
Two Remarks on Independent Sets
Journal of Algebraic Combinatorics: An International Journal
Algorithms in invariant theory
Algorithms in invariant theory
GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable
ACM Transactions on Mathematical Software (TOMS)
Solving homogeneous linear equations over GF(2) via block Wiedemann algorithm
Mathematics of Computation
Efficient computation of zero-dimensional Gro¨bner bases by change of ordering
Journal of Symbolic Computation
Integration of a class of transcendental Liouvillian functions with error-functions, part II
Journal of Symbolic Computation
Experimenting with the identity (xy)z = y(zx)
Journal of Symbolic Computation
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Counting connected components of a semialgebraic set in subexponential time
Computational Complexity
Computing irreducible representations of supersolvable groups
Mathematics of Computation
Isomorphism testing for p-groups
Journal of Symbolic Computation
Calculations with simplicial and cubical groups in AXIOM
Journal of Symbolic Computation
Polynomial and matrix computations (vol. 1): fundamental algorithms
Polynomial and matrix computations (vol. 1): fundamental algorithms
On the resolution of index form equations in quartic number fields
Journal of Symbolic Computation
TTC: symbolic tensor and exterior calculus
Computers in Physics
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
The Albert nonassociative algebra system: a progress report
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
GENTRAN 90: a REDUCE package for the generation of Fortran 90 code
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Programming with algebraic structures: design of the MAGMA language
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Quantifier elimination for real algebra—the cubic case
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Fast algorithms for rational forms of integer matrices
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
MP: a protocol for efficient exchange of mathematical expressions
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
An improved algorithm for factoring linear ordinary differential operators
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
On the symbolic insimplification of the general 6R-manipulator kinematic equations
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Symmetric functions, m-sets, and Galois groups
Mathematics of Computation
Zeros of equivariant vector fields: algorithms for an invariant approach
Journal of Symbolic Computation
Integration in finite terms with elementary functions and dilogarithms
Integration in finite terms with elementary functions and dilogarithms
Complexity of finding irreducible components of a semialgebraic set
Journal of Complexity
An introduction to commutative and noncommutative Gro¨bner bases
Selected papers of the second international colloquium on Words, languages and combinatorics
On Zeilberger's algorithm and its q-analogue
VII SPOA Proceedings of the seventh Spanish symposium on Orthogonal polynomials and applications
Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
ACM Transactions on Mathematical Software (TOMS)
Object oriented method for Axiom
ACM SIGPLAN Notices
The accelerated integer GCD algorithm
ACM Transactions on Mathematical Software (TOMS)
Algorithms for intersecting parametric and algebraic curves II: multiple intersections
Graphical Models and Image Processing
Mathematics of Computation
Symbolic tensor calculus using index notation
Computers in Physics
A course in computational algebraic number theory
A course in computational algebraic number theory
Effective Noether irreducibility forms and applications
Selected papers of the 23rd annual ACM symposium on Theory of computing
Sparse Polynomial Interpolation in Nonstandard Bases
SIAM Journal on Computing
Symbolic derivation of Runge-Kutta methods
Journal of Symbolic Computation
A finite soluble quotient algorithm
Journal of Symbolic Computation
Algebraic numbers: an example of dynamic evaluation
Journal of Symbolic Computation
Computing bases for rings of permutation-invariant polynomials
Journal of Symbolic Computation
Process scheduling in DSC and the large sparse linear systems challenge
Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
An implicitization algorithm with fewer variables
Computer Aided Geometric Design
Nearly Optimal Algorithms For Canonical Matrix Forms
SIAM Journal on Computing
Dagwood: a system for manipulating polynomials given by straight-line programs
ACM Transactions on Mathematical Software (TOMS)
Computing a set of points meeting every cell defined by a family of polynomials on a variety
WAFR Proceedings of the workshop on Algorithmic foundations of robotics
REDUCE package for the indefinite and definite summation
ACM SIGSAM Bulletin
Recurrence relations for connection coefficients between two families of orthogonal polynomials
Journal of Computational and Applied Mathematics
Fraction free Gaussian elimination for sparse matrices
Journal of Symbolic Computation
Homogeneous bivariate decompositions
Journal of Symbolic Computation
A Gro¨bner approach to involutive bases
Journal of Symbolic Computation
Proceedings of the 1995 international symposium on Symbolic and algebraic computation
International Symposium on Symbolic and Algebraic Computation
Programs for applying symmetries
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
From honest to intelligent plotting
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
On the implementation of dynamic evaluation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
A simplified method of recognizing zero among elementary constants
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Fast computation of the Smith normal form of an integer matrix
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Mathematical typesetting in Mathematica
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Representation for the radical of a finitely generated differential ideal
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Comparison of various multivariate resultant formulations
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
The singular value decomposition for polynomial systems
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
A rational function decomposition algorithm by near-separated polynomials
Journal of Symbolic Computation
Journal of Symbolic Computation
Galois action on solutions of a differential equation
Journal of Symbolic Computation
Selecting base points for the Schreier-Sims algorithm for matrix groups
Journal of Symbolic Computation
Algorithms for m-fold hypergeometric summation
Journal of Symbolic Computation
An introduction to the analysis of algorithms
An introduction to the analysis of algorithms
On integral bases in relative quadratic extensions
Mathematics of Computation
Buchberger's algorithm: the term rewriter's point of view
Theoretical Computer Science
Algorithms for computing a Hermite reduction of a matrix with polynomial coefficients
Theoretical Computer Science
Greatest factorial factorization and symbolic summation
Journal of Symbolic Computation
Generalized subresultants for computing the Smith normal form of polynomial matrices
Journal of Symbolic Computation
On the complexity of sparse elimination
Journal of Complexity
On a conjecture of Peter Borwein
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
Finding identities with the WZ method
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
Rational summation and Gosper-Petkovsˇek
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
An algorithm for finding recurrence relations of binomial sums and its complexity
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
Computer algebra libraries for combinatorial structures
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
An introduction to pseudo-linear algebra
Selected papers of the conference on Algorithmic complexity of algebraic and geometric models
Ideal decompositions and subfields
Journal of Symbolic Computation
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Algorithmic number theory
Computing the complexification of a semi-algebraic set
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Approximate polynomial greatest common divisors and nearest singular polynomials
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Fast computations in the lattice of polynomial rational function fields
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Exponential space computation of Gröbner bases
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
A case study of multi-threaded Gröbner basis completion
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
MPP: a framework for distributed polynomial computations
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
The general solution of an ordinary differential equation
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Computing Popov and Hermite forms of polynomial matrices
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Asymptotically fast computation of Hermite normal forms of integer matrices
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Near optimal algorithms for computing Smith normal forms of integer matrices
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Generic Gram-Schmidt orthogonalization by exact division
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Computing roadmaps of semi-algebraic sets (extended abstract)
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Normalized rewriting: an alternative to rewriting modulo a set of equations
Journal of Symbolic Computation
Calculating invariant rings of finite groups over arbitrary fields
Journal of Symbolic Computation
The cilk system for parallel multithreaded computing
The cilk system for parallel multithreaded computing
Janet bases of 2nd order ordinary differential equations
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Journal of Symbolic Computation
Strategy compliant multi-threaded term completion
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Hilbert functions and the Buchberger algorithm
Journal of Symbolic Computation
Decomposition of algebraic functions
Journal of Symbolic Computation
Matrix eigenproblems are at the heart of polynomial system solving
ACM SIGSAM Bulletin
The use of computer algebra and Clifford algebra in teaching mathematical physics
Clifford algebras with numeric and symbolic computations
Applying quantifier elimination to the Birkhoff interpolation problem
Journal of Symbolic Computation
Hermite and Smith normal form algorithms over Dedekind domains
Mathematics of Computation
Designs, Codes and Cryptography
Algorithms in algebraic geometry and applications
Algorithms in algebraic geometry and applications
A computational method for diophantine approximation
Algorithms in algebraic geometry and applications
An effective method to classify nilpotent orbits
Algorithms in algebraic geometry and applications
Solving zero-dimensional involutive systems
Algorithms in algebraic geometry and applications
Algorithmic Derivation Of Centre Conditions
SIAM Review
An improved upper complexity bound for the topology computation of a real algebraic plane curve
Journal of Complexity - Special issue for the Foundations of Computational Mathematics conference, Rio de Janeiro, Brazil, Jan. 1997
Involution approach to investigating polynomial systems
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
An algorithm of multisummation of formal power series, solutions of linear ODE equations
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
On computer-assisted research in homological algebra
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
An efficient method for analyzing the topology of plane real algebraic curves
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Symbolic integration I: transcendental functions
Symbolic integration I: transcendental functions
Computation of Galois groups over function fields
Mathematics of Computation
Finite geometries
Implicitization of parametric curves and surfaces by using multidimensional Newton formulae
Journal of Symbolic Computation - Special issue: parametric algebraic curves and applications
Gröbner Bases and Multidimensional FIR Multirate Systems
Multidimensional Systems and Signal Processing
GRGEC: computer algebra system for applications to gravity theory
ACM SIGSAM Bulletin
On solving relative norm equations in algebraic number fields
Mathematics of Computation
Regular Article: Using Schubert Basis to Compute with Multivariate Polynomials
Advances in Applied Mathematics
Advances in Applied Mathematics
Space-efficient scheduling of parallelism with synchronization variables
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
Fast and precise computations of discrete Fourier transforms using cyclotomic integers
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Practical loss-resilient codes
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Improved low-degree testing and its applications
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Rankings of partial derivatives
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Stabilization of polynomial systems solving with Groebner bases
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
An algorithm for computing exponential solutions of first order linear differential systems
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
On randomized Lanczos algorithms
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Fast polynomial factorization over high algebraic extensions of finite fields
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A numerical absolute primality test for bivariate polynomials
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
An OpenMath 1.0 implementation
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Computer evaluation of cyclicity in planar cubic system
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Integration of the signum, piecewise and related functions
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
SIMATH—a computer algebra system for number theoretic applications
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Guarded expressions in practice
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
On the stability of Groübner bases under specializations
Journal of Symbolic Computation
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
REDLOG: computer algebra meets computer logic
ACM SIGSAM Bulletin
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Nonlinear control system design by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Robust multi-objective feedback design by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Testing stability by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simulation and optimization by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simplification of quantifier-free formulae over ordered fields
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
SIAM Journal on Matrix Analysis and Applications
Space-efficient implementation of nested parallelism
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Complexity and real computation
Complexity and real computation
Efficient parallel solution of sparse systems of linear diophantine equations
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A proposal for syntactic data integration math protocols
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
The MAGMA algebra system I: the user language
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Computing Ext algebras for finite groups
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Integer matrix diagonalization
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Converting bases with the Gröbner walk
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Computational methods in commutative algebra and algebraic geometry
Computational methods in commutative algebra and algebraic geometry
Maple V: programming guide
Visualization of periodic tilings
Visualization and mathematics
See what I mean? Using graphics toolkits to visualise numerical data
Visualization and mathematics
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Computing roadmaps of semi-algebraic sets on a variety (extended abstract)
FoCM '97 Selected papers of a conference on Foundations of computational mathematics
Polar varieties, real equation solving, and data structures: the hypersurface case
Journal of Complexity
Simplified lower bounds for polynomials with algebraic coefficients
Journal of Complexity
Decoding of Reed Solomon codes beyond the error-correction bound
Journal of Complexity
Visualizations for mathematics courses based on a computer algebra system
Journal of Symbolic Computation
A use of computers to teach group theory and introduce students to research
Journal of Symbolic Computation
A course in computational nonassociative algebra
Journal of Symbolic Computation
Computer algebra and interpolation: a lesson plan
Journal of Symbolic Computation
Constructing a third-order linear differential equation
Theoretical Computer Science - Special volume on computer algebra
On second order homogeneous linear differential equations with Liouvillian solutions
Theoretical Computer Science - Special volume on computer algebra
On the latest version of DESIR-II
Theoretical Computer Science - Special volume on computer algebra
Implementation of the Painlevé test for ordinary differential systems
Theoretical Computer Science - Special volume on computer algebra
Covers and fans of polynomial ideals
Theoretical Computer Science - Special volume on computer algebra
Theoretical Computer Science - Special volume on computer algebra
Factorization of differential operators with rational functions coefficients
Journal of Symbolic Computation
Rectifying transformations for the integration of rational trigonometric functions
Journal of Symbolic Computation
Symbolic computation of conserved densities for systems of nonlinear evolution equations
Journal of Symbolic Computation
Finding intersections and normalizers in finitely generated nilpotent groups
Journal of Symbolic Computation
A polycyclic quotient algorithm
Journal of Symbolic Computation
Algebraic aspects of cryptography
Algebraic aspects of cryptography
Space-Efficient Scheduling of Multithreaded Computations
SIAM Journal on Computing
Decoding algebraic-geometric codes beyond the error-correction bound
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Asymptotic acceleration of solving multivariate polynomial systems of equations
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Parallel computer algebra (tutorial)
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Systems of algebraic equations with bad reduction
Journal of Symbolic Computation
Descriptions of groups of prime-power order
Journal of Symbolic Computation
Term rewriting and all that
Representations of orthogonal polynomials
Journal of Computational and Applied Mathematics
Automatic synthesis of numerical codes for solving partial differential equations
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
Singular systems of polynomials
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
FOXBOX: a system for manipulating symbolic objects in black box representation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
The GAP 4 type system: organising algebraic algorithms
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
An O(n3) algorithm for the Frobenius normal form
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Certifying inconsistency of sparse linear systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Efficient algorithms for ideal operations (extended abstract)
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
A note on Nielsen reduction and coset enumeration
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Optimization strategies for the approximate GCD problem
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Efficient algorithms for computing the nearest polynomial with constrained roots
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Recursive integration of piecewise-continuous functions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Rational parametrization of real algebraic surfaces
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Involutive bases of polynomial ideals
Mathematics and Computers in Simulation - Special issue: Simplification of systems of algebraic and differential equations with applications
Mathematics and Computers in Simulation - Special issue: Simplification of systems of algebraic and differential equations with applications
The theory of involutive divisions and an application to Hilbert function computations
Journal of Symbolic Computation
Symbolic computation of explicat Runge-Kutta formulas
Solving problems in scientific computing using Maple and MATLAB (3rd ed.)
Non-commmutative elimination in ore algebras proves multivariate identities
Journal of Symbolic Computation
Advances on the simplification of sine-cosine equations
Journal of Symbolic Computation
Multilevel k-way partitioning scheme for irregular graphs
Journal of Parallel and Distributed Computing
Theoretical Computer Science - Special issue on rewriting techniques and applications
The design, implementation, and evaluation of Jade
ACM Transactions on Programming Languages and Systems (TOPLAS)
TTC: symbolic tensor calculus with indices
Computers in Physics
Strategies for computing minimal free resolutions
Journal of Symbolic Computation
Computing automatic coset systems and subgroup presentations
Journal of Symbolic Computation
Subquadratic-time factoring of polynomials over finite fields
Mathematics of Computation
Applications of digital signal processing to audio and acoustics
Applications of digital signal processing to audio and acoustics
European Journal of Combinatorics
Journal of Symbolic Computation - Special issue on symbolic numeric algebra for polynomials
When are two numerical polynomials relatively prime?
Journal of Symbolic Computation - Special issue on symbolic numeric algebra for polynomials
Riemann surfaces, plane algebraic curves and their period matrices
Journal of Symbolic Computation - Special issue on symbolic numeric algebra for polynomials
Journal of Symbolic Computation
Fast rectangular matrix multiplication and applications
Journal of Complexity
Journal of Symbolic Computation
The groups of order at most 1000 except 512 and 768
Journal of Symbolic Computation
The moving line ideal basis of planar rational curves
Computer Aided Geometric Design
Automatic classification of normal forms
Nonlinear Analysis: Theory, Methods & Applications
Euclid's algorithm and the lanczos method over finite fields
Mathematics of Computation
Modern computer algebra
Block solution of sparse linear systems over GF (q): the singular case
ACM SIGSAM Bulletin
Proceedings of the 1999 international symposium on Symbolic and algebraic computation
International Symposium on Symbolic and Algebraic Computation
Solving some overdetermined polynomial systems
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Existence and uniqueness theorems for formal power series solutions of analytic differential systems
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
A reduction algorithm for matrices depending on a parameter
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Mixed real-integer linear quantifier elimination
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Shifted normal forms of polynomial matrices
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Efficient algorithms for computing the nearest polynomial with a real root and related problems
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Approximate polynomial decomposition
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Graphical t-designs via polynomial Kramer-Mesner matrices
Discrete Mathematics
Solving polynomials by radicals with roots of unity in minimum depth
Mathematics of Computation
On the theories of triangular sets
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Triangular sets for solving polynomial systems: a comparative implementation of four methods
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Gröbner bases, invariant theory and equivariant dynamics
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
The number of centered Lozenge tilings of a symmetric hexagon
Journal of Combinatorial Theory Series A
A strong and easily computable separation bound for arithmetic expressions involving square roots
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Approximate polynomial Gcds, Padé approximation, polynomial zeros and bipartite graphs
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation
ACM Transactions on Mathematical Software (TOMS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Exact Solution of Systems of Linear Equations with Polynomial Coefficients
Journal of the ACM (JACM)
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM (JACM)
Complete Sets of Reductions for Some Equational Theories
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Galois theory of differential equations, algebraic groups and Lie algebras
Journal of Symbolic Computation - Special issue on differential algebra and differential equations
Computing Galois groups of completely reducible differential equations
Journal of Symbolic Computation - Special issue on differential algebra and differential equations
On rational solutions of systems of linear differential equations
Journal of Symbolic Computation - Special issue on differential algebra and differential equations
An algorithm computing the regular formal solutions of a system of linear differential equations
Journal of Symbolic Computation - Special issue on differential algebra and differential equations
Liouvillian solutions of linear differential equations of order three and higher
Journal of Symbolic Computation - Special issue on differential algebra and differential equations
Essential components of an algebraic differential equation
Journal of Symbolic Computation - Special issue on differential algebra and differential equations
Multibasic and mixed hypergeometric Gosper-type algorithms
Journal of Symbolic Computation - Special issue on differential algebra and differential equations
Algorithm for q-hypergeometric summation in computer algebra
Journal of Symbolic Computation - Special issue on orthogonal polynomials and computer algebra
Towards high-performance symbolic computing: using MuPAD as a problem solving environment
Mathematics and Computers in Simulation - Special issue on high performance symbolic computing
Time-space tradeoffs in algebraic complexity theory
Journal of Complexity
Processor efficient parallel solution of linear systems of equations
Journal of Algorithms
Proceedings of the 2000 international symposium on Symbolic and algebraic computation
International Symposium on Symbolic and Algebraic Computation
Integer Smith form via the valence: experience with large sparse matrices from homology
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Black box Frobenius decompositions over small fields
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Pseudofactors of multivariate polynomials
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Analysis of Algorithms, A Case Study: Determinants of Matrices with Polynomial Entries
ACM Transactions on Mathematical Software (TOMS)
Efficient Gaussian Elimination Method for Symbolic Determinants and Linear Systems
ACM Transactions on Mathematical Software (TOMS)
Galois group computation for rational polynomials
Journal of Symbolic Computation - Algorithmic methods in Galois Theory
Explicit Galois realization of transitive groups of degree up to 15
Journal of Symbolic Computation - Algorithmic methods in Galois Theory
An algorithm of Katz and its application to the inverse Galois problem
Journal of Symbolic Computation - Algorithmic methods in Galois Theory
Journal of Symbolic Computation - Special issue on applications of the Gröbner basis method
Factoring polynomials over finite fields: a survey
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the second Magma conference
Calculating group cohomology: tests for completion
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the second Magma conference
Computer algebra systems: a practical guide
Computer algebra systems: a practical guide
A Gröbner free alternative for polynomial system solving
Journal of Complexity
Kronecker's and Newton's approaches to solving: a first comparison
Journal of Complexity
A new method to obtain lower bounds for polynomial evaluation
Theoretical Computer Science
Towards factoring bivariate approximate polynomials
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Semi-numerical determination of irreducible branches of a reduced space curve
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Approximate multivariate polynomial factorization based on zero-sum relations
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
The nearest polynomial with a given zero, and similar problems
ACM SIGSAM Bulletin
Structured matrices and polynomials: unified superfast algorithms
Structured matrices and polynomials: unified superfast algorithms
Factoring a binary polynomial of degree over one million
ACM SIGSAM Bulletin
Fast computation of the Smith form of a sparse integer matrix
Computational Complexity
The Art of Computer Programming Volumes 1-3 Boxed Set
The Art of Computer Programming Volumes 1-3 Boxed Set
Using Reduce in High Energy Physics
Using Reduce in High Energy Physics
Accuracy and Stability of Numerical Algorithms
Accuracy and Stability of Numerical Algorithms
The Mathematica Book
CalcLabs with Maple V
Reed-Solomon Codes and Their Applications
Reed-Solomon Codes and Their Applications
Parallel Symbolic Computation PASCO, 1994: Proceedings of the First International Symposium
Parallel Symbolic Computation PASCO, 1994: Proceedings of the First International Symposium
Calculus with Maple V
Computer Algebra and Parallelism: Proceedings, Second International Workshop, Ithaca, USA, May 9-11, 1990
Theory of Language Syntax: Categorical Approach
Theory of Language Syntax: Categorical Approach
Computer Simulation and Computer Algebra: Lectures for Beginners
Computer Simulation and Computer Algebra: Lectures for Beginners
Introduction to Robotics: Mechanics and Control
Introduction to Robotics: Mechanics and Control
Symbolic Computation: Applications to Scientific Computing
Symbolic Computation: Applications to Scientific Computing
Algebraic Algorithms and Error-Correcting Codes
Algebraic Algorithms and Error-Correcting Codes
Primality and Cryptography
Lecture Notes on Bucket Algorithms
Lecture Notes on Bucket Algorithms
Fast Algorithms for Digital Signal Processing
Fast Algorithms for Digital Signal Processing
Semantic Networks in Artificial Intelligence
Semantic Networks in Artificial Intelligence
Computer Algebra in Industry 2: Problem Solving in Practice
Computer Algebra in Industry 2: Problem Solving in Practice
Relativity and Scientific Computing: Computer Algebra, Numerics, Visualization
Relativity and Scientific Computing: Computer Algebra, Numerics, Visualization
Computer-Aided Analysis of Difference Schemes for Partial Differential Equations
Computer-Aided Analysis of Difference Schemes for Partial Differential Equations
Polynomial Algorithms in Computer Algebra
Polynomial Algorithms in Computer Algebra
Symbolic Rewriting Techniques
Handbook of Coding Theory
Elimination Methods in Polynomial Computer Algebra
Elimination Methods in Polynomial Computer Algebra
Symmetry Analysis of Differential Equations with Mathematica with Cdrom
Symmetry Analysis of Differential Equations with Mathematica with Cdrom
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Discovering Mathematics with Maple: An Interactive Exploration for Mathematicians, Engineers, and Econometricians
Computer Algebra in Scientific Computing: Casc '99: Workshop on Computer Algebra in Scientific Computing 1999
Computer Algebra in Scientific Computing: Casc 2001: Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Kon
Elliptic Curve Public Key Cryptosystems
Elliptic Curve Public Key Cryptosystems
Concrete Mathematics: A Foundation for Computer Science
Concrete Mathematics: A Foundation for Computer Science
Computer Simulation and Computer Algebra: Lectures for Beginners
Computer Simulation and Computer Algebra: Lectures for Beginners
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Welcome to Calculus and Mathematica
Welcome to Calculus and Mathematica
Public-Key Cryptography State
Exploring Calculus with Mathematica for the MacIntosh Interface
Exploring Calculus with Mathematica for the MacIntosh Interface
Word Processing in Groups
Calculus Laboratories With Maple
Calculus Laboratories With Maple
Symbolic Analysis for Automated Design of Analog Integrated Circuits
Symbolic Analysis for Automated Design of Analog Integrated Circuits
Algebraic-Geometric Codes
Canonical Equational Proofs
Introduction to Coding Theory and Algebraic Geometry
Introduction to Coding Theory and Algebraic Geometry
Computer Algebra and Parallelism
Computer Algebra and Parallelism
Varieties Of Formal Languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Algorithms in Modern Mathematics and Computer Science: Proceedings
Algorithms in Modern Mathematics and Computer Science: Proceedings
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components
SIAM Journal on Numerical Analysis
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Triviality and Dimension of a System of Algebraic Differential Equations
Journal of Automated Reasoning
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Computer Algebra in Industry: Problem Solving in Practice: Proceedings of the 1991 Scafi Seminar at Cwi, Amsterdam
Simple 8-Designs with Small Parameters
Designs, Codes and Cryptography
Computing rational forms of integer matrices
Journal of Symbolic Computation
SciNapse: A Problem-Solving Environment for Partial Differential Equations
IEEE Computational Science & Engineering
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
AAECC-10 Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
AAECC-12 Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
DISCO '92 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Proceedings of the European Computer Algebra Conference on Computer Algebra
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Proceedings of the European Computer Algebra Conference on Computer Algebra
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Proceedings of the International Symposium on Symbolic and Algebraic Computation
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
Proceedings of the 5th International Conference on Rewriting Techniques and Applications
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Proceedings of the 7th International Conference on Rewriting Techniques and Applications
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Proceedings of the 8th International Conference on Rewriting Techniques and Applications
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
Proceedings of the 9th International Conference on Rewriting Techniques and Applications
RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
Proceedings of the 10th International Conference on Rewriting Techniques and Applications
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Proceedings of the 11th International Conference on Rewriting Techniques and Applications
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Komplexität von Entscheidungsproblemen, Ein Seminar
Komplexität von Entscheidungsproblemen, Ein Seminar
Proceedings of the Second International Workshop on Automated Deduction in Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Proceedings of the Third International Conference on Algebraic and Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Proceedings of the International Symposium on Trends in Computer Algebra
Proceedings of the International Symposium on Trends in Computer Algebra
Proceedings of the First International Symposium on Algorithmic Number Theory
ANTS-I Proceedings of the First International Symposium on Algorithmic Number Theory
Proceedings of the Second International Symposium on Algorithmic Number Theory
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
Combinatorial Hardness Proofs for Polynomial Evaluation
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Specifying Real Numbers in CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Groebner Bases for Non-Commutative Polynomial Rings
AAECC-3 Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes
Computer and Commutative Algebra
AAECC-6 Proceedings of the 6th International Conference, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Some New Effectivity Bounds in Computational Geometry
AAECC-6 Proceedings of the 6th International Conference, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Polynomial Decomposition Algorithm of Almost Quadratic Complexity
AAECC-6 Proceedings of the 6th International Conference, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Standard Bases of Differential Ideals
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
PARSAC-2: A Parallel SAC-2 Based on Threads
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Integer Multiplication in PARSAC-2 on Stock Microprocessors
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Buchberger Algorithm and Integer Programming
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Distributed Symbolic Computation with DTS
IRREGULAR '95 Proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems
Algorithms for the Shape of Semialgebraic Sets. A New Approach
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Some Constructions in Rings of Differential Polynomials
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
On Wiedemann's Method of Solving Sparse Linear Systems
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
How Lower and Upper Complexity Bounds Meet in Elimination Theory
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
When Polynomial Equation Systems Can Be "Solved" Fast?
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Isometry Classes of Indecomposable Linear Codes
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Testing Identities of Series Defined by Algebraic Partial Differential Equations
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The Discovery of Simple 7-Designs with Automorphism Group PTL (2, 32)
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Yet Another Ideal Decomposition Algorithm
AAECC-12 Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Efficient Type Inference and Coercion in Computer Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Scratchpad's View of Algebra I: Basic Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Will DELia Grow Into An Expert System?
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
CoCoA: a User-Friendly System for Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
The Design of Cayley - a Language for Modern Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Data Representation and In-built Compilation in the Computer Algebra Program FELIX
DISCO '92 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Building a Computer Algebra Environment by Composition of Collaborative Tools
DISCO '92 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
The Design of the SACLIB/PACLIB Kernels
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
An Intelligent Interface to Numerical Routines
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
CASA - A System for Computer Aided Constructive Algebraic Geometry
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Polynomial Factorization 1987-1991
LATIN '92 Proceedings of the 1st Latin American Symposium on Theoretical Informatics
Groebner Bases in Non-Commutative Algebras
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
An Algorithm for Symbolic Computation of Center Manifolds
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Algebraic Extensions and Algebraic Closure in Scratchpad II
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians?
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Cayley, Version 4: The User Language
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Probabilistic algorithms for sparse polynomials
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Approximate algorithms to derive exact solutions to systems of linear equations
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Polynomial Factorization by Root Approximation
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
Upper and Lower Bounds for the Degree of Groebner Bases
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
Polynomial Time Algorithms for Galois Groups
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
An Algorithm to Compute the Equations of Tangent Cones
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
A procedure for determining algebraic integers of given norm
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
The computer algebra system SIMATH
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
Complexity of quantifier elimination in the theory of ordinary differential equations
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
Properties of Gröbner bases under specializations
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
Gröbner bases for polynomial ideals over commutative regular rings
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
Computer Algebra and Practical Analysis
EUROCAL '85 Invited Lectures from the European Conference on Computer Algebra-Volume I - Volume I
Fast Polynominal Decomposition Algorithms
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Term Orderings on the Polynominal Ring
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Symbol Representations of Noncommutative Algebras
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Some Algorithmic Questions of Constructing Standard Bases
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Algorithms in modern mathematics and computer science
Proceedings on Algorithms in Modern Mathematics and Computer Science
Solving Large Sparse Linear Systems over Finite Fields
CRYPTO '90 Proceedings of the 10th Annual International Cryptology Conference on Advances in Cryptology
An Implementation of the General Number Field Sieve
CRYPTO '93 Proceedings of the 13th Annual International Cryptology Conference on Advances in Cryptology
Cryptanalysis of the Oil & Vinegar Signature Scheme
CRYPTO '98 Proceedings of the 18th Annual International Cryptology Conference on Advances in Cryptology
The Solution of McCurley's Discrete Log Challenge
CRYPTO '98 Proceedings of the 18th Annual International Cryptology Conference on Advances in Cryptology
The Magic Words are Squeamish Ossifrage
ASIACRYPT '94 Proceedings of the 4th International Conference on the Theory and Applications of Cryptology: Advances in Cryptology
Correlation Attacks on Cascades of Clock Controlled Shift Registers
ASIACRYPT '96 Proceedings of the International Conference on the Theory and Applications of Cryptology and Information Security: Advances in Cryptology
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Distributing Equational Theorem Proving
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
ReDuX 1.5: New Facets of Rewriting
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors
Proceedings of the First International ACPC Conference on Parallel Computation
Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets
Selected Papers from the International Workshop on Automated Deduction in Geometry
Computational Geometry Problems in REDLOG
Selected Papers from the International Workshop on Automated Deduction in Geometry
Solving Geometric Problems with Real Quantifier Elimination
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Implementations of Completion by Transition Rules + Control: ORME
Proceedings of the Second International Conference on Algebraic and Logic Programming
Non-linear Real Constraints in Constraint Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Termination of Rewrite Systems by Elementary Interpretations
Proceedings of the Third International Conference on Algebraic and Logic Programming
The S-Threads Environment for Parallel Symbolic Computation
Proceedings of the Second International Workshop on Computer Algebra and Parallelism
A New Approach to Resultant Computations and Other Algorithms with Exact Division
ESA '94 Proceedings of the Second Annual European Symposium on Algorithms
Scratchpad II: An Abstract Datatype System for Mathematical Computation
Proceedings of the International Symposium on Trends in Computer Algebra
Canonical Forms in Finitely Presented Algebras
Proceedings of the 7th International Conference on Automated Deduction
ANTS-I Proceedings of the First International Symposium on Algorithmic Number Theory
Constructing elliptic curves with given group order over large finite fields
ANTS-I Proceedings of the First International Symposium on Algorithmic Number Theory
Probabilistic Computation of the Smith Normal Form of a Sparse Integer Matrix
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
Computing S-Integral Points on Elliptic Curves
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
Construction of High-Rank Elliptic Curves over Q and Q(t) with Non-Trivial 2-Torsion
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
Discrete Logarithms: The Effectiveness of the Index Calculus Method
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
On Integral Basis Reduction in Global Function Fields
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
Primality Proving Using Elliptic Curves: An Update
ANTS-III Proceedings of the Third International Symposium on Algorithmic Number Theory
Cyclotomy Primality Proving - Recent Developments
ANTS-III Proceedings of the Third International Symposium on Algorithmic Number Theory
Experimental Results on Class Groups of Real Quadratic Fields
ANTS-III Proceedings of the Third International Symposium on Algorithmic Number Theory
Artificial Intelligence and Symbolic Mathematical Computation
AISMC-1 Proceedings of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving
Proceedings of the 10th International Conference on Automated Deduction
Implicitization of Rational Parametric Curves and Surfaces
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The Complexity of Formal Resolution of Linear Partial Differential Equations
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Triangular Systems and Factorized Gröbner Bases
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Parallel Real Root Isolation Using the Coefficient Sign Variation Method
Proceedings of the Second International Workshop on Computer Algebra and Parallelism
A Note on the Hash Function of Tillich and Zémor
Proceedings of the 5th IMA Conference on Cryptography and Coding
Factoring multivariate polynomials via partial differential equations
Mathematics of Computation
Reductions, codes, PCPs, and inapproximability
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
On the Combinatorial and Topological Complexity of a Single Cell
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
On computing the determinant and Smith form of an integer matrix
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
ACM '78 Proceedings of the 1978 annual conference
Testing polynomials which are easy to compute (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Calculating presentations for certain kinds of quotient groups
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Algebraic factoring and rational function integration
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
The basis of a computer system for modern algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Polynomial factorization and nonrandomness of bits of algebraic and some transcendental numbers
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Polynomial Decomposition Algorithms For Multivariate Polynomials
Polynomial Decomposition Algorithms For Multivariate Polynomials
Efficient and Reliable Computation with Algebraic Numbers for Geometric Algorithms
Efficient and Reliable Computation with Algebraic Numbers for Geometric Algorithms
Counting real zeros
Computational aspects of discrete logarithms
Computational aspects of discrete logarithms
ACM SIGPLAN Notices
On the parallel Risch algorithm (III): use of tangents
ACM SIGSAM Bulletin
Gentran: an automatic code generation facility for REDUCE
ACM SIGSAM Bulletin
The algorithm description language ALDES (report)
ACM SIGSAM Bulletin
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Computational Commutative Algebra 1
Computational Commutative Algebra 1
Applicable Algebra in Engineering, Communication and Computing - Special Issue: Jacobi's Legacy
Constructing transitive permutation groups
Journal of Symbolic Computation
Computing zero-dimensional schemes
Journal of Symbolic Computation
A block Lanczos algorithm for finding dependencies over GF(2)
EUROCRYPT'95 Proceedings of the 14th annual international conference on Theory and application of cryptographic techniques
Filter bank tree and M-band wavelet packet algorithms in audiosignal processing
IEEE Transactions on Signal Processing
Digital filter bank design quadratic-constrained formulation
IEEE Transactions on Signal Processing
On the decoding of algebraic-geometric codes
IEEE Transactions on Information Theory - Part 1
Fast decoding of algebraic-geometric codes up to the designed minimum distance
IEEE Transactions on Information Theory - Part 1
IEEE Transactions on Information Theory - Part 1
Systematic encoding via Grobner bases for a class of algebraic-geometric Goppa codes
IEEE Transactions on Information Theory - Part 1
Generalized Berlekamp-Massey decoding of algebraic-geometric codes up to half the Feng-Rao bound
IEEE Transactions on Information Theory - Part 1
IEEE Transactions on Information Theory - Part 1
Linear-time encodable and decodable error-correcting codes
IEEE Transactions on Information Theory - Part 1
Dimsym and LIE: Symmetry determination packages
Mathematical and Computer Modelling: An International Journal
Involution analysis for nonlinear exterior differential systems
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |