Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300126908> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4300126908 abstract "Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in Coq. The main difficulties lie in the proper definition of asymptotic behaviors and the implicit way they are handled in the mathematical pen-and-paper proofs. To our knowledge, this is the first time such kind of mathematical proof is machine-checked." @default.
- W4300126908 created "2022-10-03" @default.
- W4300126908 creator A5009030222 @default.
- W4300126908 creator A5031775383 @default.
- W4300126908 creator A5060373188 @default.
- W4300126908 creator A5073473823 @default.
- W4300126908 creator A5081315424 @default.
- W4300126908 creator A5084552310 @default.
- W4300126908 date "2010-01-27" @default.
- W4300126908 modified "2023-10-01" @default.
- W4300126908 title "Formal Proof of a Wave Equation Resolution Scheme: the Method Error" @default.
- W4300126908 doi "https://doi.org/10.48550/arxiv.1001.4898" @default.
- W4300126908 hasPublicationYear "2010" @default.
- W4300126908 type Work @default.
- W4300126908 citedByCount "0" @default.
- W4300126908 crossrefType "posted-content" @default.
- W4300126908 hasAuthorship W4300126908A5009030222 @default.
- W4300126908 hasAuthorship W4300126908A5031775383 @default.
- W4300126908 hasAuthorship W4300126908A5060373188 @default.
- W4300126908 hasAuthorship W4300126908A5073473823 @default.
- W4300126908 hasAuthorship W4300126908A5081315424 @default.
- W4300126908 hasAuthorship W4300126908A5084552310 @default.
- W4300126908 hasBestOaLocation W43001269081 @default.
- W4300126908 hasConcept C108710211 @default.
- W4300126908 hasConcept C11413529 @default.
- W4300126908 hasConcept C134306372 @default.
- W4300126908 hasConcept C135754263 @default.
- W4300126908 hasConcept C136119220 @default.
- W4300126908 hasConcept C138268822 @default.
- W4300126908 hasConcept C154945302 @default.
- W4300126908 hasConcept C162324750 @default.
- W4300126908 hasConcept C199343813 @default.
- W4300126908 hasConcept C202444582 @default.
- W4300126908 hasConcept C2524010 @default.
- W4300126908 hasConcept C26517878 @default.
- W4300126908 hasConcept C2777303404 @default.
- W4300126908 hasConcept C2777686260 @default.
- W4300126908 hasConcept C28826006 @default.
- W4300126908 hasConcept C33923547 @default.
- W4300126908 hasConcept C38652104 @default.
- W4300126908 hasConcept C41008148 @default.
- W4300126908 hasConcept C50522688 @default.
- W4300126908 hasConcept C64980692 @default.
- W4300126908 hasConcept C71924100 @default.
- W4300126908 hasConcept C77618280 @default.
- W4300126908 hasConcept C94461902 @default.
- W4300126908 hasConceptScore W4300126908C108710211 @default.
- W4300126908 hasConceptScore W4300126908C11413529 @default.
- W4300126908 hasConceptScore W4300126908C134306372 @default.
- W4300126908 hasConceptScore W4300126908C135754263 @default.
- W4300126908 hasConceptScore W4300126908C136119220 @default.
- W4300126908 hasConceptScore W4300126908C138268822 @default.
- W4300126908 hasConceptScore W4300126908C154945302 @default.
- W4300126908 hasConceptScore W4300126908C162324750 @default.
- W4300126908 hasConceptScore W4300126908C199343813 @default.
- W4300126908 hasConceptScore W4300126908C202444582 @default.
- W4300126908 hasConceptScore W4300126908C2524010 @default.
- W4300126908 hasConceptScore W4300126908C26517878 @default.
- W4300126908 hasConceptScore W4300126908C2777303404 @default.
- W4300126908 hasConceptScore W4300126908C2777686260 @default.
- W4300126908 hasConceptScore W4300126908C28826006 @default.
- W4300126908 hasConceptScore W4300126908C33923547 @default.
- W4300126908 hasConceptScore W4300126908C38652104 @default.
- W4300126908 hasConceptScore W4300126908C41008148 @default.
- W4300126908 hasConceptScore W4300126908C50522688 @default.
- W4300126908 hasConceptScore W4300126908C64980692 @default.
- W4300126908 hasConceptScore W4300126908C71924100 @default.
- W4300126908 hasConceptScore W4300126908C77618280 @default.
- W4300126908 hasConceptScore W4300126908C94461902 @default.
- W4300126908 hasLocation W43001269081 @default.
- W4300126908 hasLocation W43001269082 @default.
- W4300126908 hasLocation W43001269083 @default.
- W4300126908 hasLocation W43001269084 @default.
- W4300126908 hasLocation W43001269085 @default.
- W4300126908 hasLocation W43001269086 @default.
- W4300126908 hasOpenAccess W4300126908 @default.
- W4300126908 hasPrimaryLocation W43001269081 @default.
- W4300126908 hasRelatedWork W1562016206 @default.
- W4300126908 hasRelatedWork W187835144 @default.
- W4300126908 hasRelatedWork W2019406792 @default.
- W4300126908 hasRelatedWork W2142805699 @default.
- W4300126908 hasRelatedWork W2278526301 @default.
- W4300126908 hasRelatedWork W2949299018 @default.
- W4300126908 hasRelatedWork W3103675537 @default.
- W4300126908 hasRelatedWork W3168779796 @default.
- W4300126908 hasRelatedWork W4300126908 @default.
- W4300126908 hasRelatedWork W189467078 @default.
- W4300126908 isParatext "false" @default.
- W4300126908 isRetracted "false" @default.
- W4300126908 workType "article" @default.