Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Mathematics

Commutative Algebra in the Mizar System

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2001English

Factoring Polynomials Over Finite Fields: A Survey

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2001English

Combining Enumeration and Deductive Techniques in Order to Increase the Class of Constructible Infinite Models

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

Combining Symbolic Constraint Solvers on Algebraic Domains

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Regular Path Expressions in Feature Logic

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Reporting Flock Patterns

Computational Geometry: Theory and Applications
ControlOptimizationGeometryComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTopology
2008English

Quantifier Elimination in Automatic Loop Parallelization

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2006English

Optimal State Feedback Input-Output Stabilization of Infinite-Dimensional Discrete Time-Invariant Linear Systems

Complex Analysis and Operator Theory
MathematicsComputational MathematicsApplied MathematicsComputational Theory
2007English

On the Complexity of Gröbner Bases Conversion

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1999English

Higher-Order Unification Revisited: Complete Sets of Transformations

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy