Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Mathematics

Pocklington's Theorem and Bertrand's Postulate

Formalized Mathematics
Computational MathematicsApplied Mathematics
2006English

Modular Integer Arithmetic

Formalized Mathematics
Computational MathematicsApplied Mathematics
2008English

Solutions of Linear Equations

Formalized Mathematics
Computational MathematicsApplied Mathematics
2008English

On the Representation of Natural Numbers in Positional Numeral Systems1

Formalized Mathematics
Computational MathematicsApplied Mathematics
2006English

BCI-homomorphisms

Formalized Mathematics
Computational MathematicsApplied Mathematics
2008English

The Jordan-Hölder Theorem

Formalized Mathematics
Computational MathematicsApplied Mathematics
2007English

Basic Properties of Metrizable Topological Spaces

Formalized Mathematics
Computational MathematicsApplied Mathematics
2009English

Arrow's Impossibility Theorem

Formalized Mathematics
Computational MathematicsApplied Mathematics
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy