Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Mathematics

Petri Net Applications in Molecular Biology

In Silico Biology
GeneticsMolecular BiologyComputational TheoryComputational MathematicsMedicineMathematics
2010English

Affine Independence in Vector Spaces

Formalized Mathematics
Computational MathematicsApplied Mathematics
2010English

Some Basic Properties of Some Special Matrices. Part III

Formalized Mathematics
Computational MathematicsApplied Mathematics
2012English

About Supergraphs. Part I

Formalized Mathematics
Computational MathematicsApplied Mathematics
2018English

Introduction to Liouville Numbers

Formalized Mathematics
Computational MathematicsApplied Mathematics
2017English

Formalization of the MRDP Theorem in the Mizar System

Formalized Mathematics
Computational MathematicsApplied Mathematics
2019English

A Model of Mizar Concepts - Unification

Formalized Mathematics
Computational MathematicsApplied Mathematics
2010English

Term Context

Formalized Mathematics
Computational MathematicsApplied Mathematics
2014English

Differential Transcriptional Regulation by Alternatively Designed Mechanisms: A Mathematical Modeling Approach

In Silico Biology
GeneticsMolecular BiologyComputational TheoryComputational MathematicsMedicineMathematics
2017English

Lattice of ℤ-Module

Formalized Mathematics
Computational MathematicsApplied Mathematics
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy