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 41 to 60 of 160.
Sorted by year (citations)
  1. Chen, Changbo; Maza, Marc Moreno: An incremental algorithm for computing cylindrical algebraic decompositions (2014)
  2. Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr: On quantified linear implications (2014)
  3. Hladík, Milan; Ratschan, Stefan: Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (2014)
  4. Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James: Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition (2014)
  5. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: SyNRAC: a toolbox for solving real algebraic constraints (2014)
  6. Korovin, Konstantin; Koša, Marek; Sturm, Thomas: Towards conflict-driven learning for virtual substitution (2014)
  7. Kredel, Heinz: Comprehensive Gröbner bases in a Java computer algebra system (2014)
  8. Ruggieri, Salvatore; Eirinakis, Pavlos; Subramani, K.; Wojciechowski, Piotr: On the complexity of quantified linear systems (2014)
  9. de Moura, Leonardo; Passmore, Grant Olney: The strategy challenge in SMT solving (2013)
  10. She, Zhikun; Li, Haiyin: Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response (2013)
  11. She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican: Discovering polynomial Lyapunov functions for continuous dynamical systems (2013)
  12. Zhan, Naijun; Wang, Shuling; Zhao, Hengjun: Formal modelling, analysis and verification of hybrid systems (2013)
  13. Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak: Synthesizing switching controllers for hybrid systems by generating invariants (2013)
  14. Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert: SAT modulo linear arithmetic for solving polynomial constraints (2012)
  15. Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr: A complexity perspective on entailment of parameterized linear constraints (2012)
  16. Errami, Hassan; Seiler, Werner M.; Eiswirth, Markus; Weber, Andreas: Computing Hopf bifurcations in chemical reaction networks using reaction coordinates (2012)
  17. Levandovskyy, Viktor; Martin, Bernd: A symbolic approach to generation and analysis of finite difference schemes of partial differential equations (2012)
  18. Liu, Jiang; Zhan, Naijun; Zhao, Hengjun: Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (2012)
  19. McCallum, Scott; Weispfenning, Volker: Deciding polynomial-transcendental problems (2012)
  20. Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo: Interpolation-based height analysis for improving a recurrence solver (2012)