Bounds and algebraic algorithms in differential algebra : the ordinary case ; (extended abstract)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2007]
- Contributor
-
Golubitsky, Oleg
Moreno Maza, Marc
Kondratieva, Marina V.
Ovchinnikov, Alexey
- URN
-
urn:nbn:de:0030-drops-10219
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Golubitsky, Oleg
- Moreno Maza, Marc
- Kondratieva, Marina V.
- Ovchinnikov, Alexey
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2007]
Other Objects (12)
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Generalized metatheorems on the extractability of uniform bounds in functional analysis : (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
Exclusion Bounds for Extended Anyons
A separation bound for real algebraic expressions
A Separation Bound for Real Algebraic Expressions
Solving ordinary differential equations, 2.. Stiff and differential algebraic problems
Solving ordinary differential equations, 2.. Stiff and differential algebraic problems
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Generalized metatheorems on the extractability of uniform bounds in functional analysis : (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
Exclusion Bounds for Extended Anyons
A separation bound for real algebraic expressions
A Separation Bound for Real Algebraic Expressions
Solving ordinary differential equations, 2.. Stiff and differential algebraic problems
Solving ordinary differential equations, 2.. Stiff and differential algebraic problems
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Generalized metatheorems on the extractability of uniform bounds in functional analysis : (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
Exclusion Bounds for Extended Anyons
A separation bound for real algebraic expressions
A Separation Bound for Real Algebraic Expressions
Solving ordinary differential equations, 2.. Stiff and differential algebraic problems
Solving ordinary differential equations, 2.. Stiff and differential algebraic problems
Learning through failure : (extended abstract)