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 21 to 40 of 160.
Sorted by year (citations)

previous 1 2 3 4 ... 6 7 8 next

  1. Eraşcu, Mădălina: Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms (2016)
  2. Eraşcu, Mădălina; Hong, Hoon: Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (2016)
  3. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On the implementation of CGS real QE (2016)
  4. Košta, Marek; Sturm, Thomas; Dolzmann, Andreas: Better answers to real questions (2016)
  5. Sankaranarayanan, Sriram: Change-of-bases abstractions for non-linear hybrid systems (2016)
  6. Uijlen, Sander; Westerbaan, Bas: A Kochen-Specker system has at least 22 vectors (2016)
  7. Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan: Multiphase until formulas over Markov reward models: an algebraic approach (2016)
  8. Yang, Zhengfeng; Huang, Chao; Chen, Xin; Lin, Wang; Liu, Zhiming: A linear programming relaxation based approach for generating barrier certificates of hybrid systems (2016)
  9. Abraham, Erika: Building bridges between symbolic computation and satisfiability checking (2015)
  10. Errami, Hassan; Eiswirth, Markus; Grigoriev, Dima; Seiler, Werner M.; Sturm, Thomas; Weber, Andreas: Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (2015)
  11. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  12. Hong, Hoon; Tang, Xiaoxian; Xia, Bican: Special algorithm for stability analysis of multistable biological regulatory systems (2015)
  13. Jaroschek, Maximilian; Dobal, Pablo Federico; Fontaine, Pascal: Adapting real quantifier elimination methods for conflict set computation (2015)
  14. Kamyar, Reza; Peet, Matthew M.: Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares (2015)
  15. Kredel, Heinz: Parametric solvable polynomial rings and applications (2015)
  16. Nikolov, Geno; Pillwein, Veronika: An extension of Turán’s inequality (2015)
  17. Samal, Satya Swarup; Grigoriev, Dima; Fröhlich, Holger; Weber, Andreas; Radulescu, Ovidiu: A geometric method for model reduction of biochemical networks with polynomial rate functions (2015)
  18. Xu, Ming; Li, Zhi-Bin; Yang, Lu: Quantifier elimination for a class of exponential polynomial formulas (2015)
  19. Anai, Hirokazu: Applied algebraic geometry in model based design for manufacturing (2014)
  20. Casagrande, A.; Dreossi, T.; Fabriková, J.; Piazza, C.: (\epsilon)-semantics computations on biological systems (2014)

previous 1 2 3 4 ... 6 7 8 next