The following pages link to On Schanuel's conjectures (Q2550744):
Displaying 50 items.
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- A note on complex \(p\)-adic exponential fields (Q2317202) (← links)
- A note on Schanuel's conjectures for exponential logarithmic power series fields (Q2376320) (← links)
- A Diophantine approach to the three and four exponentials conjectures (Q2397077) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Hyperbolic Ax-Lindemann theorem in the cocompact case (Q2441494) (← links)
- Ax-Lindemann for \(\mathcal{A}_g\) (Q2445318) (← links)
- Complexity bounds for zero-test algorithms (Q2457383) (← links)
- Cyclotomic torsion points in elliptic schemes (Q2663053) (← links)
- A closure operator respecting the modular \(j\)-function (Q2698426) (← links)
- A note on the Nakai conjecture (Q2750880) (← links)
- Applications of differential algebra to algebraic independence of arithmetic functions (Q2787079) (← links)
- Rational points on Grassmannians and unlikely intersections in tori (Q2788663) (← links)
- Model theory of analytic functions: some historical comments (Q2915887) (← links)
- LOCAL INTERDEFINABILITY OF WEIERSTRASS ELLIPTIC FUNCTIONS (Q2976257) (← links)
- Counting special points: Logic, diophantine geometry, and transcendence theory (Q3109807) (← links)
- Some unlikely intersections beyond André–Oort (Q3114531) (← links)
- Applications of the hyperbolic Ax–Schanuel conjecture (Q3121282) (← links)
- Solutions of equations involving the modular 𝑗 function (Q3388490) (← links)
- A Lindemann-Weierstrass theorem for semi-abelian varieties over function fields (Q3584354) (← links)
- The N-dimensional diophantine approximation constants (Q3682562) (← links)
- A structure theorem for the elementary functions and its application to the identity problem (Q3854622) (← links)
- (Q3984065) (← links)
- Functions Satisfying Elementary Relations (Q4120651) (← links)
- L'égalité au cube (Q4328826) (← links)
- Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function (Q4382467) (← links)
- On model complete differential fields (Q4419575) (← links)
- RAISING TO POWERS IN ALGEBRAICALLY CLOSED FIELDS (Q4460754) (← links)
- Generic solutions of equations with iterated exponentials (Q4596357) (← links)
- DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS (Q4600454) (← links)
- Definability in o-minimal expansions of the real numbers (Q4916197) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- On the Schertz Conjecture (Q4966896) (← links)
- An improvement on Furstenberg’s intersection problem (Q5009317) (← links)
- Autonomous first order differential equations (Q5036095) (← links)
- Comments on Rosenlicht’s Integration in Finite Terms (Q5050154) (← links)
- Lectures on the Ax–Schanuel conjecture (Q5146211) (← links)
- Mixed Ax–Schanuel for the universal abelian varieties and some applications (Q5148393) (← links)
- Die böse Farbe (Q5191322) (← links)
- AX–SCHANUEL CONDITION IN ARBITRARY CHARACTERISTIC (Q5239856) (← links)
- On a variant of Schanuel conjecture for the Carlitz exponential (Q5374145) (← links)
- ENLARGED MIXED SHIMURA VARIETIES, BI-ALGEBRAIC SYSTEM AND SOME AX TYPE TRANSCENDENTAL RESULTS (Q5379056) (← links)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 (Q5387300) (← links)
- THE UNIFORM SCHANUEL CONJECTURE OVER THE REAL NUMBERS (Q5483934) (← links)
- A note on divisible points of curves (Q5496631) (← links)
- Transcendental numbers and diophantine approximations (Q5622293) (← links)
- A Schanuel condition for Weierstrass equations (Q5718679) (← links)
- On criteria for algebraic independence of collections of functions satisfying algebraic difference relations (Q5737976) (← links)
- Differential existential closedness for the 𝑗-function (Q5858371) (← links)
- Fractal projections with an application in number theory (Q5889853) (← links)
