Index of /xml/Sophia-Antipolis/Float/ClosestPlus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]ClosestP/2005-07-05 08:13 -  
[ ]INDEX2005-07-05 08:12 2.0K 
[ ]RoundBound.con.body.xml.gz2004-04-09 00:33 52K 
[ ]RoundBound.con.types.xml.gz2004-04-09 00:33 65K 
[ ]RoundBound.con.xml.gz2004-04-09 00:33 1.3K 
[ ]RoundBound_subproof.con.body.xml.gz2004-04-09 00:33 8.1K 
[ ]RoundBound_subproof.con.types.xml.gz2004-04-09 00:33 6.4K 
[ ]RoundBound_subproof.con.xml.gz2004-04-09 00:33 1.4K 
[ ]errorBoundedPlus.con.body.xml.gz2004-04-09 00:32 11K 
[ ]errorBoundedPlus.con.types.xml.gz2004-04-09 00:32 20K 
[ ]errorBoundedPlus.con.xml.gz2004-04-09 00:32 1.1K 
[ ]errorBoundedPlusAbs.con.body.xml.gz2004-04-09 00:32 5.0K 
[ ]errorBoundedPlusAbs.con.types.xml.gz2004-04-09 00:32 7.0K 
[ ]errorBoundedPlusAbs.con.xml.gz2004-04-09 00:32 1.2K 
[ ]errorBoundedPlusLe.con.body.xml.gz2004-04-09 00:32 38K 
[ ]errorBoundedPlusLe.con.types.xml.gz2004-04-09 00:32 54K 
[ ]errorBoundedPlusLe.con.xml.gz2004-04-09 00:32 1.2K 
[ ]errorBoundedPlusLe_subproof.con.body.xml.gz2004-04-09 00:32 5.8K 
[ ]errorBoundedPlusLe_subproof.con.types.xml.gz2004-04-09 00:32 4.8K 
[ ]errorBoundedPlusLe_subproof.con.xml.gz2004-04-09 00:32 1.5K 
[ ]pPredMoreThanOne.con.body.xml.gz2004-04-09 00:33 785  
[ ]pPredMoreThanOne.con.types.xml.gz2004-04-09 00:33 820  
[ ]pPredMoreThanOne.con.xml.gz2004-04-09 00:33 446  
[ ]pPredMoreThanOne_subproof.con.body.xml.gz2004-04-09 00:33 5.4K 
[ ]pPredMoreThanOne_subproof.con.types.xml.gz2004-04-09 00:33 4.6K 
[ ]pPredMoreThanOne_subproof.con.xml.gz2004-04-09 00:33 465  
[ ]pPredMoreThanRadix.con.body.xml.gz2004-04-09 00:33 1.1K 
[ ]pPredMoreThanRadix.con.types.xml.gz2004-04-09 00:33 894  
[ ]pPredMoreThanRadix.con.xml.gz2004-04-09 00:33 426  
[ ]pPredMoreThanRadix_subproof.con.body.xml.gz2004-04-09 00:33 14K 
[ ]pPredMoreThanRadix_subproof.con.types.xml.gz2004-04-09 00:33 11K 
[ ]pPredMoreThanRadix_subproof.con.xml.gz2004-04-09 00:33 446  
[ ]plusErrorBound1.con.body.xml.gz2004-04-09 00:33 43K 
[ ]plusErrorBound1.con.types.xml.gz2004-04-09 00:33 53K 
[ ]plusErrorBound1.con.xml.gz2004-04-09 00:33 1.2K 
[ ]plusErrorBound1_subproof.con.body.xml.gz2004-04-09 00:33 6.0K 
[ ]plusErrorBound1_subproof.con.types.xml.gz2004-04-09 00:33 5.1K 
[ ]plusErrorBound1_subproof.con.xml.gz2004-04-09 00:33 1.0K 
[ ]plusErrorBound1_subproof0.con.body.xml.gz2004-04-09 00:33 6.0K 
[ ]plusErrorBound1_subproof0.con.types.xml.gz2004-04-09 00:33 5.1K 
[ ]plusErrorBound1_subproof0.con.xml.gz2004-04-09 00:33 1.0K 
[ ]plusErrorBound1bis.con.body.xml.gz2004-04-09 00:33 39K 
[ ]plusErrorBound1bis.con.types.xml.gz2004-04-09 00:33 45K 
[ ]plusErrorBound1bis.con.xml.gz2004-04-09 00:33 1.2K 
[ ]plusErrorBound1bis_subproof.con.body.xml.gz2004-04-09 00:33 6.0K 
[ ]plusErrorBound1bis_subproof.con.types.xml.gz2004-04-09 00:33 5.1K 
[ ]plusErrorBound1bis_subproof.con.xml.gz2004-04-09 00:33 1.0K 
[ ]plusErrorBound1bis_subproof0.con.body.xml.gz2004-04-09 00:33 5.0K 
[ ]plusErrorBound1bis_subproof0.con.types.xml.gz2004-04-09 00:33 4.2K 
[ ]plusErrorBound1bis_subproof0.con.xml.gz2004-04-09 00:33 1.0K 
[ ]plusErrorBound1withZero.con.body.xml.gz2004-04-09 00:33 8.8K 
[ ]plusErrorBound1withZero.con.types.xml.gz2004-04-09 00:33 10K 
[ ]plusErrorBound1withZero.con.xml.gz2004-04-09 00:33 1.1K 
[ ]plusExact1.con.body.xml.gz2004-04-09 00:32 24K 
[ ]plusExact1.con.types.xml.gz2004-04-09 00:32 28K 
[ ]plusExact1.con.xml.gz2004-04-09 00:32 933  
[ ]plusExact1_subproof.con.body.xml.gz2004-04-09 00:32 14K 
[ ]plusExact1_subproof.con.types.xml.gz2004-04-09 00:32 11K 
[ ]plusExact1_subproof.con.xml.gz2004-04-09 00:32 1.3K 
[ ]plusExact1bis.con.body.xml.gz2004-04-09 00:32 1.9K 
[ ]plusExact1bis.con.types.xml.gz2004-04-09 00:32 1.8K 
[ ]plusExact1bis.con.xml.gz2004-04-09 00:32 965  
[ ]plusExact2.con.body.xml.gz2004-04-09 00:33 10K 
[ ]plusExact2.con.types.xml.gz2004-04-09 00:33 11K 
[ ]plusExact2.con.xml.gz2004-04-09 00:33 961  
[ ]plusExact2Aux.con.body.xml.gz2004-04-09 00:33 31K 
[ ]plusExact2Aux.con.types.xml.gz2004-04-09 00:33 33K 
[ ]plusExact2Aux.con.xml.gz2004-04-09 00:33 1.0K 
[ ]plusExact2Aux_subproof.con.body.xml.gz2004-04-09 00:32 7.4K 
[ ]plusExact2Aux_subproof.con.types.xml.gz2004-04-09 00:32 5.5K 
[ ]plusExact2Aux_subproof.con.xml.gz2004-04-09 00:32 1.3K 
[ ]plusExact2Aux_subproof0.con.body.xml.gz2004-04-09 00:32 7.7K 
[ ]plusExact2Aux_subproof0.con.types.xml.gz2004-04-09 00:32 6.2K 
[ ]plusExact2Aux_subproof0.con.xml.gz2004-04-09 00:32 1.3K 
[ ]plusExact2Aux_subproof1.con.body.xml.gz2004-04-09 00:32 7.5K 
[ ]plusExact2Aux_subproof1.con.types.xml.gz2004-04-09 00:32 5.8K 
[ ]plusExact2Aux_subproof1.con.xml.gz2004-04-09 00:32 1.3K 
[ ]plusExact2Aux_subproof2.con.body.xml.gz2004-04-09 00:33 6.6K 
[ ]plusExact2Aux_subproof2.con.types.xml.gz2004-04-09 00:33 5.2K 
[ ]plusExact2Aux_subproof2.con.xml.gz2004-04-09 00:33 1.3K 
[ ]plusExact2Aux_subproof3.con.body.xml.gz2004-04-09 00:33 7.5K 
[ ]plusExact2Aux_subproof3.con.types.xml.gz2004-04-09 00:33 6.1K 
[ ]plusExact2Aux_subproof3.con.xml.gz2004-04-09 00:33 1.1K 
[ ]plusExactExp.con.body.xml.gz2004-04-09 00:33 24K 
[ ]plusExactExp.con.types.xml.gz2004-04-09 00:33 31K 
[ ]plusExactExp.con.xml.gz2004-04-09 00:33 1.5K 
[ ]plusExactExpCanonic.con.body.xml.gz2004-04-09 00:33 23K 
[ ]plusExactExpCanonic.con.types.xml.gz2004-04-09 00:33 30K 
[ ]plusExactExpCanonic.con.xml.gz2004-04-09 00:33 1.9K 
[ ]plusExactR0.con.body.xml.gz2004-04-09 00:33 2.8K 
[ ]plusExactR0.con.types.xml.gz2004-04-09 00:33 3.8K 
[ ]plusExactR0.con.xml.gz2004-04-09 00:33 872  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80