Using Buchbergers algorithm in invariant theory
ACM SIGSAM Bulletin
Gröbner and involutive bases for zero-dimensional ideals
ACM SIGSAM Bulletin
Parametric design and its impact on solid modeling applications
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Algorithms for computing sparse shifts for multivariate polynomials
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Groebner basis under composition II
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
Analysis of zero clusters in multivariate polynomial systems
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
Extraneous factors in the Dixon resultant formulation
ISSAC '97 Proceedings of the 1997 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 new algorithm for the geometric decomposition of a variety
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Commutativity theorems: examples in search of algorithms
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
The complexity of resolvent resolved
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
Software architecture for a constraint-based virtual environment
Proceedings of the ACM symposium on Virtual reality software and technology
An improved algorithm for the resolution of singularities
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Computing canonical representatives of regular differential ideals
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Conditions for exact resultants using the Dixon formulation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Solving projective complete intersection faster
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Solving systems of linear one-sided equations in integer monoid and group rings
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
How to check if a finitely generated commutative monoid is a principal ideal commutative monoid
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Modules and Behaviours in nD Systems Theory
Multidimensional Systems and Signal Processing - Recent progress in multidimensional control theory and applications
Computation of the radical of polynomial ideals over fields of arbitrary characteristic
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Remarks on Gröbner basis for ideals under composition
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A new algorithm for discussing Gröbner bases with parameters
Journal of Symbolic Computation
Continuously parameterized symmetries and Buchberger's algorithm
Journal of Symbolic Computation
A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Reduction of permutation-invariant polynomials
Information and Computation
Finite SAGBI bases for polynomial invariants of conjugates of alternating groups
Mathematics of Computation
On geometric and topological reasoning in robotics
Annals of Mathematics and Artificial Intelligence
Derivations and radicals of polynomial ideals over fields of arbitrary characteristic
Journal of Symbolic Computation - Computer algebra: Selected papers from ISSAC 2001
Journal of Symbolic Computation
Computing the primary decomposition of zero-dimensional ideals
Journal of Symbolic Computation
Gröbner Bases for Complete Uniform Families
Journal of Algebraic Combinatorics: An International Journal
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Calculating Generators for Invariant Fields of Linear Algebraic Groups
AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
A New Criterion for Normal Form Algorithms
AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Lifting Decoding Schemes over a Galois Ring
AAECC-14 Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Rewrite Closure for Ground and Cancellative AC Theories
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Reach Set Computations Using Real Quantifier Elimination
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Gröbner Bases: A Short Introduction for Systems Theorists
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Fast Rewriting of Symmetric Polynomials
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Petri Net Theory - Problems Solved by Commutative Algebra
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
The term orderings which are compatible with composition II
Journal of Symbolic Computation
Non-standard approaches to integer programming
Discrete Applied Mathematics
A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Canonical comprehensive Gröbner bases
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
On primitive recursive algorithms and the greatest common divisor function
Theoretical Computer Science
Computer algebra handbook
Canonical comprehensive Gröbner bases
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Journal of Automated Reasoning
An algorithm to find a coordinate's mate
Journal of Symbolic Computation
An effective decision method for semidefinite polynomials
Journal of Symbolic Computation
Generalized Reduction in Rings of Differential Polynomials
Programming and Computing Software
Polynomial equation solving by lifting procedures for ramified fibers
Theoretical Computer Science - Algebraic and numerical algorithm
Computing polynomial program invariants
Information Processing Letters
Computer algebra methods for implicit dynamic systems and applications
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Equivalence verification of arithmetic datapaths with multiple word-length operands
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Gröbner bases and the defining polynomial of a context-free grammar generating function
Journal of Automata, Languages and Combinatorics
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Gröbner bases in difference-differential modules
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Towards the automatic exploration of arithmetic-circuit architectures
Proceedings of the 43rd annual Design Automation Conference
Some formal tools for analyzing quantum automata
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
On the design of a Java computer algebra system
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
A constraint solver for model-based engineering
AI Communications
Polynomial approximations of the relational semantics of imperative programs
Science of Computer Programming
Rational invariants of a group action. Construction and rewriting
Journal of Symbolic Computation
Generating all polynomial invariants in simple loops
Journal of Symbolic Computation
Are Buchberger's criteria necessary for the chain condition?
Journal of Symbolic Computation
Progressive decomposition: a heuristic to structure arithmetic circuits
Proceedings of the 44th annual Design Automation Conference
Rational hypersurfaces with rational convolutions
Computer Aided Geometric Design
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Decidability Problems of a Basic Class of Object Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
A pommaret division algorithm for computing Grobner bases in boolean rings
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Deciding polynomial-exponential problems
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Evaluation of a Java Computer Algebra System
Computer Mathematics
On Field Size and Success Probability in Network Coding
WAIFI '08 Proceedings of the 2nd international workshop on Arithmetic of Finite Fields
Effective Set Membership in Computer Algebra and Beyond
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Algebraic Attacks on the Courtois Toy Cipher
Cryptologia
PN surfaces and their convolutions with rational surfaces
Computer Aided Geometric Design
Indeterminate forms and their behaviours
WSEAS Transactions on Mathematics
Certifying properties of an efficient functional program for computing Gröbner bases
Journal of Symbolic Computation
The Optimal H∞ Norm of a Parametric System Achievable by an Output Feedback Controller
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Role of involutive criteria in computing Boolean Gröbner bases
Programming and Computing Software
Computing generating sets of lattice ideals and Markov bases of lattices
Journal of Symbolic Computation
Decomposition of algebraic sets and applications to weak centers of cubic systems
Journal of Computational and Applied Mathematics
Utilizing moment invariants and Grobner bases to reason about shapes
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A Study on Gröbner Basis with Inexact Input
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Note on Strictly Competitive Games
WINE '09 Proceedings of the 5th International Workshop on Internet and Network Economics
Ideals, bifiltered modules and bivariate Hilbert polynomials
Journal of Symbolic Computation
Tree polynomials and non-associative Gröbner bases
Journal of Symbolic Computation
Computing restrictions of ideals in finitely generated k-algebras by means of Buchberger's algorithm
Journal of Symbolic Computation
The lex game and some applications
Journal of Symbolic Computation
Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Notes on triangular sets and triangulation-decomposition algorithms II: differential systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Passive complete orthonomic systems of PDEs and involutive bases of polynomial modules
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Automatic determination of algebraic surfaces as loci of points
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
On proving the absence of oscillations in models of genetic circuits
AB'07 Proceedings of the 2nd international conference on Algebraic biology
On computation of Boolean involutive bases
Programming and Computing Software
Cylinders through five points: complex and real enumerative geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Robust stabilisation of polynomial systems with uncertain parameters
International Journal of Systems Science
A new algorithm for computing comprehensive Gröbner systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Efficient interpolation in the Guruswami-Sudan algorithm
IEEE Transactions on Information Theory
An analysis of the RC4 family of stream ciphers against algebraic attacks
AISC '10 Proceedings of the Eighth Australasian Conference on Information Security - Volume 105
Gröbner bases for polynomial systems with parameters
Journal of Symbolic Computation
F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
Journal of Symbolic Computation
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
MXL3: an efficient algorithm for computing gröbner bases of zero-dimensional ideals
ICISC'09 Proceedings of the 12th international conference on Information security and cryptology
Algebraic approach to ambiguity-group determination in nonlinear analog circuits
IEEE Transactions on Circuits and Systems Part I: Regular Papers
Extending clause learning of SAT solvers with Boolean Gröbner bases
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Artificial discontinuities of single-parametric Gröbner bases
Journal of Symbolic Computation
A Polynomial Model for Logics with a Prime Power Number of Truth Values
Journal of Automated Reasoning
Signature-based algorithms to compute Gröbner bases
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Unique factorization domains in the java computer algebra system
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Algebraic precomputations in differential and integral cryptanalysis
Inscrypt'10 Proceedings of the 6th international conference on Information security and cryptology
Lyapunov stability analysis of higher-order 2-D systems
Multidimensional Systems and Signal Processing
Involutive division generated by an antigraded monomial ordering
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Algebraic structures as typed objects
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Translating mathematical vernacular into knowledge repositories
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Gröbner bases: theory refinement in the mizar system
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Block ciphers sensitive to gröbner basis attacks
CT-RSA'06 Proceedings of the 2006 The Cryptographers' Track at the RSA conference on Topics in Cryptology
A zero-dimensional gröbner basis for AES-128
FSE'06 Proceedings of the 13th international conference on Fast Software Encryption
Reparameterization of curves and surfaces with respect to their convolution
MMCS'08 Proceedings of the 7th international conference on Mathematical Methods for Curves and Surfaces
Features of interaction between formal concept analysis and algebraic geometry
Formal Concept Analysis
Schema-guided synthesis of imperative programs by constraint solving
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Circulant digraphs and monomial ideals
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Hilbert stratification and parametric gröbner bases
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Intervals, syzygies, numerical gröbner bases: a mixed study
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Sudokus and Gröbner bases: not only a divertimento
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
ISPEC'10 Proceedings of the 6th international conference on Information Security Practice and Experience
Implicitization of rational curves
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
On the relation between the MXL family of algorithms and Gröbner basis algorithms
Journal of Symbolic Computation
Consistency analysis of finite difference approximations to PDE systems
MMCP'11 Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science
Programming and Computing Software
Discussion on polynomials having polynomial iterative roots
Journal of Symbolic Computation
Difference algebra and system identification
Automatica (Journal of IFAC)
Description of Minimum Weight Codewords of Cyclic Codes by Algebraic Systems
Finite Fields and Their Applications
Polly cracker, revisited, revisited
PKC'12 Proceedings of the 15th international conference on Practice and Theory in Public Key Cryptography
Decidability Problems of a Basic Class of Object Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation
Fundamenta Informaticae
Regularized learning in Banach spaces as an optimization problem: representer theorems
Journal of Global Optimization
Deducing the constraints in the light-cone SU(3) Yang-Mills mechanics via Gröbner bases
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Journal of Symbolic Computation
Comprehensive involutive systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
On the use of Buchberger criteria in G2V algorithm for calculating Gröbner bases
Programming and Computing Software
The termination of the F5 algorithm revisited
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
On the complexity of computing gröbner bases for quasi-homogeneous systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Steering user behavior with badges
Proceedings of the 22nd international conference on World Wide Web
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence
Involutive bases algorithm incorporating F5 criterion
Journal of Symbolic Computation
On the largest affine sub-families of a family of NFSR sequences
Designs, Codes and Cryptography
Hi-index | 0.06 |