Mathematical problems arising in qualitative simulation of a differential equation

Artificial Intelligence 55 (1):61-86 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90042-v

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Classification of exactly solvable potential problems.Haluk Beker - 1993 - Foundations of Physics 23 (5):851-856.
Qualitative properties of coupled parabolic systems of evolution equations.Stefano Cardanobile & Delio Mugnolo - 2008 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 7 (2):287-312.
Diagrams in the theory of differential equations (eighteenth to nineteenth centuries).Dominique Tournès - 2012 - Synthese 186 (1):257-288.
Trial Equation Method Based on Symmetry and Applications to Nonlinear Equations Arising in Mathematical Physics.Cheng-Shi Liu - 2011 - Foundations of Physics 41 (5):793-804.
The Connection between Bohmian Mechanics and Many-Particle Quantum Hydrodynamics.Klaus Renziehausen & Ingo Barth - 2020 - Foundations of Physics 50 (8):772-798.
Ax–Schanuel for linear differential equations.Vahagn Aslanyan - 2018 - Archive for Mathematical Logic 57 (5-6):629-648.
Generalized KdV equation for fluid dynamics and quantum algebras.A. Ludu, R. A. Ionescu & W. Greiner - 1996 - Foundations of Physics 26 (5):665-678.
Combining qualitative and quantitative techniques in the simulation of chemical reaction mechanisms.Michael Eisenberg - forthcoming - Ai and Simulation: Theory and Applications (Simulation Series Vol. 22, No. 3.). Society for Computer Simulation, San Diego. Ca.
Compact and Loeb Hausdorff spaces in equation image and the axiom of choice for families of finite sets.Kyriakos Keremedis - 2012 - Mathematical Logic Quarterly 58 (3):130-138.
Computability of Solutions of the Korteweg‐de Vries Equation.William Gay, Bing-Yu Zhang & Ning Zhong - 2001 - Mathematical Logic Quarterly 47 (1):93-110.
A computable ordinary differential equation which possesses no computable solution.Marian Boylan Pour-el - 1979 - Annals of Mathematical Logic 17 (1):61.
Stability of trajectories from Poincaré to Birkhoff: approaching a qualitative definition.Tatiana Roque - 2011 - Archive for History of Exact Sciences 65 (3):295-342.
David Hilbert. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 . Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 1–34. - Donald A. Martin. Hilbert's first problem: the continuum hypothesis. A reprint of 1084 . Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 81–92. - G. Kreisel. What have we learnt from Hilbert's second proble. [REVIEW]C. Smoryński - 1979 - Journal of Symbolic Logic 44 (1):116-119.
Boltzmann et Vlasov.Roger Godard - 2018 - In Amy Ackerberg-Hastings, Marion W. Alexander, Zoe Ashton, Christopher Baltus, Phil Bériault, Daniel J. Curtin, Eamon Darnell, Craig Fraser, Roger Godard, William W. Hackborn, Duncan J. Melville, Valérie Lynn Therrien, Aaron Thomas-Bolduc & R. S. D. Thomas (eds.), Research in History and Philosophy of Mathematics: The Cshpm 2017 Annual Meeting in Toronto, Ontario. Springer Verlag. pp. 157-166.
Boltzmann et Vlasov.Roger Godard - 2018 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics The CSHPM 2017 Annual Meeting in Toronto, Ontario. New York: Birkhäuser. pp. 157-166.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,635,260)

6 months
4 (#837,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An extension of QSIM with qualitative curvature.Abul Hossain & Kumar S. Ray - 1997 - Artificial Intelligence 96 (2):303-350.

Add more citations

References found in this work

Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.
Diagnostic reasoning based on structure and behavior.Randall Davis - 1984 - Artificial Intelligence 24 (1-3):347-410.

Add more references