Name: Reid Atcheson
Type: User
Company: Numerical Algorithms Group
Bio: My repositories are mostly very quick experiments, most are private. To see curated and explained work visit my website.
Twitter: reidatcheson
Location: Dallas
Blog: www.reidatcheson.com
Reid Atcheson's Projects
Abstract linear solvers, ODE solvers, and nonlinear solvers in Ocaml
Playing with Ocaml
experimenting with using backward mode AD to update a preconditioner mid-iterations
trying to make a fps bot
representing matrix with large band as a polynomial of matrix with small band (EXPERIMENTAL)
Banded solver using hierarchical low rank format
experimenting with block gmres
Trying cache oblivious GEMM in rust
An experimental data smoothing technique targeted at covid19 cases data
Looking at reverse communication using std::generator in c++
simple C++ vs Rust conjugate gradient benchmark
Checking vectorization with rust ndarray
Trying to understand computable real analysis
Coq formalization of some constructive real analysis.
cgn experiments
gmres polynomials for fun (EXPERIMENTAL)
Looking at Dallas (city) covid-19 testing data
Experimenting with functions associated with debruijn constant
Householder dense QR - testing
Some derivations I didn't want to keep rewriting
Nested Dissection based sparse QR Factorization using Rust
Possible DSL approach in ocaml?
Experimenting with the form of fractional numbers used in ancient Egyptian mathematics
Example of how I implement enum datatypes in Julia
estimating convergence rate of krylov solvers
Some experiments in different ways to compute fiedler vectors
Finite difference coefficients of any order for any number of derivatives in any precision
Modelling loss of associativity in floating point arithmetic
ivnestigating properties of transformations that turn sparse matrix into banded matrix with same number of nonzeros
Open and universal plugin-based, event driven framework for code-as-data style programming.