Search

Subjects

Mathematics

(10)

Events

Content Types

Working Paper

(10)

Published Date

Last 3 years

(10)

Last 12 months

(10)

Last 6 months

(1)

Last 3 months

(1)

Partners

Cambridge Open Engage

(10)

Keywords

Certified computation

Authors

10 results in Keywords: Certified computation

Mathematics

Working Paper

Unified Analytic Finite Representation Theory in Differential Algebraic Closure and Its Bidirectional Mapping with Differential Equations

shifa liu

Version 1 posted 29 May 2026

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

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 Hodge Theory: Constructive Hodge Decomposition and Harmonic Forms

shifa liu

Version 1 posted 21 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

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

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

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

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

Search

Refine Search

10 results in Certified computation in Keywords: Certified computation

Unified Analytic Finite Representation Theory in Differential Algebraic Closure and Its Bidirectional Mapping with Differential Equations

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

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

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

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

Differential Algebraic Methods in Ramsey Theory: A Constructive Framework for Ramsey Numbers and Asymptotic 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

Analytic Solutions of Renormalization Group Equations via Constructive Differential Algebraic Closure

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

10 results in Keywords: Certified computation