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 125 articles , 1 standard article )

Showing results 1 to 20 of 125.
Sorted by year (citations)

1 2 3 ... 5 6 7 next

  1. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Erratum to: “Analyzing restricted fragments of the theory of linear arithmetic” (2017)
  2. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas: \ssfSC$^2$: satisfiability checking meets symbolic computation. (Project paper) (2016)
  3. Dixit, Atul; Moll, Victor H.; Pillwein, Veronika: A hypergeometric inequality (2016)
  4. Eraşcu, Mădălina; Hong, Hoon: Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (2016)
  5. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On the implementation of CGS real QE (2016)
  6. Košta, Marek; Sturm, Thomas; Dolzmann, Andreas: Better answers to real questions (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. 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)
  9. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  10. Hong, Hoon; Tang, Xiaoxian; Xia, Bican: Special algorithm for stability analysis of multistable biological regulatory systems (2015)
  11. Kredel, Heinz: Parametric solvable polynomial rings and applications (2015)
  12. Nikolov, Geno; Pillwein, Veronika: An extension of Turán’s inequality (2015)
  13. 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)
  14. Xu, Ming; Li, Zhi-Bin; Yang, Lu: Quantifier elimination for a class of exponential polynomial formulas (2015)
  15. Anai, Hirokazu: Applied algebraic geometry in model based design for manufacturing (2014)
  16. Casagrande, A.; Dreossi, T.; Fabriková, J.; Piazza, C.: $\epsilon$-semantics computations on biological systems (2014)
  17. Chen, Changbo; Maza, Marc Moreno: An incremental algorithm for computing cylindrical algebraic decompositions (2014)
  18. Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr: On quantified linear implications (2014)
  19. Hladík, Milan; Ratschan, Stefan: Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (2014)
  20. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: SyNRAC: a toolbox for solving real algebraic constraints (2014)

1 2 3 ... 5 6 7 next