1
Published 2006
Table of Contents: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...
View full text
Electronic eBook
5
Subjects: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook