Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567779066> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1567779066 abstract "We show a new and constructive proof of the two-squares theorem, based on a somewhat unusual, but very effective, way of rewriting the so-called extended Euclid's algorithm. Rather than simply verifying the result -- as it is usually done in the mathematical community -- we use Euclid's algorithm as an interface to investigate which numbers can be written as sums of two positive squares. The precise formulation of the problem as an algorithmic problem is the key, since it allows us to use algorithmic techniques and to avoid guessing. The notion of invariance, in particular, plays a central role in our development: it is used initially to observe that Euclid's algorithm can actually be used to represent a given number as a sum of two positive squares, and then it is used throughout the argument to prove other relevant properties. We also show how the use of program inversion techniques can make mathematical arguments more precise." @default.
- W1567779066 created "2016-06-24" @default.
- W1567779066 creator A5061858982 @default.
- W1567779066 date "2010-01-01" @default.
- W1567779066 modified "2023-09-24" @default.
- W1567779066 title "Designing an Algorithmic Proof of the Two-Squares Theorem" @default.
- W1567779066 cites W1535355150 @default.
- W1567779066 cites W1830536334 @default.
- W1567779066 cites W1975113399 @default.
- W1567779066 cites W2042453256 @default.
- W1567779066 cites W2147543351 @default.
- W1567779066 cites W2274434947 @default.
- W1567779066 cites W4230413383 @default.
- W1567779066 cites W4232456604 @default.
- W1567779066 cites W4235089220 @default.
- W1567779066 cites W4241463772 @default.
- W1567779066 cites W4246734892 @default.
- W1567779066 cites W4252703028 @default.
- W1567779066 cites W4252855367 @default.
- W1567779066 cites W4254275662 @default.
- W1567779066 cites W4254592058 @default.
- W1567779066 doi "https://doi.org/10.1007/978-3-642-13321-3_10" @default.
- W1567779066 hasPublicationYear "2010" @default.
- W1567779066 type Work @default.
- W1567779066 sameAs 1567779066 @default.
- W1567779066 citedByCount "5" @default.
- W1567779066 countsByYear W15677790662012 @default.
- W1567779066 countsByYear W15677790662016 @default.
- W1567779066 countsByYear W15677790662017 @default.
- W1567779066 countsByYear W15677790662020 @default.
- W1567779066 crossrefType "book-chapter" @default.
- W1567779066 hasAuthorship W1567779066A5061858982 @default.
- W1567779066 hasBestOaLocation W15677790662 @default.
- W1567779066 hasConcept C108710211 @default.
- W1567779066 hasConcept C11413529 @default.
- W1567779066 hasConcept C118615104 @default.
- W1567779066 hasConcept C136119220 @default.
- W1567779066 hasConcept C154690210 @default.
- W1567779066 hasConcept C199360897 @default.
- W1567779066 hasConcept C202444582 @default.
- W1567779066 hasConcept C202854965 @default.
- W1567779066 hasConcept C206880738 @default.
- W1567779066 hasConcept C2524010 @default.
- W1567779066 hasConcept C2778701210 @default.
- W1567779066 hasConcept C32278780 @default.
- W1567779066 hasConcept C33923547 @default.
- W1567779066 hasConcept C41008148 @default.
- W1567779066 hasConcept C80444323 @default.
- W1567779066 hasConcept C98045186 @default.
- W1567779066 hasConceptScore W1567779066C108710211 @default.
- W1567779066 hasConceptScore W1567779066C11413529 @default.
- W1567779066 hasConceptScore W1567779066C118615104 @default.
- W1567779066 hasConceptScore W1567779066C136119220 @default.
- W1567779066 hasConceptScore W1567779066C154690210 @default.
- W1567779066 hasConceptScore W1567779066C199360897 @default.
- W1567779066 hasConceptScore W1567779066C202444582 @default.
- W1567779066 hasConceptScore W1567779066C202854965 @default.
- W1567779066 hasConceptScore W1567779066C206880738 @default.
- W1567779066 hasConceptScore W1567779066C2524010 @default.
- W1567779066 hasConceptScore W1567779066C2778701210 @default.
- W1567779066 hasConceptScore W1567779066C32278780 @default.
- W1567779066 hasConceptScore W1567779066C33923547 @default.
- W1567779066 hasConceptScore W1567779066C41008148 @default.
- W1567779066 hasConceptScore W1567779066C80444323 @default.
- W1567779066 hasConceptScore W1567779066C98045186 @default.
- W1567779066 hasLocation W15677790661 @default.
- W1567779066 hasLocation W15677790662 @default.
- W1567779066 hasOpenAccess W1567779066 @default.
- W1567779066 hasPrimaryLocation W15677790661 @default.
- W1567779066 hasRelatedWork W117725373 @default.
- W1567779066 hasRelatedWork W1484028341 @default.
- W1567779066 hasRelatedWork W1498264756 @default.
- W1567779066 hasRelatedWork W1525483008 @default.
- W1567779066 hasRelatedWork W1579364886 @default.
- W1567779066 hasRelatedWork W1587770477 @default.
- W1567779066 hasRelatedWork W1598835176 @default.
- W1567779066 hasRelatedWork W1946255743 @default.
- W1567779066 hasRelatedWork W1967592514 @default.
- W1567779066 hasRelatedWork W1977289415 @default.
- W1567779066 hasRelatedWork W1990937980 @default.
- W1567779066 hasRelatedWork W1999304169 @default.
- W1567779066 hasRelatedWork W2003804739 @default.
- W1567779066 hasRelatedWork W2005971232 @default.
- W1567779066 hasRelatedWork W2013572173 @default.
- W1567779066 hasRelatedWork W2024311864 @default.
- W1567779066 hasRelatedWork W2088633747 @default.
- W1567779066 hasRelatedWork W2288293889 @default.
- W1567779066 hasRelatedWork W287250049 @default.
- W1567779066 hasRelatedWork W82186835 @default.
- W1567779066 isParatext "false" @default.
- W1567779066 isRetracted "false" @default.
- W1567779066 magId "1567779066" @default.
- W1567779066 workType "book-chapter" @default.