Algorithmic proof of Barnette's Conjecture
Algorithms for Solving Linear Congruences and Systems of Linear Congruences
All the zeros of the Dirichlet eta function in the critical strip are on the critical line
Alternative Mathematics without Actual Infinity
Alternatives to Pearson's and Spearman's Correlation Coefficients
Ambiguity theory, old and new
An Abel ordinary differential equation class generalizing known integrable classes
An Algebra of Fault Tolerance
An Algebraic Approach to Knowledge Bases Informational Equivalence
An algebraic approach to representations of the permutation group
An Algebraic Identity Leading to Wilson Theorem
An Algebraic Proof for Goldbach Conjecture
An algorithmic implementation of the Pi function based on a new sieve
An Alternative Form of the Functional Equation for Riemann's Zeta Function
An analytic proof of Fermat-Wiles theorem !
An ancient Egyptian problem:the diophantine equation 4/n=1/x+1/y+1/z, n>or=2
An Application of Ptolemy's Theorem:Integral triangles with a 120 degree angle and the bisector(of the 120degree angle)also of integral length
An approach to non-standard analysis
An Approach to PI(x) and other Arithmetical function by Variational principles
An arguable addition to the standard Deduction Theorems of first order theories