Skip to content
master
Switch branches/tags
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Numerical Linear Algebra in the Abstract

Not an Ocaml expert, but playing with its facilities for abstraction to try and define important numerical linear algebra computations in the abstract, ideally without direct reference to matrix or vector entries, or even the underlying representation of numbers.

These will not be efficient, nor probably interesting to anyone else.

What is implemented thus far?

  • Gram-schmidt orthogonalization
  • Operator adjoint
    • Computed via Riesz representation theorem argument
  • Operator norm
    • Computed as sqrt of spectral radius of A'*A where A' is adjoint of A
    • Uses power iteration
    • (So may not converge if spectral radius has multiplicity>1)

About

Playing with Ocaml

Resources

License

Releases

No releases published

Packages

No packages published