Author

Nadejda Drenska

0 works0 citationsORCID

Recent research

AI & ComputingOpen access
Five-expert PDE: lean formalization
Lean formalization for the explicit solution of the 5-expert PDE.
arXiv (Cornell University)2026-09-180 citationsDOI