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

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

1 2 3 ... 6 7 8 next

  1. Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas: Identifying the parametric occurrence of multiple steady states for some biological networks (2020)
  2. Conradi, Carsten; Iosif, Alexandru; Kahle, Thomas: Multistationarity in the space of total concentrations for systems that admit a monomial parametrization (2019)
  3. England, Matthew; Florescu, Dorian: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (2019)
  4. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On multivariate Hermitian quadratic forms (2019)
  5. Peuter, Dennis; Sofronie-Stokkermans, Viorica: On invariant synthesis for parametric systems (2019)
  6. Hong, Hoon; Sturm, Thomas: Positive solutions of systems of signed parametric polynomial inequalities (2018)
  7. Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Tarasich, Y.; Baiev, A.: Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas (2018)
  8. Montes, Antonio: The Gröbner cover (2018)
  9. Röbenack, Klaus; Voßwinkel, Rick; Richter, Hendrik: Automatic generation of bounds for polynomial systems with application to the Lorenz system (2018)
  10. Roncero-Clemente, Carlos; Roanes-Lozano, Eugenio: A multi-criteria computer package for power transformer fault detection and diagnosis (2018)
  11. Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram: Validating numerical semidefinite programming solvers for polynomial invariants (2018)
  12. Sturm, Thomas: Thirty years of virtual substitution. Foundations, techniques, applications (2018)
  13. England, Matthew; Errami, Hassan; Grigoriev, Dima; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas: Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks (2017)
  14. Kuijpers, Bart; Moelans, Bart: On the realisability of double-cross matrices by polylines in the plane (2017)
  15. Sturm, Thomas: A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (2017)
  16. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Analyzing restricted fragments of the theory of linear arithmetic (2017)
  17. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Erratum to: “Analyzing restricted fragments of the theory of linear arithmetic” (2017)
  18. Á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: \textsfSC(^2): satisfiability checking meets symbolic computation. (Project paper) (2016)
  19. Dixit, Atul; Moll, Victor H.; Pillwein, Veronika: A hypergeometric inequality (2016)
  20. Eraşcu, Mădălina: Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms (2016)

1 2 3 ... 6 7 8 next