functional-analysis 开源项目推荐（101 个）

saezlab /dorothea

R package to access DoRothEA's regulons

moshi4 /COGclassifier

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

SwitWu /FunctionalAnalysisXQHsolution

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

syvshc /2019Fall_FA

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

leftaroundabout /linearmap-family

Purely-functional, coordinate-free linear algebra

decodebiology /geneSCF_inactive

GeneSCF moved to a dedicated GitHub page, https://github.com/genescf/GeneSCF

moshi4 /FastDTLmapper

Genome-wide gene gain/loss mapping tool using DTL(Duplication-Transfer-Loss) reconciliation method

gitcordier /FunctionalAnalysis

Solutions to some exercises from Walter Rudin's Functional Analysis

jingxuanyang /Functional-Analysis

A book on Functional Analysis.

reula /PDE

Book on Partial Differential Equations

zhenyatos /FunctionalAnalysis

Functional analysis notes (in Russian, St. Petersburg Polytechnic State University)

Deicyde /alternating-analytic-counterexample

Precomposition on continuous alternating maps is not analytic in characteristic 2: the paper and its Lean 4 / Mathlib formalization

KatjaDanielzik /MetaboDynamics

MetaboDynamics: a framework of probabilistic models to analyze longitudinal metabolomics data

davidrosado4 /Advanced-Mathematics-MSc

My work on the Advanced Mathematics Master in Univeristat de Barcelona

MeShootIn /Faces

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

breezy-codes /obsidian-mathematics-definitions

Comprehensive collection of mathematical definitions, theorems & equations for Obsidian. 500+ definitions across all math areas with LaTeX notation.

abenenson /rellich-kondrachov

Lean 4 proof of Rellich–Kondrachov: the H¹ to L² Sobolev embedding is compact on compact Riemannian manifolds.

chakravala /AbstractAnalysis.jl

Countable magma and semigroup for abstract functional analysis

hanlinwu /Solutions-of-Functional-Analysis

泛函分析选讲-习题解答

vporton /navier-stokes

A solution of Navier-Stokes Clay Math Millennium Prize Problem using my theorem that lim (limit) functional can be linearly extended to the entire space of functions, in collaboration with an LLM.