| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Ralph Bottesch
| Website: http://cl-informatik.uibk.ac.at/users/bottesch/ |
Entries
| 2019 |
| June 21: Linear Inequalities |
| January 17: Farkas' Lemma and Motzkin's Transposition Theorem |
| 2018 |
| February 2: A verified LLL algorithm |