| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Sebastiaan Joosten
| Website: http://sjcjoosten.nl/ |
Entries
| 2018 |
| February 6: A verified factorization algorithm for integer polynomials with polynomial complexity |
| February 2: A verified LLL algorithm |
| 2017 |
| April 6: Subresultants |
| 2016 |
| October 14: The Factorization Algorithm of Berlekamp and Zassenhaus |
| 2015 |
| December 22: Algebraic Numbers in Isabelle/HOL |