The following pages link to Journal of Symbolic Computation (Q99061):
Displaying 50 items.
- Matrix-F5 algorithms over finite-precision complete discrete valuation fields (Q5891054) (← links)
- Multihomogeneous resultant formulae for systems with scaled support (Q5891547) (← links)
- Sparse difference resultant (Q5891997) (← links)
- Polynomial decomposition algorithms (Q5893804) (← links)
- On computer-assisted classification of coupled integrable equations (Q5894825) (← links)
- A probabilistic algorithm to test local algebraic observability in polynomial time (Q5894826) (← links)
- Isoclinism of crossed modules (Q5899568) (← links)
- Symbolic-numeric sparse interpolation of multivariate polynomials (Q5902083) (← links)
- Polynomial decomposition algorithms (Q5903274) (← links)
- Parallel reductions in \(\lambda\)-calculus (Q5903814) (← links)
- An algorithm for computing the integral closure (Q5906275) (← links)
- Fast construction of irreducible polynomials over finite fields (Q5906578) (← links)
- An algorithm to compute the kernel of a derivation up to a certain degree (Q5915422) (← links)
- Solving word equations (Q5916475) (← links)
- Triangular decomposition of semi-algebraic systems (Q5917866) (← links)
- Foreword (Q5918134) (← links)
- Powers of monomial ideals and the Ratliff-Rush operation (Q5919092) (← links)
- An adaptive prefix-assignment technique for symmetry reduction (Q5919303) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
- Logspace computations in graph products (Q5925209) (← links)
- Tame decompositions and collisions (Q5925210) (← links)
- A systematic framework for solving geometric constraints analytically (Q5926297) (← links)
- Computing orbits of minimal parabolic \(k\)-subgroups acting on symmetric \(k\)-varieties (Q5926298) (← links)
- An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals (Q5926299) (← links)
- On the practical solution of genus zero Diophantine equations (Q5926300) (← links)
- Proper parametrization of real tubular surfaces (Q5926301) (← links)
- Divisorial extensions and the computation of integral closures (Q5926302) (← links)
- \((1+i)\)-ary GCD computation in \(\mathbb Z[i]\) as an analogue to the binary GCD algorithm. (Q5926303) (← links)
- The symbolic integration of exact PDEs. (Q5926304) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
- Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria (Q5927983) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)
- Using Galois ideals for computing relative resolvents (Q5927988) (← links)
- Galois group computation for rational polynomials (Q5927989) (← links)
- Explicit Galois realization of transitive groups of degree up to 15 (Q5927990) (← links)
- Multi-parameter polynomials with given Galois group (Q5927991) (← links)
- A polynomial with Galois group \(\text{SL}_2(11)\) (Q5927992) (← links)
- Boundary of Hurwitz spaces and explicit patching (Q5927993) (← links)
- An algorithm of Katz and its application to the inverse Galois problem. (Q5927994) (← links)
- Projective linear groups as Galois groups over \({\mathbb Q}\) via modular representations (Q5927995) (← links)
- Explicit solutions of Galois embedding problems by means of generalized Clifford algebras (Q5927996) (← links)
- Generic polynomials with few parameters (Q5927997) (← links)
- Generic and explicit realization of small \(p\)-groups (Q5927998) (← links)
- Generic extensions and generic polynomials (Q5927999) (← links)
- Special issue on computational algebra and number theory: Proceedings of the 2nd Magma conference, Milwaukee, WI, USA, May 12--16, 1996 (Q5928876) (← links)
