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

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

1 2 3 ... 7 8 9 next

  1. Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas: Efficiently and effectively recognizing toricity of steady state varieties (2021)
  2. Kruff, Niclas; Lüders, Christoph; Radulescu, Ovidiu; Sturm, Thomas; Walcher, Sebastian: Algorithmic reduction of biological networks with multiple time scales (2021)
  3. Seiler, Werner M.; Seiß, Matthias; Sturm, Thomas: A logic based approach to finding real singularities of implicit ordinary differential equations (2021)
  4. 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)
  5. Xu, Ming; Deng, Yuxin: Time-bounded termination analysis for probabilistic programs with delays (2020)
  6. Conradi, Carsten; Iosif, Alexandru; Kahle, Thomas: Multistationarity in the space of total concentrations for systems that admit a monomial parametrization (2019)
  7. England, Matthew; Florescu, Dorian: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (2019)
  8. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On multivariate Hermitian quadratic forms (2019)
  9. Peuter, Dennis; Sofronie-Stokkermans, Viorica: On invariant synthesis for parametric systems (2019)
  10. Hong, Hoon; Sturm, Thomas: Positive solutions of systems of signed parametric polynomial inequalities (2018)
  11. Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Tarasich, Y.; Baiev, A.: Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas (2018)
  12. Montes, Antonio: The Gröbner cover (2018)
  13. Röbenack, Klaus; Voßwinkel, Rick; Richter, Hendrik: Automatic generation of bounds for polynomial systems with application to the Lorenz system (2018)
  14. Roncero-Clemente, Carlos; Roanes-Lozano, Eugenio: A multi-criteria computer package for power transformer fault detection and diagnosis (2018)
  15. Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram: Validating numerical semidefinite programming solvers for polynomial invariants (2018)
  16. Sturm, Thomas: Thirty years of virtual substitution. Foundations, techniques, applications (2018)
  17. 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)
  18. Kuijpers, Bart; Moelans, Bart: On the realisability of double-cross matrices by polylines in the plane (2017)
  19. Sturm, Thomas: A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (2017)
  20. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Analyzing restricted fragments of the theory of linear arithmetic (2017)

1 2 3 ... 7 8 9 next