exp-pairs-0.1.0.0: Linear programming over exponent pairs

Index

bestLambdaMath.ExpPairs.Ivic
checkAbscissaMath.ExpPairs.Ivic
Constraint 
1 (Type/Class)Math.ExpPairs
2 (Data Constructor)Math.ExpPairs
difurMath.ExpPairs.Ivic
fMath.ExpPairs.Ivic
FiniteMath.ExpPairs
heckeZetaByHalfMath.ExpPairs.Ivic
IneqTypeMath.ExpPairs
InfMinusMath.ExpPairs
InfPlusMath.ExpPairs
InitPairMath.ExpPairs
KolesnikMath.ExpPairs.Kratzel
Kr511aMath.ExpPairs.Kratzel
Kr511bMath.ExpPairs.Kratzel
Kr512aMath.ExpPairs.Kratzel
Kr512bMath.ExpPairs.Kratzel
Kr61Math.ExpPairs.Kratzel
Kr62Math.ExpPairs.Kratzel
Kr63Math.ExpPairs.Kratzel
Kr64Math.ExpPairs.Kratzel
Kr65Math.ExpPairs.Kratzel
Kr66Math.ExpPairs.Kratzel
lemma82_fMath.ExpPairs.Ivic
LinearForm 
1 (Type/Class)Math.ExpPairs
2 (Data Constructor)Math.ExpPairs
mBigOnHalfMath.ExpPairs.Ivic
menzerNowakMath.ExpPairs.MenzerNowak
mOnSMath.ExpPairs.Ivic
NonStrictMath.ExpPairs
optimalPairMath.ExpPairs
optimalPathMath.ExpPairs
optimalValueMath.ExpPairs
optimizeMath.ExpPairs
OptimizeResultMath.ExpPairs
PathMath.ExpPairs
RatioInfMath.ExpPairs
RationalForm 
1 (Type/Class)Math.ExpPairs
2 (Data Constructor)Math.ExpPairs
RationalInfMath.ExpPairs
reverseMBigOnHalfMath.ExpPairs.Ivic
reverseMOnSMath.ExpPairs.Ivic
reverseZetaOnSMath.ExpPairs.Ivic
searchMinAbscissaMath.ExpPairs.Ivic
simulateOptimizeMath.ExpPairs
simulateOptimize'Math.ExpPairs
solveDMath.ExpPairs.Ivic
StrictMath.ExpPairs
TauabMath.ExpPairs.Kratzel
tauabMath.ExpPairs.Kratzel
tauabcMath.ExpPairs.Kratzel
TauabcTheoremMath.ExpPairs.Kratzel
TauabTheoremMath.ExpPairs.Kratzel
zetaOnHalfMath.ExpPairs.Ivic
zetaOnSMath.ExpPairs.Ivic