ReidAtcheson
My repositories are mostly very quick experiments, most are private. To see curated and explained work visit my website.
Numerical Algorithms GroupDallas
Pinned Repositories
AbstractNumericalLinear
Playing with Ocaml
Constructive-real-numbers
Trying to understand computable real analysis
constructive_analysis
Coq formalization of some constructive real analysis.
dense_qr
Householder dense QR - testing
FrameworkFramework
Open and universal plugin-based, event driven framework for code-as-data style programming.
laplace_screencast
numaallocator
Simple C++11 and beyond allocator to control
OCCA.jl
Julia interface into OCCA.
sparse_qr_rust
A simple nested dissection based sparse qr factorization in rust
Start-Here
Who I am
ReidAtcheson's Repositories
ReidAtcheson/generalized_arnoldi
generalized arnoldi factorization (EXPERIMENTAL)
ReidAtcheson/gmres_bandwitdth_optimization
optimizing bandwidth utilization for restarted gmres
ReidAtcheson/splitting_method_limits
Randomly sampling matrix splittings and finding distribution of preconditioner quality (EXPERIMENTAL)
ReidAtcheson/Start-Here
Who I am
ReidAtcheson/ai_bot_fun
trying to make a fps bot
ReidAtcheson/banded_polynomial
representing matrix with large band as a polynomial of matrix with small band (EXPERIMENTAL)
ReidAtcheson/banded_solver
Banded solver using hierarchical low rank format
ReidAtcheson/block-gmres-experiment
experimenting with block gmres
ReidAtcheson/cg_revcom_cpp
Looking at reverse communication using std::generator in c++
ReidAtcheson/crispy-meme
cgn experiments
ReidAtcheson/crispy-robot
gmres polynomials for fun (EXPERIMENTAL)
ReidAtcheson/estimate_convergence_rate
estimating convergence rate of krylov solvers
ReidAtcheson/fiedler_vector_experiments
Some experiments in different ways to compute fiedler vectors
ReidAtcheson/force_banded
ivnestigating properties of transformations that turn sparse matrix into banded matrix with same number of nonzeros
ReidAtcheson/hlr_banded_factorization
factorizing a matrix as hierarchically low rank times banded (experiment)
ReidAtcheson/indefinite_gmres_stagnate
Why does restarted GMRES stagnate on indefinite systems?
ReidAtcheson/indefinite_polynomial
constructing polynomials to solve symmetric indefinite linear systems
ReidAtcheson/iterative_projection_solver
experiment with a unique solver concept
ReidAtcheson/jax_banded_approximate_inverse
ReidAtcheson/literate-eureka
more wacky solver ideas
ReidAtcheson/minres_indefinite
minres for solving indefinite system
ReidAtcheson/more_arnoldi_fun
playing with arnoldi factorizations and potential polynomial preconditioners
ReidAtcheson/profiling_gpt2
Some tools and workflow I used to profile gpt2 model from huggingface checkpoint
ReidAtcheson/rcm_experiment
experimenting with reverse-cuthill-mckee algorithm (EXPERIMENTAL)
ReidAtcheson/restarted_gmres_convergence
This repository demonstrates a new sufficient condition for convergence of restarted gmres
ReidAtcheson/smallest_eigenvalues
Get smallest eigenvalues using only matrix-vector products
ReidAtcheson/spectral_graph_bisection
Simple spectral graph bisection for experimentation (EXPERIMENTAL)
ReidAtcheson/studious-umbrella
experimenting with new ways of doing least squares
ReidAtcheson/symm_posdef_solvers
experiments with solvers for symmetric positive definite systems
ReidAtcheson/symmetric-preconditioner-indefinite-EXPERIMENTAL-
playing with symmetric preconditioning of nonsymmetric systems (EXPERIMENTAL)