Search
| Leader | 00000nz a2200037n 45 0 | ||
|---|---|---|---|
| 001 | WKP|Q111989858 (VIAF cluster) (Authority/Source Record) | ||
| 003 | WKP | ||
| 005 | 20241121000022.0 | ||
| 008 | 241121nneanz||abbn n and d | ||
| 035 | ‡a (WKP)Q111989858 | ||
| 035 | ‡a (OCoLC)Q111989858 | ||
| 100 | 0 | ‡a David Wilson ‡9 en | |
| 670 | ‡a Author's A "Piano Movers" Problem Reformulated | ||
| 670 | ‡a Author's Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition | ||
| 670 | ‡a Author's Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition | ||
| 670 | ‡a Author's Cylindrical algebraic decompositions for boolean combinations | ||
| 670 | ‡a Author's Optimising Problem Formulation for Cylindrical Algebraic Decomposition | ||
| 670 | ‡a Author's Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition | ||
| 670 | ‡a Author's Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc | ||
| 670 | ‡a Author's Truth table invariant cylindrical algebraic decomposition | ||
| 670 | ‡a Author's Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains | ||
| 670 | ‡a Author's Understanding Branch Cuts of Expressions | ||
| 670 | ‡a Author's Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition | ||
| 670 | ‡a Author's Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting | ||
| 919 | ‡a applyingmachinelearningtotheproblemofchoosingaheuristictoselectthevariableorderingforcylindricalalgebraicdecomposition ‡A Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition ‡9 1 | ||
| 919 | ‡a usingtheregularchainslibrarytobuildcylindricalalgebraicdecompositionsbyprojectingandlifting ‡A Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting ‡9 1 | ||
| 919 | ‡a usingthedistributionofcellsbydimensioninacylindricalalgebraicdecomposition ‡A Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition ‡9 1 | ||
| 919 | ‡a understandingbranchcutsofexpressions ‡A Understanding Branch Cuts of Expressions ‡9 1 | ||
| 919 | ‡a truthtableinvariantcylindricalalgebraicdecompositionbyregularchains ‡A Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains ‡9 1 | ||
| 919 | ‡a truthtableinvariantcylindricalalgebraicdecomposition ‡A Truth table invariant cylindrical algebraic decomposition ‡9 1 | ||
| 919 | ‡a programverificationinthepresenceofcomplexnumbersfunctionswithbranchcutsetc ‡A Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc ‡9 1 | ||
| 919 | ‡a problemformulationfortruthtableinvariantcylindricalalgebraicdecompositionbyincrementaltriangulardecomposition ‡A Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ‡9 1 | ||
| 919 | ‡a optimisingproblemformulationforcylindricalalgebraicdecomposition ‡A Optimising Problem Formulation for Cylindrical Algebraic Decomposition ‡9 1 | ||
| 919 | ‡a cylindricalalgebraicdecompositionsforbooleancombinations ‡A Cylindrical algebraic decompositions for boolean combinations ‡9 1 | ||
| 919 | ‡a choosingavariableorderingfortruthtableinvariantcylindricalalgebraicdecompositionbyincrementaltriangulardecomposition ‡A Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ‡9 1 | ||
| 919 | ‡a pianomoversproblemreformulated ‡A A "Piano Movers" Problem Reformulated ‡9 1 | ||
| 996 | ‡2 J9U|987007393681305171 | ||
| 996 | ‡2 J9U|987007339143105171 | ||
| 996 | ‡2 BNE|XX1000552 | ||
| 996 | ‡2 ISNI|0000000045293880 | ||
| 996 | ‡2 LNB|LNC10-000040216 | ||
| 996 | ‡2 SZ|118921673 | ||
| 996 | ‡2 LC|n 2010000469 | ||
| 996 | ‡2 ISNI|000000007579722X | ||
| 996 | ‡2 J9U|987007403173905171 | ||
| 996 | ‡2 NII|DA01529816 | ||
| 996 | ‡2 LC|n 2004151376 | ||
| 996 | ‡2 LC|n 95010831 | ||
| 996 | ‡2 NTA|355564688 | ||
| 996 | ‡2 J9U|987007444786605171 | ||
| 996 | ‡2 NLA|000035978227 | ||
| 996 | ‡2 LC|n 97803514 | ||
| 996 | ‡2 NSK|000554367 | ||
| 996 | ‡2 NSK|000554365 | ||
| 996 | ‡2 NSK|000554364 | ||
| 996 | ‡2 NSK|000554368 | ||
| 996 | ‡2 ISNI|0000000036068315 | ||
| 996 | ‡2 ISNI|0000000366992025 | ||
| 996 | ‡2 ISNI|0000000439097196 | ||
| 996 | ‡2 ISNI|0000000049322802 | ||
| 996 | ‡2 ISNI|000000007729663X | ||
| 996 | ‡2 BIBSYS|1542227323977 | ||
| 996 | ‡2 DNB|1112967362 | ||
| 996 | ‡2 NII|DA05484254 | ||
| 996 | ‡2 LC|n 2012005735 | ||
| 996 | ‡2 LC|no 94041811 | ||
| 996 | ‡2 BNF|15074198 | ||
| 996 | ‡2 ISNI|0000000080310324 | ||
| 996 | ‡2 NTA|26162959X | ||
| 996 | ‡2 LC|n 99041236 | ||
| 996 | ‡2 J9U|987007278338905171 | ||
| 996 | ‡2 LC|no2014122020 | ||
| 996 | ‡2 NLA|000035250042 | ||
| 996 | ‡2 W2Z|90219318 | ||
| 996 | ‡2 NII|DA04478278 | ||
| 996 | ‡2 NUKAT|n 99044213 | ||
| 996 | ‡2 ISNI|000000012250251X | ||
| 996 | ‡2 ISNI|0000000027470134 | ||
| 996 | ‡2 NTA|197135773 | ||
| 996 | ‡2 RERO|A008607589 | ||
| 996 | ‡2 SUDOC|263895564 | ||
| 996 | ‡2 LC|nb2010006663 | ||
| 996 | ‡2 BIBSYS|90324635 | ||
| 996 | ‡2 BNC|981058515590006706 | ||
| 996 | ‡2 ISNI|0000000049900983 | ||
| 996 | ‡2 LNB|LNC10-000044484 | ||
| 996 | ‡2 NTA|072664320 | ||
| 996 | ‡2 J9U|987007336581405171 | ||
| 996 | ‡2 NDL|00769066 | ||
| 996 | ‡2 CAOONL|ncf11367026 | ||
| 996 | ‡2 SUDOC|08560447X | ||
| 996 | ‡2 NII|DA03918513 | ||
| 996 | ‡2 ISNI|0000000117390066 | ||
| 996 | ‡2 SUDOC|03293257X | ||
| 996 | ‡2 ISNI|0000000074958853 | ||
| 996 | ‡2 BIBSYS|99031541 | ||
| 996 | ‡2 LC|no2015150966 | ||
| 996 | ‡2 J9U|987007400679905171 | ||
| 996 | ‡2 DNB|1159125767 | ||
| 996 | ‡2 DNB|13408845X | ||
| 996 | ‡2 DNB|1130676838 | ||
| 996 | ‡2 NSK|000022506 | ||
| 996 | ‡2 LC|n 83155807 | ||
| 996 | ‡2 SUDOC|079154484 | ||
| 996 | ‡2 ISNI|0000000038091404 | ||
| 996 | ‡2 LC|no2008023511 | ||
| 996 | ‡2 NDL|001127485 | ||
| 996 | ‡2 NSK|000617249 | ||
| 996 | ‡2 LC|n 81066821 | ||
| 996 | ‡2 LC|n 91114585 | ||
| 996 | ‡2 ISNI|0000000027099646 | ||
| 996 | ‡2 DNB|17317163X | ||
| 996 | ‡2 BIBSYS|90669989 | ||
| 996 | ‡2 NTA|068220839 | ||
| 996 | ‡2 NII|DA03490198 | ||
| 996 | ‡2 LC|n 77011096 | ||
| 996 | ‡2 LC|n 83161124 | ||
| 996 | ‡2 SUDOC|028473442 | ||
| 996 | ‡2 NUKAT|n 2005019342 | ||
| 996 | ‡2 NSK|000769895 | ||
| 996 | ‡2 LC|nr 99021189 | ||
| 996 | ‡2 DNB|132046628 | ||
| 996 | ‡2 DNB|1140460838 | ||
| 996 | ‡2 LC|n 00122443 | ||
| 996 | ‡2 LC|no 93035318 | ||
| 996 | ‡2 DNB|142158097 | ||
| 996 | ‡2 NUKAT|n 2018140479 | ||
| 996 | ‡2 LC|no2013138807 | ||
| 996 | ‡2 CAOONL|ncf10973341 | ||
| 996 | ‡2 DNB|1038460239 | ||
| 996 | ‡2 ISNI|0000000038454949 | ||
| 996 | ‡2 BNF|12052618 | ||
| 996 | ‡2 SUDOC|128850698 | ||
| 996 | ‡2 DNB|128773162 | ||
| 996 | ‡2 LC|n 82117063 | ||
| 996 | ‡2 RERO|A003978994 | ||
| 996 | ‡2 ISNI|0000000042655524 | ||
| 996 | ‡2 ISNI|0000000044351954 | ||
| 996 | ‡2 ISNI|0000000117368360 | ||
| 996 | ‡2 LC|nb2023001843 | ||
| 996 | ‡2 ISNI|0000000125902113 | ||
| 996 | ‡2 ISNI|0000000120355368 | ||
| 996 | ‡2 DNB|173000622 | ||
| 996 | ‡2 LC|n 80134980 | ||
| 996 | ‡2 CAOONL|ncf10324173 | ||
| 996 | ‡2 LC|nb 98074973 | ||
| 996 | ‡2 DBC|87097948361536 | ||
| 996 | ‡2 J9U|987007271584005171 | ||
| 996 | ‡2 LC|no2013063153 | ||
| 996 | ‡2 CAOONL|ncf11747412 | ||
| 996 | ‡2 SUDOC|113670818 | ||
| 996 | ‡2 BNC|981058614019506706 | ||
| 996 | ‡2 ISNI|0000000491568979 | ||
| 996 | ‡2 BNF|14049384 | ||
| 996 | ‡2 BNF|16634473 | ||
| 996 | ‡2 LC|nb2001061081 | ||
| 996 | ‡2 CAOONL|ncf12110400 | ||
| 996 | ‡2 NLA|000035524140 | ||
| 996 | ‡2 PLWABN|9810547128005606 | ||
| 996 | ‡2 SUDOC|231215517 | ||
| 996 | ‡2 SUDOC|035425113 | ||
| 996 | ‡2 BIBSYS|90886659 | ||
| 996 | ‡2 NII|DA01408378 | ||
| 996 | ‡2 LC|nb2021002637 | ||
| 996 | ‡2 B2Q|0000680284 | ||
| 996 | ‡2 BIBSYS|90176543 | ||
| 996 | ‡2 LC|n 91098896 | ||
| 996 | ‡2 LC|no2018034331 | ||
| 996 | ‡2 SUDOC|031578535 | ||
| 996 | ‡2 KRNLK|KAC200905238 | ||
| 996 | ‡2 LIH|LNB:CJVC;=BC | ||
| 996 | ‡2 ISNI|0000000039639902 | ||
| 996 | ‡2 NUKAT|n 2013201688 | ||
| 996 | ‡2 DNB|135750792 | ||
| 996 | ‡2 BIBSYS|1533887398036 | ||
| 996 | ‡2 CAOONL|ncf12115861 | ||
| 996 | ‡2 PTBNP|200207 | ||
| 996 | ‡2 J9U|987007448422405171 | ||
| 996 | ‡2 N6I|vtls002516130 | ||
| 996 | ‡2 CAOONL|ncf10299349 | ||
| 996 | ‡2 SUDOC|14788294X | ||
| 996 | ‡2 DNB|1056937920 | ||
| 996 | ‡2 CAOONL|ncf10227229 | ||
| 996 | ‡2 ISNI|0000000034856713 | ||
| 996 | ‡2 NUKAT|n 2009044337 | ||
| 996 | ‡2 NII|DA17099308 | ||
| 996 | ‡2 ISNI|0000000034514940 | ||
| 996 | ‡2 LC|no 00008364 | ||
| 996 | ‡2 BIBSYS|90670044 | ||
| 996 | ‡2 PLWABN|9811723107805606 | ||
| 996 | ‡2 LC|nb2012026231 | ||
| 996 | ‡2 LC|n 93007201 | ||
| 996 | ‡2 BIBSYS|2069302 | ||
| 996 | ‡2 NSK|000247073 | ||
| 996 | ‡2 RERO|A012325763 | ||
| 996 | ‡2 N6I|vtls000293757 | ||
| 996 | ‡2 ISNI|000000005523901X | ||
| 996 | ‡2 RERO|A016399774 | ||
| 996 | ‡2 SELIBR|286832 | ||
| 996 | ‡2 SUDOC|19060140X | ||
| 996 | ‡2 BNC|981061050472006706 | ||
| 996 | ‡2 ISNI|0000000107870955 | ||
| 996 | ‡2 DNB|1015206980 | ||
| 996 | ‡2 LC|no2017022391 | ||
| 996 | ‡2 NDL|00554263 | ||
| 996 | ‡2 PLWABN|9810622616605606 | ||
| 996 | ‡2 LC|n 00009545 | ||
| 996 | ‡2 SUDOC|230863698 | ||
| 996 | ‡2 CAOONL|ncf10302200 | ||
| 996 | ‡2 J9U|987007275110705171 | ||
| 996 | ‡2 NTA|172171954 | ||
| 996 | ‡2 BIBSYS|2099615 | ||
| 996 | ‡2 DNB|133809870 | ||
| 996 | ‡2 J9U|987007277797205171 | ||
| 996 | ‡2 J9U|987007600933505171 | ||
| 996 | ‡2 PLWABN|9810694256105606 | ||
| 996 | ‡2 NSK|000602500 | ||
| 996 | ‡2 J9U|987007297567905171 | ||
| 996 | ‡2 NTA|071982582 | ||
| 996 | ‡2 JPG|500004727 | ||
| 996 | ‡2 BNF|10713834 | ||
| 996 | ‡2 BNF|13329233 | ||
| 996 | ‡2 LC|nb2017006150 | ||
| 996 | ‡2 SUDOC|141083883 | ||
| 996 | ‡2 ISNI|000000050412581X | ||
| 996 | ‡2 BIBSYS|9007634 | ||
| 996 | ‡2 DE633|pe30010478 | ||
| 996 | ‡2 CAOONL|ncf10431110 | ||
| 996 | ‡2 LC|n 81073315 | ||
| 996 | ‡2 BNF|12420395 | ||
| 996 | ‡2 NUKAT|n 2017217798 | ||
| 996 | ‡2 DNB|1157193188 | ||
| 996 | ‡2 ISNI|0000000116031942 | ||
| 996 | ‡2 NKC|xx0035843 | ||
| 996 | ‡2 ISNI|0000000031441686 | ||
| 996 | ‡2 SUDOC|033219656 | ||
| 996 | ‡2 BIBSYS|11070802 | ||
| 996 | ‡2 J9U|987011289244805171 | ||
| 996 | ‡2 DNB|1200235924 | ||
| 996 | ‡2 DNB|118083341 | ||
| 996 | ‡2 SUDOC|264701852 | ||
| 996 | ‡2 BNF|18161795 | ||
| 996 | ‡2 NDL|01162170 | ||
| 996 | ‡2 LC|no2006062240 | ||
| 996 | ‡2 ISNI|000000007100654X | ||
| 996 | ‡2 NTA|073388351 | ||
| 996 | ‡2 NUKAT|n 2018002803 | ||
| 996 | ‡2 BIBSYS|1483107588118 | ||
| 996 | ‡2 J9U|987012881134405171 | ||
| 996 | ‡2 DNB|139134069 | ||
| 996 | ‡2 J9U|987007376324205171 | ||
| 996 | ‡2 J9U|987007293387505171 | ||
| 996 | ‡2 NTA|375197656 | ||
| 996 | ‡2 CAOONL|ncf11499911 | ||
| 996 | ‡2 RERO|A025241563 | ||
| 996 | ‡2 DNB|172453445 | ||
| 996 | ‡2 ISNI|000000004058745X | ||
| 996 | ‡2 BNF|14036816 | ||
| 996 | ‡2 ISNI|000000008392417X | ||
| 996 | ‡2 W2Z|1533887398036 | ||
| 996 | ‡2 ISNI|0000000082016874 | ||
| 996 | ‡2 NTA|201947595 | ||
| 996 | ‡2 LC|no2023094967 | ||
| 996 | ‡2 BNF|15994435 | ||
| 996 | ‡2 NUKAT|n 2014140007 | ||
| 996 | ‡2 LC|no2020067363 | ||
| 996 | ‡2 BNF|18065689 | ||
| 996 | ‡2 CAOONL|ncf12107611 | ||
| 996 | ‡2 ISNI|0000000095024443 | ||
| 996 | ‡2 LC|no2019137032 | ||
| 996 | ‡2 LC|nb2015020065 | ||
| 996 | ‡2 LC|n 2011082815 | ||
| 996 | ‡2 ISNI|0000000083803781 | ||
| 996 | ‡2 LC|n 80104445 | ||
| 996 | ‡2 ISNI|0000000109873439 | ||
| 996 | ‡2 J9U|987007424863105171 | ||
| 996 | ‡2 LC|no2016143602 | ||
| 996 | ‡2 SUDOC|182491854 | ||
| 996 | ‡2 CAOONL|ncf10578327 | ||
| 996 | ‡2 SUDOC|255023898 | ||
| 996 | ‡2 BNF|16727656 | ||
| 996 | ‡2 BIBSYS|3093308 | ||
| 996 | ‡2 RERO|A005667465 | ||
| 996 | ‡2 LC|nb2014010545 | ||
| 996 | ‡2 NTA|332483096 | ||
| 996 | ‡2 ISNI|0000000049599027 | ||
| 997 | ‡a 0 0 lived 0 0 ‡9 1 | ||
| 998 | ‡a David, Wilson ‡2 NLB|18455229 ‡3 exact name |
