• ObservabilityTest

  • Referenced in 20 articles [sw36921]
  • arithmetic operations on the rational field is presented. This bound is polynomial in the complexity...
  • PESC

  • Referenced in 8 articles [sw17860]
  • target objective. We take a bounded rationality approach and develop a partial update for PESC...
  • RationalFirstintegrals

  • Referenced in 5 articles [sw14472]
  • present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial ... annihilating this power series. We provide explicit bounds on the number of terms needed ... their method into a certified algorithm computing rational first integrals via systems of linear equations ... denotes the given bound for the degree of the rational first integral...
  • ASpecPaired-Matrix

  • Referenced in 2 articles [sw15022]
  • operators. For the one-dimensional case, nontrivial rational examples, computed with the automated process called ... matrix case, nontrivial essentially bounded and rational examples, computed with the analytical algorithms [AFact], [SInt...
  • ASpecPaired-Scalar

  • Referenced in 2 articles [sw15023]
  • operators. For the one-dimensional case, nontrivial rational examples, computed with the automated process called ... matrix case, nontrivial essentially bounded and rational examples, computed with the analytical algorithms [AFact], [SInt...
  • GENEFER

  • Referenced in 1 article [sw16838]
  • make mistakes, learn and adapt. Agents’ bounded rationality leads us to a rule-based approach...
  • Spacer

  • Referenced in 11 articles [sw19496]
  • case bounds of the best BDD-based algorithms. For Linear Arithmetic (integers and rationals...
  • Convex

  • Referenced in 33 articles [sw07770]
  • rational” means that all coordinates must be rational numbers. The package provides functions for ”linear ... finitely many points and rays. A bounded polyhedron is also called a polytope...
  • JInterval

  • Referenced in 1 article [sw18033]
  • classic, set-based, Kaucher), interval bounds representation (extended rational, IEEE 754-2008 oating point...
  • LFTB

  • Referenced in 3 articles [sw02546]
  • upper bound for the maximum singular value of a multidimensional rational matrix function, or linear...
  • fakequadrics

  • Referenced in 5 articles [sw34706]
  • smooth projective surface that has the same rational cohomology as a smooth quadric surface ... number of new techniques that explicitly bound the arithmetic invariants of a fake quadric...
  • PERMAP

  • Referenced in 1 article [sw26080]
  • types of MDS analyses involving error bounds or boundary conditions, and it can show ... problem is not solved by using rationalized starting points. You have to experiment with real...
  • ADOL-C

  • Referenced in 242 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 324 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

  • Referenced in 99 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

  • Referenced in 112 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 362 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 634 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...