Performance of taylor model methods for validated integration of ODEs

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	BERZ, Martin, MAKINO, Kyoko
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	74
container_issue
container_start_page	65
container_title
container_volume
creator	BERZ, Martin MAKINO, Kyoko
description
doi_str_mv	10.1007/11558958_8
format	Conference Proceeding
fullrecord	<record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_19162637</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19162637</sourcerecordid><originalsourceid>FETCH-LOGICAL-c226t-f9898488bc45f8e69a061727476265d9d9648fc7172051b40c66810af3bb4db33</originalsourceid><addsrcrecordid>eNotT0tLxDAYDD7AsvbiL8jFYzXPL8lR1roKC-tBzyXNQyttsyRF2H9vRecyMMwMMwjdUHJHCVH3lEqpjdSdPkMVBUobzoU5R7VRmktBmCGgxAWqCCesMUrwK1SX8kVWcApMmQq1ryHHlCc7u4BTxIs9jSnjKfkw4iksn8kXvBrwtx0Hb5fg8TAv4SPbZUjzb-Lw2JZrdBntWEL9zxv0_tS-bZ-b_WH3sn3YN44xWJpotNFC694JGXUAYwlQxZRQwEB64w0IHZ1aNSJpL4gD0JTYyPte-J7zDbr96z3a4uwY8zp7KN0xD5PNp46a9RVwxX8AYptPHA</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Performance of taylor model methods for validated integration of ODEs</title><source>Springer Books</source><creator>BERZ, Martin ; MAKINO, Kyoko</creator><creatorcontrib>BERZ, Martin ; MAKINO, Kyoko</creatorcontrib><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540290674</identifier><identifier>ISBN: 3540290672</identifier><identifier>EISSN: 1611-3349</identifier><identifier>DOI: 10.1007/11558958_8</identifier><language>eng</language><publisher>New York: Springer</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Software</subject><ispartof>Lecture notes in computer science, 2006, p.65-74</ispartof><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c226t-f9898488bc45f8e69a061727476265d9d9648fc7172051b40c66810af3bb4db33</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,776,780,785,786,4035,4036,27904</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19162637$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>BERZ, Martin</creatorcontrib><creatorcontrib>MAKINO, Kyoko</creatorcontrib><title>Performance of taylor model methods for validated integration of ODEs</title><title>Lecture notes in computer science</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Software</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540290674</isbn><isbn>3540290672</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNotT0tLxDAYDD7AsvbiL8jFYzXPL8lR1roKC-tBzyXNQyttsyRF2H9vRecyMMwMMwjdUHJHCVH3lEqpjdSdPkMVBUobzoU5R7VRmktBmCGgxAWqCCesMUrwK1SX8kVWcApMmQq1ryHHlCc7u4BTxIs9jSnjKfkw4iksn8kXvBrwtx0Hb5fg8TAv4SPbZUjzb-Lw2JZrdBntWEL9zxv0_tS-bZ-b_WH3sn3YN44xWJpotNFC694JGXUAYwlQxZRQwEB64w0IHZ1aNSJpL4gD0JTYyPte-J7zDbr96z3a4uwY8zp7KN0xD5PNp46a9RVwxX8AYptPHA</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>BERZ, Martin</creator><creator>MAKINO, Kyoko</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>Performance of taylor model methods for validated integration of ODEs</title><author>BERZ, Martin ; MAKINO, Kyoko</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c226t-f9898488bc45f8e69a061727476265d9d9648fc7172051b40c66810af3bb4db33</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>BERZ, Martin</creatorcontrib><creatorcontrib>MAKINO, Kyoko</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>BERZ, Martin</au><au>MAKINO, Kyoko</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Performance of taylor model methods for validated integration of ODEs</atitle><btitle>Lecture notes in computer science</btitle><date>2006</date><risdate>2006</risdate><spage>65</spage><epage>74</epage><pages>65-74</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540290674</isbn><isbn>3540290672</isbn><cop>New York</cop><cop>Berlin</cop><pub>Springer</pub><doi>10.1007/11558958_8</doi><tpages>10</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof	Lecture notes in computer science, 2006, p.65-74
issn	0302-9743 1611-3349
language	eng
recordid	cdi_pascalfrancis_primary_19162637
source	Springer Books
subjects	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Software
title	Performance of taylor model methods for validated integration of ODEs
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-25T08%3A35%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Performance%20of%20taylor%20model%20methods%20for%20validated%20integration%20of%20ODEs&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=BERZ,%20Martin&rft.date=2006&rft.spage=65&rft.epage=74&rft.pages=65-74&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540290674&rft.isbn_list=3540290672&rft_id=info:doi/10.1007/11558958_8&rft_dat=%3Cpascalfrancis%3E19162637%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true