REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of first-order formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods applied know about the underlying algebraic theory and make use of it. We illustrate some applications of REDLOG, describe its functionality as it appears to the user, and explain the design issues and implementation techniques.

References in zbMATH (referenced in 160 articles , 1 standard article )

Showing results 141 to 160 of 160.
Sorted by year (citations)

previous 1 2 3 ... 6 7 8

  1. El Kahoui, M’hammed; Weber, Andreas: Deciding Hopf bifurcations by quantifier elimination in a software-component architecture (2000)
  2. Fraer, Ranan; Kamhi, Gila; Ziv, Barukh; Vardi, Moshe Y.; Fix, Limor: Prioritized traversal: Efficient reachability analysis for verification and falsification (2000)
  3. Göbel, Manfred; Maier, Patrick: Three remarks on comprehensive Gröbner and SAGBI bases (2000)
  4. Ioakimidis, Nikolaos I.: Derivation of feasibility conditions in engineering problems under parametric inequality constraints with classical Fourier elimination (2000)
  5. Shakernia, Omid; Pappas, George J.; Sastry, Shankar: Decidable controller synthesis for classes of linear systems (2000)
  6. Sturm, Thomas: An algebraic approach to offsetting and blending of solids (2000)
  7. Sturm, Thomas: Linear problems in valued fields (2000)
  8. Vidal, René; Schaffert, Shawn; Lygeros, John; Sastry, Shankar: Controlled invariance of discrete time systems (2000)
  9. Dolzmann, Andreas: Solving geometric problems with real quantifier elimination (1999)
  10. Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker: Real quantifier elimination in practice (1999)
  11. Egerstedt, M.; Koo, T. J.; Hoffmann, F.; Sastry, S.: Path planning and flight controller scheduling for an autonomous helicopter (1999)
  12. Göbel, Manfred; Küchlin, Wolfgang; Müller, Stefan; Weber, Andreas: Extending a Java based framework for scinetific software-components (1999)
  13. Ioakimidis, N. I.: Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (1999)
  14. Neun, W.: Some examples for parallel computations using REDUCE (1999)
  15. Sturm, Thomas: Reasoning over networks by symbolic methods (1999)
  16. Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker: A new approach for automatic theorem proving in real geometry (1998)
  17. Kreinovich, V.; Lakeyev, A.; Rohn, Jiří; Kahl, Patrick: Computational complexity and feasibility of data processing and interval computations (1998)
  18. Sturm, Thomas; Weispfenning, Volker: Computational geometry problems in REDLOG (1998)
  19. Dolzmann, Andreas; Sturm, Thomas: Simplification of quantifier-free formulae over ordered fields (1997)
  20. Weispfenning, V.: Quantifier elimination for real algebra -- the quadratic case and beyond (1997)

previous 1 2 3 ... 6 7 8