R package to access DoRothEA's regulons
A tool for classifying prokaryote protein sequences into COG(Cluster of Orthologous Genes) functional category
Purely-functional, coordinate-free linear algebra
GeneSCF moved to a dedicated GitHub page, https://github.com/genescf/GeneSCF
Solutions to some exercises from Walter Rudin's Functional Analysis
Genome-wide gene gain/loss mapping tool using DTL(Duplication-Transfer-Loss) reconciliation method
Book on Partial Differential Equations
Functional analysis notes (in Russian, St. Petersburg Polytechnic State University)
A book on Functional Analysis.
MetaboDynamics: a framework of probabilistic models to analyze longitudinal metabolomics data
My work on the Advanced Mathematics Master in Univeristat de Barcelona
🖥️ Laboratory works on the course "User Interface Development"
Harvard Spring 2020 Math 110 Vector Space Methods for ODEs (Christian Brennecke)
Apuntes de Ingeniería Civil Matemática, con electivos en Computación y Aprendizaje.
A project for my functional analysis course applied on Dirichlet equation
“Smooth signal functions” in Haskell
A modular, CI-verified formal manuscript that constructs a canonical trace-class operator whose spectral determinant encodes the completed Riemann zeta function—culminating in a spectral equivalence formulation of the Riemann Hypothesis. Includes DAG-audited proofs, Lean compatibility scaffolds, and agent-safe modular structure.
Add a description, image, and links to the functional-analysis topic page so that developers can more easily learn about it.
To associate your repository with the functional-analysis topic, visit your repo's landing page and select "manage topics."