
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...

ASpecPairedMatrix
 Referenced in 2 articles
[sw15022]
 operators. For the onedimensional 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...

ASpecPairedScalar
 Referenced in 2 articles
[sw15023]
 operators. For the onedimensional 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 rulebased approach...

Spacer
 Referenced in 11 articles
[sw19496]
 case bounds of the best BDDbased 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, setbased, Kaucher), interval bounds representation (extended rational, IEEE 7542008 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...

ADOLC
 Referenced in 242 articles
[sw00019]
 ADOLC: 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 specialpurpose 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...