Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Mathematics

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

Rational Solutions of Riccati-Like Partial Differential Equations

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy