R package to access DoRothEA's regulons

A tool for classifying prokaryote protein sequences into COG(Cluster of Orthologous Genes) functional category

2019秋季学期泛函分析笔记QAQ:unicorn:

泛函分析讲义(许全华)习题参考答案

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

🖥️ Laboratory works on the course "User Interface Development"

My work on the Advanced Mathematics Master in Univeristat de Barcelona

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.