Search

Subjects

Mathematics

(9)

Events

Content Types

Working Paper

(9)

Partners

Cambridge Open Engage

(9)

Keywords

certified computation

Authors

9 results in Keywords: certified computation

Mathematics

Working Paper

Differential Algebraic Framework for Hodge Theory: Constructive Hodge Decomposition and Harmonic Forms

shifa liu

Version 1 posted 21 November 2025

Downloads

Mathematics

Working Paper

Differential Algebraic Methods in Ramsey Theory: A Constructive Framework for Ramsey Numbers and Asymptotic Analysis

shifa liu

Version 1 posted 01 December 2025

Downloads

Mathematics

Working Paper

Analytic Solutions of Renormalization Group Equations via Constructive Differential Algebraic Closure

dongqi liu, shifa liu

Version 1 posted 04 November 2025

Downloads

Mathematics

Working Paper

A Complete Constructive Proof of the Geometric Langlands Correspondence via Differential Algebraic Closures

shifa liu

Version 1 posted 14 November 2025

Downloads

Mathematics

Working Paper

Differential Algebraic Methods in Multiplicative Number Theory: A Constructive Framework for Explicit Formulae and Prime Distribution

shifa liu

Version 1 posted 11 November 2025

Downloads

Mathematics

Working Paper

Constructive Differential Algebraic Framework for Real-Order Nonlinear Partial Differential Equations

shifa liu

Version 1 posted 22 December 2025

Downloads

Mathematics

Working Paper

A Constructive Differential Algebraic Framework for Nonlinear Real-Order Multivariate Integral Equations:Explicit Solutions Through Exterior Integration and Combinatorial Analysis

shifa liu

Version 1 posted 19 December 2025

Downloads

Mathematics

Working Paper

Differential Algebraic Framework for Coherent Sheaves: Explicit Constructions and Computational Methods

shifa liu

Version 1 posted 14 November 2025

Downloads

Mathematics

Working Paper

Differential Algebraic Closure Framework for D-Module Theory: Constructive Solutions to Systems of Linear Partial Differential Equations

shifa liu

Version 1 posted 14 November 2025

Downloads

Search

Refine Search

9 results in certified computation in Keywords: certified computation

Differential Algebraic Framework for Hodge Theory: Constructive Hodge Decomposition and Harmonic Forms

Differential Algebraic Methods in Ramsey Theory: A Constructive Framework for Ramsey Numbers and Asymptotic Analysis

Analytic Solutions of Renormalization Group Equations via Constructive Differential Algebraic Closure

A Complete Constructive Proof of the Geometric Langlands Correspondence via Differential Algebraic Closures

Differential Algebraic Methods in Multiplicative Number Theory: A Constructive Framework for Explicit Formulae and Prime Distribution

Constructive Differential Algebraic Framework for Real-Order Nonlinear Partial Differential Equations

A Constructive Differential Algebraic Framework for Nonlinear Real-Order Multivariate Integral Equations:Explicit Solutions Through Exterior Integration and Combinatorial Analysis

Differential Algebraic Framework for Coherent Sheaves: Explicit Constructions and Computational Methods

Differential Algebraic Closure Framework for D-Module Theory: Constructive Solutions to Systems of Linear Partial Differential Equations

9 results in Keywords: certified computation