Matches in SemOpenAlex for { <https://semopenalex.org/work/W2560212503> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2560212503 abstract "We discuss experimental results of an automatic approach for inferring polynomial loop invariants of P-solvable loops implementing interesting number- theoretic algorithms. The method relies on techniques from symbolic summation and polynomial algebra, and is implemented in the software package Aligator written in Mathematica." @default.
- W2560212503 created "2016-12-16" @default.
- W2560212503 creator A5071158512 @default.
- W2560212503 creator A5090670207 @default.
- W2560212503 date "2009-01-01" @default.
- W2560212503 modified "2023-09-27" @default.
- W2560212503 title "FUTHER CONSIDERATION ON THE FORMAL VERIFICATION OF NUMBER THERETICAL ALGORITHMS" @default.
- W2560212503 cites W1577276830 @default.
- W2560212503 cites W1585981132 @default.
- W2560212503 cites W1608777581 @default.
- W2560212503 cites W1967845657 @default.
- W2560212503 cites W1971043610 @default.
- W2560212503 cites W1978367838 @default.
- W2560212503 cites W1981663184 @default.
- W2560212503 cites W2003141394 @default.
- W2560212503 cites W2004746351 @default.
- W2560212503 cites W2031373197 @default.
- W2560212503 cites W2064305618 @default.
- W2560212503 cites W2065534115 @default.
- W2560212503 cites W2098045685 @default.
- W2560212503 cites W2099629271 @default.
- W2560212503 cites W2153531485 @default.
- W2560212503 cites W2153757816 @default.
- W2560212503 cites W2159289729 @default.
- W2560212503 cites W2501281238 @default.
- W2560212503 hasPublicationYear "2009" @default.
- W2560212503 type Work @default.
- W2560212503 sameAs 2560212503 @default.
- W2560212503 citedByCount "0" @default.
- W2560212503 crossrefType "journal-article" @default.
- W2560212503 hasAuthorship W2560212503A5071158512 @default.
- W2560212503 hasAuthorship W2560212503A5090670207 @default.
- W2560212503 hasConcept C110812573 @default.
- W2560212503 hasConcept C11413529 @default.
- W2560212503 hasConcept C118615104 @default.
- W2560212503 hasConcept C134306372 @default.
- W2560212503 hasConcept C136119220 @default.
- W2560212503 hasConcept C199360897 @default.
- W2560212503 hasConcept C202444582 @default.
- W2560212503 hasConcept C2777904410 @default.
- W2560212503 hasConcept C33923547 @default.
- W2560212503 hasConcept C41008148 @default.
- W2560212503 hasConcept C75606506 @default.
- W2560212503 hasConcept C80444323 @default.
- W2560212503 hasConcept C90119067 @default.
- W2560212503 hasConceptScore W2560212503C110812573 @default.
- W2560212503 hasConceptScore W2560212503C11413529 @default.
- W2560212503 hasConceptScore W2560212503C118615104 @default.
- W2560212503 hasConceptScore W2560212503C134306372 @default.
- W2560212503 hasConceptScore W2560212503C136119220 @default.
- W2560212503 hasConceptScore W2560212503C199360897 @default.
- W2560212503 hasConceptScore W2560212503C202444582 @default.
- W2560212503 hasConceptScore W2560212503C2777904410 @default.
- W2560212503 hasConceptScore W2560212503C33923547 @default.
- W2560212503 hasConceptScore W2560212503C41008148 @default.
- W2560212503 hasConceptScore W2560212503C75606506 @default.
- W2560212503 hasConceptScore W2560212503C80444323 @default.
- W2560212503 hasConceptScore W2560212503C90119067 @default.
- W2560212503 hasLocation W25602125031 @default.
- W2560212503 hasOpenAccess W2560212503 @default.
- W2560212503 hasPrimaryLocation W25602125031 @default.
- W2560212503 hasRelatedWork W1480383020 @default.
- W2560212503 hasRelatedWork W1518917853 @default.
- W2560212503 hasRelatedWork W156140869 @default.
- W2560212503 hasRelatedWork W1577276830 @default.
- W2560212503 hasRelatedWork W1585165666 @default.
- W2560212503 hasRelatedWork W1585981132 @default.
- W2560212503 hasRelatedWork W1603374186 @default.
- W2560212503 hasRelatedWork W1634758794 @default.
- W2560212503 hasRelatedWork W1649228311 @default.
- W2560212503 hasRelatedWork W1804812175 @default.
- W2560212503 hasRelatedWork W2019507085 @default.
- W2560212503 hasRelatedWork W2093944954 @default.
- W2560212503 hasRelatedWork W2109499536 @default.
- W2560212503 hasRelatedWork W2135633055 @default.
- W2560212503 hasRelatedWork W2341151488 @default.
- W2560212503 hasRelatedWork W2344855325 @default.
- W2560212503 hasRelatedWork W3094161958 @default.
- W2560212503 hasRelatedWork W3141384256 @default.
- W2560212503 hasRelatedWork W579361209 @default.
- W2560212503 hasRelatedWork W1996483717 @default.
- W2560212503 isParatext "false" @default.
- W2560212503 isRetracted "false" @default.
- W2560212503 magId "2560212503" @default.
- W2560212503 workType "article" @default.