Projects
Reading
People
Chat
SU\G
(饾敻)
/K路U
Projects
Reading
People
Chat
Sign Up
Sign In
Light
Dark
System
William Simmons
Follow
Share
Generating author description...
All published works
Action
Title
Year
Authors
+
PDF
Chat
Explicit polynomial bounds on prime ideals in polynomial rings over fields
2020
William Simmons
Henry Towsner
+
PDF
Chat
Proof mining and effective bounds in differential polynomial rings
2018
William Simmons
Henry Towsner
+
PDF
Chat
New examples (and counterexamples) of complete finite-rank differential varieties
2016
William Simmons
+
Proof mining and effective bounds in differential polynomial rings
2016
William Simmons
Henry Towsner
+
PDF
Chat
On Linear Dependence Over Complete Differential Algebraic Varieties
2015
James Freitag
Omar Le贸n S谩nchez
William Simmons
+
New examples (and counterexamples) of complete finite-rank differential varieties
2015
William Simmons
+
On completeness and linear dependence for differential algebraic varieties
2014
James Freitag
Omar Le贸n S谩nchez
William Simmons
+
On linear dependence over complete differential algebraic varieties
2014
James Freitag
Omar Le贸n S谩nchez
William Simmons
Common Coauthors
Coauthor
Papers Together
James Freitag
3
Omar Le贸n S谩nchez
3
Henry Towsner
3
Commonly Cited References
Action
Title
Year
Authors
# of times referenced
+
Rational approximations to algebraic numbers
1955
K. F. Roth
3
+
A note on wronskians and linear dependence of entire functions in
1994
Carlos A. Berenstein
Der鈥怌hen Chang
Bao Qin Li
3
+
Differential Algebra and Algebraic Groups
2012
E. R. Kolchin
3
+
Completeness in partial differential algebraic geometry
2014
James Freitag
3
+
Linear dependence of quotients of analytic functions of several variables with the least subcollection of generalized Wronskians
2005
Ronald A. Walker
3
+
Complete Sets in Differentially Closed Fields
2000
Wai Yan Pong
3
+
PDF
Chat
Complete models of differential fields
1969
Peter Blum
3
+
Bounds in the theory of polynomial rings over fields. A nonstandard approach
1984
Lou van den Dries
Kai鈥怳we Schmidt
2
+
Extensions of Differential Places
1978
Sally Morrison
2
+
PDF
Chat
Ideal membership in polynomial rings over the integers
2004
Matthias Aschenbrenner
2
+
Differential Specializations in Integral and Algebraic Extensions
1979
Sally Morrison
2
+
Positive elimination in valued fields
2007
Alexander Prestel
2
+
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
2008
Ulrich Kohlenbach
2
+
Chains of Differential Subvarieties in an Algebraic Variety
2002
Wai Yan Pong
2
+
PDF
Chat
Constructions in algebra
1974
A. Seidenberg
2
+
PDF
Chat
Generalized Hasse-Schmidt varieties and their jet spaces
2011
Rahim Moosa
Thomas Scanlon
2
+
Remarks on algebraic D-varieties and the model theory of differential fields
2017
Anand Pillay
2
+
Differential Equations in a Projective Space and Linear Dependence over a Projective Variety
1974
E. R. Kolchin
2
+
Nonstandard methods for bounds in differential polynomial rings
2012
Matthew Harrison鈥怲rainor
Jack Klys
Rahim Moosa
2
+
PDF
Chat
Extending differential specializations
1970
Peter Blum
2
+
Some applications of a model theoretic fact to (semi-) algebraic geometry
1982
Lou van den Dries
2
+
Die Frage der endlich vielen Schritte in der Theorie der Polynomideale
1926
Grete Hermann
2
+
PDF
Chat
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
2011
Diego Figueira
Santiago Figueira
Sylvain Schmitz
Philippe Schnoebelen
2
+
PDF
Chat
Specializations in differential algebra
1959
Azriel Rosenfeld
2
+
Model theory of fields
1996
David Marker
Margit Messmer
Anand Pillay
2
+
A condition equivalent to linear dependence for functions with vanishing Wronskian
1989
Kenneth Wolsson
2
+
On bounds for the effective differential Nullstellensatz
2015
Omar Le贸n S谩nchez
Alexey Ovchinnikov
2
+
PDF
Chat
What do ultraproducts remember about the original structures?
2023
Henry Towsner
2
+
Introduction To Commutative Algebra
2018
Michael Atiyah
2
+
The Structure of Polynomial Ideals and Gr枚bner Bases
1990
Thomas W. Dub茅
1
+
PDF
Chat
Abstract differential algebra and the analytic case
1958
A. Seidenberg
1
+
Strong minimality and the j-function
2014
James Freitag
Thomas Scanlon
1
+
PDF
Chat
Differential Algebraic Groups of Finite Dimension
1992
Alexandru Buium
1
+
PDF
Chat
Double-exponential lower bound for the degree of any system of generators of a polynomial prime ideal
2009
A. L. Chistov
1
+
Nonstandardness and the bounded functional interpretation
2015
Fernando Ferreira
Jaime Gaspar
1
+
Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
2000
Ehud Hrushovski
Anand Pillay
1
+
An introduction to differential algebra
1957
Irving Kaplansky
1
+
PDF
Chat
脺BER EINE BISHER NOCH NICHT BEN脺TZTE ERWEITERUNG DES FINITEN STANDPUNKTES
1958
Von Kurt G枚del
1
+
Differential algebraic groups
1986
E. R. Kolchin
1
+
PDF
Chat
Ordinal numbers and the Hilbert basis theorem
1988
Stephen G. Simpson
1
+
PDF
Chat
Well-ordering of certain numerical polynomials
1975
William Y. Sit
1
+
Direct methods for primary decomposition
1992
David Eisenbud
Craig Huneke
Wolmer V. Vasconcelos
1
+
PDF
Chat
Sharp effective Nullstellensatz
1988
Jan贸s Koll谩r
1
+
PDF
Chat
An approximate logic for measures
2013
Isaac Goldbring
Henry Towsner
1
+
The question of finitely many steps in polynomial ideal theory
1998
Grete Hermann
1
+
Differential Algebraic Groups
1972
P. J. Cassidy
1
+
Polynomial bounds in polynomial rings over fields
1989
Karsten Schmidt-G枚ttsch
1
+
PDF
Chat
Metastability in the Furstenberg鈥揨immer tower
2010
Jeremy Avigad
Henry Towsner
1
+
The syntax of nonstandard analysis
1988
Edward Nelson
1
+
PDF
Chat
Understanding and Using Spector鈥檚 Bar Recursive Interpretation of Classical Analysis
2006
Paulo Oliva
1