Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Number Theory

Corrigendum

Algebra Universalis
Number TheoryLogicAlgebra
1994English

Proper Parametrization of Real Tubular Surfaces

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

Confluence of Curried Term-Rewriting Systems

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

The Calculation of Radical Ideals in Positive Characteristic

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2002English

Resolution-Based Theorem Proving for Many-Valued Logics

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

Implicitization of Rational Parametric Surfaces

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1996English

Bases for Projective Modules in An(k)

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2003English

A Polynomial Time Algorithm for Finding Rational General Solutions of First Order Autonomous ODEs

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2006English

The Generic Gröbner Walk

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2007English

Comparing Curried and Uncurried Rewriting

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy