On the public citation graph
Automated reasoning in differential geometry and mechanics using the characteristic set method
0 signed · 18 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00245819openalex-snapshot
A procedure to prove statements in differential geometry
inferredcites →https://doi.org/10.1007/bf00881834openalex-snapshot
Automated reasoning in differential geometry and mechanics using the characteristic set method
inferredcites →https://doi.org/10.1007/bf01553889openalex-snapshot
On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
inferredcites →https://doi.org/10.1007/bfb0077689openalex-snapshot
A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem-proving of differential geometries
inferredcites →https://doi.org/10.1090/coll/014openalex-snapshot
Differential Equations from the Algebraic Standpoint
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45084-x_2openalex-snapshot
Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems
inferred← citeshttps://doi.org/10.1007/3-540-47997-x_4openalex-snapshot
Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
inferred← citeshttps://doi.org/10.1007/978-3-540-24616-9_4openalex-snapshot
MMP/Geometer – A Software Package for Automated Geometric Reasoning
inferred← citeshttps://doi.org/10.1007/s11424-011-8267-1openalex-snapshot
An application of Ritt-Wu’s zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space
inferred← citeshttps://doi.org/10.1007/s11425-008-0053-8openalex-snapshot
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant
inferred← citeshttps://doi.org/10.1007/s11786-020-00493-xopenalex-snapshot
A System for Automated Deduction in Engineering Mechanics
inferred← citeshttps://doi.org/10.1016/b978-044450813-3/50013-8openalex-snapshot
Automated Reasoning in Geometry
inferred← citeshttps://doi.org/10.1145/1005285.1005314openalex-snapshot
Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases
inferred← citeshttps://doi.org/10.3390/sym17060902openalex-snapshot
FGeo-Eval: Evaluation System for Plane Geometry Problem Solving
inferred← citeshttps://doi.org/10.70675/66349e9dzb2f8z4625z8856z3a6d9c2f1c96openalex-snapshot
A quest for exactness : machines, algebra and geometry for tractional constructions of differential equations
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.