Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Mathematics

Euclidean Distance Between Haar Orthogonal and Gaussian Matrices

Journal of Theoretical Probability
MathematicsStatisticsUncertaintyProbability
2016English

Special Issue Dedicated to W. A. J. (Wim) Luxemburg for the Occasion of His 80th Birthday

Positivity
MathematicsAnalysisTheoretical Computer Science
2010English

Terminating Distributed Construction of Shapes and Patterns in a Fair Solution of Automata

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2017English

Formally Verified Approximations of Definite Integrals

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

MizAR 40 for Mizar 40

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015English

Automata-Based Axiom Pinpointing

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Erratum To: Surjective Isometries on Spaces of Vector Valued Continuous and Lipschitz Functions

Positivity
MathematicsAnalysisTheoretical Computer Science
2016English

Air Quality Index Revisited From a Compositional Point of View

Mathematical Geosciences
EarthPlanetary SciencesMathematics
2015English

Boris Rufimovich Vainberg (On His 80th Birthday)

Russian Mathematical Surveys
Mathematics
2019English

Discriminants of Classical Quasi-Orthogonal Polynomials With Application to Diophantine Equations

Journal of the Mathematical Society of Japan
Mathematics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy