KOPS - The Institutional Repository of the University of Konstanz

Numerical MMATh Verified essential algorithms for solving differential equations

Numerical MMATh Verified essential algorithms for solving differential equations

Cite This

Files in this item

Checksum: MD5:956b0c7d075348ddba0a5a38345fcdf0
Checksum: MD5:dc5980e54acbcee17c0d82f6ba55cc25
Checksum: MD5:61436d6292ce6e5e84c1ad47c161c7fe

HÖLLE, Stefan, 2019. Numerical MMATh Verified essential algorithms for solving differential equations [Dissertation]. Konstanz: University of Konstanz

@phdthesis{Holle2019Numer-48245, title={Numerical MMATh Verified essential algorithms for solving differential equations}, year={2019}, author={Hölle, Stefan}, address={Konstanz}, school={Universität Konstanz} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/48245"> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:issued>2019</dcterms:issued> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/48245/5/Hoelle_2-wy9t0l1jof5y2.pdf"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/48245/6/Hoelle_Langversion_2-wy9t0l1jof5y2.pdf"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Hölle, Stefan</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:language>eng</dc:language> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:title>Numerical MMATh Verified essential algorithms for solving differential equations</dcterms:title> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/48245/3/Implementation.zip"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/48245"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/48245/3/Implementation.zip"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/48245/6/Hoelle_Langversion_2-wy9t0l1jof5y2.pdf"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-01-16T14:07:42Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-01-16T14:07:42Z</dcterms:available> <dc:creator>Hölle, Stefan</dc:creator> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/48245/5/Hoelle_2-wy9t0l1jof5y2.pdf"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> </rdf:Description> </rdf:RDF>

Downloads since Jan 16, 2020 (Information about access statistics)

Hoelle_Langversion_2-wy9t0l1jof5y2.pdf 12
Hoelle_2-wy9t0l1jof5y2.pdf 56
Implementation.zip 4

This item appears in the following Collection(s)

Search KOPS


Browse

My Account