REDLOG

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

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

1 2 3 ... 5 6 7 next

  1. Kuijpers, Bart; Moelans, Bart: On the realisability of double-cross matrices by polylines in the plane (2017)
  2. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Erratum to: “Analyzing restricted fragments of the theory of linear arithmetic” (2017)
  3. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Analyzing restricted fragments of the theory of linear arithmetic (2017)
  4. Á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)
  5. Dixit, Atul; Moll, Victor H.; Pillwein, Veronika: A hypergeometric inequality (2016)
  6. Eraşcu, Mădălina: Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms (2016)
  7. Eraşcu, Mădălina; Hong, Hoon: Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (2016)
  8. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On the implementation of CGS real QE (2016)
  9. Košta, Marek; Sturm, Thomas; Dolzmann, Andreas: Better answers to real questions (2016)
  10. Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan: Multiphase until formulas over Markov reward models: an algebraic approach (2016)
  11. 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)
  12. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  13. Hong, Hoon; Tang, Xiaoxian; Xia, Bican: Special algorithm for stability analysis of multistable biological regulatory systems (2015)
  14. Jaroschek, Maximilian; Dobal, Pablo Federico; Fontaine, Pascal: Adapting real quantifier elimination methods for conflict set computation (2015)
  15. Kamyar, Reza; Peet, Matthew M.: Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares (2015)
  16. Kredel, Heinz: Parametric solvable polynomial rings and applications (2015)
  17. Nikolov, Geno; Pillwein, Veronika: An extension of Turán’s inequality (2015)
  18. 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)
  19. Xu, Ming; Li, Zhi-Bin; Yang, Lu: Quantifier elimination for a class of exponential polynomial formulas (2015)
  20. Anai, Hirokazu: Applied algebraic geometry in model based design for manufacturing (2014)

1 2 3 ... 5 6 7 next