]>
-rw-r--r-- | 8037 | Bridges_LUB.mma | blob | raw |
-rw-r--r-- | 10216 | Bridges_iso.mma | blob | raw |
-rw-r--r-- | 2544 | CMetricFields.mma | blob | raw |
-rw-r--r-- | 1551 | CPoly_Contin.mma | blob | raw |
-rw-r--r-- | 1992 | CReals.mma | blob | raw |
-rw-r--r-- | 5115 | CReals1.mma | blob | raw |
-rw-r--r-- | 2943 | CSumsReals.mma | blob | raw |
-rw-r--r-- | 9776 | CauchySeq.mma | blob | raw |
-rw-r--r-- | 4631 | Cauchy_CReals.mma | blob | raw |
-rw-r--r-- | 6512 | IVT.mma | blob | raw |
-rw-r--r-- | 9670 | Intervals.mma | blob | raw |
-rw-r--r-- | 12146 | Max_AbsIR.mma | blob | raw |
-rw-r--r-- | 7446 | NRootIR.mma | blob | raw |
-rw-r--r-- | 4474 | OddPolyRootIR.mma | blob | raw |
-rw-r--r-- | 5205 | Q_dense.mma | blob | raw |
-rw-r--r-- | 6552 | Q_in_CReals.mma | blob | raw |
-rw-r--r-- | 8562 | R_morphism.mma | blob | raw |
-rw-r--r-- | 8097 | RealFuncts.mma | blob | raw |
-rw-r--r-- | 4122 | RealLists.mma | blob | raw |
-rw-r--r-- | 10928 | Series.mma | blob | raw |
-rw-r--r-- | 4742 | iso_CReals.mma | blob | raw |