Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Number Theory

Near-Optimal Parameterization of the Intersection of Quadrics: II. A Classification of Pencils

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2008English

Quantum Automata and Algebraic Groups

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2005English

Minimal Clones Generated by Majority Operations

Algebra Universalis
Number TheoryLogicAlgebra
2000English

Around the Numeric–symbolic Computation of Differential Galois Groups

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2007English

Improvement of the Degree Setting in Gosper's Algorithm

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1993English

A Note on Equationally Compact Lattices

Algebra Universalis
Number TheoryLogicAlgebra
1972English

A Systematic Framework for Solving Geometric Constraints Analytically

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

A Computational Study of Ruled Surfaces

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2009English

Goals and Benchmarks for Automated Map Reasoning

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

Commutative Algebra in the Mizar System

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