The DOI matches its Crossref record.
Differential Algebra
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“The former is largely considered solved since the introduction of Wu’s method21, which can theoretically decide the truth value of any geometrical statement of equality type, building on specialized algebraic tools introduced in earlier works54,55.”
From Solving olympiad geometry without human demonstrations (2024) · cites this paper as [55]
Citations
Cites
Still being checked.
Cited by
Flatness and defect of non-linear systems: introductory theory and examples
FLIESS, M., LÉVINE, J., MARTIN, P., & ROUCHON, P. (1995) · International Journal of Control · doi:10.1080/00207179508921959 · Cited by 3,126
On Identifiability of Nonlinear ODE Models and Applications in Viral Dynamics
Miao, H., Xia, X., Perelson, A. S., & Wu, H. (2011) · SIAM Review · doi:10.1137/090757009 · Cited by 610
Basic principles of mechanical theorem proving in elementary geometries
Wu, W.-T. (1986) · Journal of Automated Reasoning · doi:10.1007/bf02328447 · Cited by 390
Generalized controller canonical form for linear and nonlinear dynamics
Fliess, M. (1990) · IEEE Transactions on Automatic Control · doi:10.1109/9.58527 · Cited by 369
Global identifiability of nonlinear models of biological systems
Audoly, S., Bellu, G., D'Angio, L., Saccomani, M. P., & Cobelli, C. (2001) · IEEE Transactions on Biomedical Engineering · doi:10.1109/10.900248 · Cited by 325
Metadata
- Authors
- Ritt, J.
- Corresponding author
- Ritt, J.
- Venue
- Colloquium Publications
- Publisher
- American Mathematical Society
- Published
- 1950-12-31
- ISSN
- 0065-9258 (ISSN-L)
- OpenAlex
- W4248084437
- Cited by
- 460
- References
- 0
- Citations by year
- 2026: 17 · 2025: 12 · 2024: 17 · 2023: 12 · 2022: 15 · 2021: 13 · 2020: 19 · 2019: 14 · 2018: 18 · 2017: 11 · 2016: 17 · 2015: 15 · 2014: 17 · 2013: 10 · 2012: 19
- FWCI
- 4.25
- Type
- book
- Language
- en
- Open access
- closed
- Locations
- Colloquium Publications - American Mathematical Society/Colloquium Publications (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Polynomial and algebraic computation
- Physical Sciences › Mathematics › Geometry and Topology › Algebraic Geometry and Number Theory
- Physical Sciences › Mathematics › Geometry and Topology › Advanced Differential Equations and Dynamical Systems
- Keywords
- differential algebra, differential fields, differential equations, differential polynomials
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Differential Algebra. https://app.cochat.ai/papers/10.1090/coll/033
- The paper
- Ritt, J. (1950). Differential Algebra. Colloquium Publications. https://doi.org/10.1090/coll/033
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
