Matches in SemOpenAlex for { <https://semopenalex.org/work/W2266110381> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2266110381 endingPage "101" @default.
- W2266110381 startingPage "86" @default.
- W2266110381 abstract "We propose an extension of a tableau-based calculus to deal with linear arithmetic. This extension consists of a smooth integration of arithmetic deductive rules to the basic tableau rules, so that there is a natural interleaving between arithmetic and regular analytic rules. The arithmetic rules rely on the general simplex algorithm to compute solutions for systems over rationals, as well as on the branch and bound method to deal with integer systems. We also describe our implementation in the framework of Zenon, an automated theorem prover that is able to deal with first order logic with equality. This implementation has been provided with a backend verifier that relies on the Coq proof assistant, and which can verify the validity of the generated arithmetic proofs. Finally, we present some experimental results over the arithmetic category of the TPTP library, and problems of program verification coming from the benchmark provided by the BWare project." @default.
- W2266110381 created "2016-06-24" @default.
- W2266110381 creator A5061312945 @default.
- W2266110381 creator A5063976357 @default.
- W2266110381 date "2015-01-01" @default.
- W2266110381 modified "2023-10-09" @default.
- W2266110381 title "Integrating Simplex with Tableaux" @default.
- W2266110381 cites W129696796 @default.
- W2266110381 cites W1480909796 @default.
- W2266110381 cites W1481689110 @default.
- W2266110381 cites W1505627668 @default.
- W2266110381 cites W1514486135 @default.
- W2266110381 cites W1573992413 @default.
- W2266110381 cites W1810306334 @default.
- W2266110381 cites W1878755246 @default.
- W2266110381 cites W2281732228 @default.
- W2266110381 cites W4246691913 @default.
- W2266110381 cites W4254354208 @default.
- W2266110381 doi "https://doi.org/10.1007/978-3-319-24312-2_7" @default.
- W2266110381 hasPublicationYear "2015" @default.
- W2266110381 type Work @default.
- W2266110381 sameAs 2266110381 @default.
- W2266110381 citedByCount "4" @default.
- W2266110381 countsByYear W22661103812016 @default.
- W2266110381 countsByYear W22661103812018 @default.
- W2266110381 countsByYear W22661103812019 @default.
- W2266110381 crossrefType "book-chapter" @default.
- W2266110381 hasAuthorship W2266110381A5061312945 @default.
- W2266110381 hasAuthorship W2266110381A5063976357 @default.
- W2266110381 hasBestOaLocation W22661103812 @default.
- W2266110381 hasConcept C100481476 @default.
- W2266110381 hasConcept C108710211 @default.
- W2266110381 hasConcept C153269930 @default.
- W2266110381 hasConcept C199360897 @default.
- W2266110381 hasConcept C206880738 @default.
- W2266110381 hasConcept C2524010 @default.
- W2266110381 hasConcept C33923547 @default.
- W2266110381 hasConcept C41008148 @default.
- W2266110381 hasConcept C5852641 @default.
- W2266110381 hasConcept C65148605 @default.
- W2266110381 hasConcept C80444323 @default.
- W2266110381 hasConcept C83581934 @default.
- W2266110381 hasConcept C94375191 @default.
- W2266110381 hasConcept C97489613 @default.
- W2266110381 hasConceptScore W2266110381C100481476 @default.
- W2266110381 hasConceptScore W2266110381C108710211 @default.
- W2266110381 hasConceptScore W2266110381C153269930 @default.
- W2266110381 hasConceptScore W2266110381C199360897 @default.
- W2266110381 hasConceptScore W2266110381C206880738 @default.
- W2266110381 hasConceptScore W2266110381C2524010 @default.
- W2266110381 hasConceptScore W2266110381C33923547 @default.
- W2266110381 hasConceptScore W2266110381C41008148 @default.
- W2266110381 hasConceptScore W2266110381C5852641 @default.
- W2266110381 hasConceptScore W2266110381C65148605 @default.
- W2266110381 hasConceptScore W2266110381C80444323 @default.
- W2266110381 hasConceptScore W2266110381C83581934 @default.
- W2266110381 hasConceptScore W2266110381C94375191 @default.
- W2266110381 hasConceptScore W2266110381C97489613 @default.
- W2266110381 hasLocation W22661103811 @default.
- W2266110381 hasLocation W22661103812 @default.
- W2266110381 hasLocation W22661103813 @default.
- W2266110381 hasLocation W22661103814 @default.
- W2266110381 hasLocation W22661103815 @default.
- W2266110381 hasOpenAccess W2266110381 @default.
- W2266110381 hasPrimaryLocation W22661103811 @default.
- W2266110381 hasRelatedWork W1486758468 @default.
- W2266110381 hasRelatedWork W1488962419 @default.
- W2266110381 hasRelatedWork W1583364912 @default.
- W2266110381 hasRelatedWork W197813433 @default.
- W2266110381 hasRelatedWork W1994775833 @default.
- W2266110381 hasRelatedWork W2037709165 @default.
- W2266110381 hasRelatedWork W2068523159 @default.
- W2266110381 hasRelatedWork W3162399495 @default.
- W2266110381 hasRelatedWork W4386288123 @default.
- W2266110381 hasRelatedWork W2501254184 @default.
- W2266110381 isParatext "false" @default.
- W2266110381 isRetracted "false" @default.
- W2266110381 magId "2266110381" @default.
- W2266110381 workType "book-chapter" @default.