Limits of theory sequences over algebraically closed fields and applications.
From MaRDI portal
Publication:1421482
DOI10.1016/S0166-218X(03)00196-3zbMath1033.03005MaRDI QIDQ1421482
Publication date: 26 January 2004
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Model-theoretic algebra (03C60) Mechanization of proofs and logical operations (03B35) Model theory of fields (12L12)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Multi-valued logic and Gröbner bases with applications to modal logic
- Proving geometry theorems with rewrite rules
- Basic principles of mechanical theorem proving in elementary geometries
- A refutational approach to geometry theorem proving
- A logic for default reasoning
- Mechanical manipulation for a class of differential systems
- Model theory.
- A cubic system with eight small-amplitude limit cycles
- Deriving some new conditions on the existence of eight limit cycles for a cubic system
- Advanced topics in artificial intelligence. 12th Australian joint conference on Artificial intelligence, AI '99, Sydney, Australia, December 6--10, 1999. Proceedings
- Complexity estimates depending on condition and round-off error
- New results on quantifier elimination over real closed fields and applications to constraint databases
- On the logic of theory change: Partial meet contraction and revision functions
- A Cubic System with Eight Small-Amplitude Limit Cycles
- Practically solving some problems expressed in the first order theory of real closed field
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- A theory of requirements capture and its applications
- A Machine-Oriented Logic Based on the Resolution Principle
This page was built for publication: Limits of theory sequences over algebraically closed fields and applications.
