https://exactmathematics.org/https://exactmathematics.org/about/https://exactmathematics.org/corrections/https://exactmathematics.org/licensing/https://exactmathematics.org/mathlibannex/https://exactmathematics.org/mathlibannex/cards/0047cafd9294f990a20362b56c9f7b905407ae2c02f2b9df80a3dba01bf1254b/versions/n69-0383e61e8449db7d/https://exactmathematics.org/mathlibannex/cards/005d767a3193a30c065ad807166f2e150c8ac3bbd28de67fd113b74463f676eb/https://exactmathematics.org/mathlibannex/cards/01114f6a304958dac0148625cc7265d07805d6e12fa9bd365d3804095d9c2fc1/versions/n69-88c54360c0e02540/https://exactmathematics.org/mathlibannex/cards/078cf36ae52c92c7dc2f32abc038c608c14c167df35f6f1db0514b019f459281/https://exactmathematics.org/mathlibannex/cards/0cfc0bfe5c6e6e9641207ba94e1890139d7e6a138ab41f3ea638d101cd0bfb04/https://exactmathematics.org/mathlibannex/cards/0edd904a8f54cb2f656607289f4094b52459b64013e28ed399e00bc0acd454d8/https://exactmathematics.org/mathlibannex/cards/0efa27a129d831d1ec7063acc030ac436bf2943bf9740b72e0581bfdea44cb03/versions/n69-8d9b9d22f8e6fca5/https://exactmathematics.org/mathlibannex/cards/106c2e5861a90efa2b3d1125a38099aaae4192ca2a311076da995a4ae3043e03/https://exactmathematics.org/mathlibannex/cards/155676cd74606a102aa274be40c9fb294971cfef6df06897084c9fc89322f2cb/https://exactmathematics.org/mathlibannex/cards/15b02dd39a6c9afbc2cc1f023c8e4b29cc806759b53b21c82065a410d00117ff/https://exactmathematics.org/mathlibannex/cards/178df2065d1b34c05297ba2f0fe9b100f95f502f46c736e02f62f0cef0c8dc7e/versions/n69-557337b0dc01c1fe/https://exactmathematics.org/mathlibannex/cards/1e09b496fe0e06eeb046e141957245bfb51a6b1b7b8c28cf44ffdefc9574de2f/https://exactmathematics.org/mathlibannex/cards/1ee4a51c5a889e36f8bce5ebb44b8bdb3f459aa589225113d4e8aa518643807f/versions/n69-e7453e7f2b99e61e/https://exactmathematics.org/mathlibannex/cards/23a70d1e81d7c3d1ed7932a2de55be2e240d36d087130ed0dd8e21ce1e3d7013/https://exactmathematics.org/mathlibannex/cards/2407611b2e8f0ff07b7d50cc8edfa17f744337c5a9ad013cf63d5ddb1eeb8840/https://exactmathematics.org/mathlibannex/cards/258daaeaf0a6caefd2a19aba5c4244ab2dd8f7cc41e99be671bfe548cc8bf77e/versions/n69-462078ea562693ed/https://exactmathematics.org/mathlibannex/cards/26c4dc7e5f4912c1494c383fd3d50537f9cb6328e2450925e91201f48c5d8384/https://exactmathematics.org/mathlibannex/cards/27e0170273342fc6efeaf3843aed281ae48f8d3bf83e8272e35334315ef432f0/versions/n69-f3c5e9f442221bcc/https://exactmathematics.org/mathlibannex/cards/2a90feae201a5ca31d5819e8ae349bc1c0ce60ba7b014b05aa3d7d8b1889f42e/versions/n69-95487527d395cd99/https://exactmathematics.org/mathlibannex/cards/2f74196f22042b6e02ddfbd323ee500f1cd0f3bc297f30b91ccaed55116f7c26/versions/n69-005b0ef073045c52/https://exactmathematics.org/mathlibannex/cards/30b5b915102151510645ff9e55aef46c99b259d2cb09540049f2b73b0eb07373/https://exactmathematics.org/mathlibannex/cards/33faef4a7aeea0e449fc97d78875cdf9559b511956c357898bd723b6e6b9090e/versions/n69-55df6b0835b24b50/https://exactmathematics.org/mathlibannex/cards/38f9dd2dee94e30e47039f5563b5824820090e96460226e5f8062b19b31c285b/versions/n69-707d398151dff952/https://exactmathematics.org/mathlibannex/cards/395ec0494a4bb733050d7af49df8a7f8f5401408da63357e77d640e03a14a1fb/versions/n69-b52e1fdd8374862f/https://exactmathematics.org/mathlibannex/cards/39c92e26710d4fb48d5d04f63b9e645279916a2fd6073c40e022f9ddece88d6a/versions/n69-288200e633113b2b/https://exactmathematics.org/mathlibannex/cards/3a00c38e5cfbc169199899139bb5af496a1cb4605988028033c5f4205c31c152/versions/n69-38a7fba1be45ea9b/https://exactmathematics.org/mathlibannex/cards/3df5a5ce70663f3dc5301b1723671c1fa53f9bf40fc361fd6dee8f3b9199c2cb/versions/n69-e6478edabe7a2541/https://exactmathematics.org/mathlibannex/cards/3dfe02286dcb40387b6decbe45dddfbd82a2a7dfe7a6612c592255e76b2fac33/versions/n69-8a6ed21b4319688f/https://exactmathematics.org/mathlibannex/cards/3e800cc2482d039e0c10ab2af30dfa967a720a6eaf1fd7a550ad235a099cef66/versions/n69-ab4382383328c50b/https://exactmathematics.org/mathlibannex/cards/40a210ab270847d874db7bbe7090d71a22bdf29970b3f0c379b59095ad3fb767/versions/n69-1cf9d495caf1f451/https://exactmathematics.org/mathlibannex/cards/4448c461ec5cd20bf403d08c42baa0de790b14987f7d2ab766036cdccc4b7537/https://exactmathematics.org/mathlibannex/cards/4584f92dc8d9b60095a3711eeec03fed2358049e92cda4b562ca383ff56817c3/versions/n69-5b192ccbb19e7e60/https://exactmathematics.org/mathlibannex/cards/45c4db7ff375613be920f48ef4a7427063daaa3084fa98c5dd90c595522e7428/https://exactmathematics.org/mathlibannex/cards/4888d88a4c7efeb37acd75ea32c5fe01cbce3d3cac678038c63b5954797902df/versions/n69-d1de79eac694b160/https://exactmathematics.org/mathlibannex/cards/496fb09fae36f8b07e1641152da97643e6c1b595cfc8bf458629debfabf9c241/versions/n69-9f7c84764bbb25b9/https://exactmathematics.org/mathlibannex/cards/49b78f91c5e53fc7fff64fc366388f4d162fb65ecd6cb16fafe5785a8f2a236c/versions/n69-9b817fdfc02db29e/https://exactmathematics.org/mathlibannex/cards/4a485c9aabdc6f37ae97b47bfba6021a6bedf685894a44120f0290571e459c36/https://exactmathematics.org/mathlibannex/cards/5d348f9c51669f9b42100a13ab054c40413f2898dbdcdcc888e5c04c5e3efa16/versions/n69-9e5ffe2c1b5b2c5d/https://exactmathematics.org/mathlibannex/cards/5d44ee0aca9e46791d96b1f135b1092607d2b62670313827b2f813e5fe6e9be3/versions/n69-4119ae48aa3d3cc4/https://exactmathematics.org/mathlibannex/cards/613fdafd1f323fb659d8b89d248b1f5902a2cc42585e5fe30392ece18490eeea/versions/n69-eca1da9d8c8943a3/https://exactmathematics.org/mathlibannex/cards/6293f0d949a9d46a65ced9dd45fafd88ff8f5e06fc7a4ab38a0a439f8b1feb1e/versions/n69-85ba692bd237d558/https://exactmathematics.org/mathlibannex/cards/6377047dab800759a6fd446d06fc7e690f6ff0ac96b487340a81278c7cb42137/versions/n69-28ed6f5a0c1e3bda/https://exactmathematics.org/mathlibannex/cards/637afab6889bdf11fe07e21325cab3df3d3f88baeb71dff1c973c7e2a3f1a794/https://exactmathematics.org/mathlibannex/cards/65d7b879c0b5f0d302e831d587a4e6e555fe9c2d15bae7acacfc893ed9bcbcf2/versions/n69-707caa7d9e51c72d/https://exactmathematics.org/mathlibannex/cards/66a6654fa9d1e8607b27f931148203017898635ae004e222a22fd8c88c82d2f2/https://exactmathematics.org/mathlibannex/cards/6728563ecff2ea0750784ae6ac3f2b35793447d5d5134f17f7cb2dfa417d6bc2/versions/n69-eef00c8bf449e3fb/https://exactmathematics.org/mathlibannex/cards/67cdb16a93cf0accba9a49b2a23802225c8252938eb49ca5542397f7374dbc77/versions/n69-9a2fd2ad5c81a020/https://exactmathematics.org/mathlibannex/cards/681004362f65370ff8743e0b17874135c5c9f291724bf7cd44c92d7fccd93c47/versions/n69-61307ca098e5a089/https://exactmathematics.org/mathlibannex/cards/68395281a7478e8c956a7482013ed5dd68c4d3f2107f38cf4f8e9117a8a99a4a/https://exactmathematics.org/mathlibannex/cards/68bfa7a5c5277bb3a0efdfd6f3fdbec6e079d8042e0ec7d2cab9a06db8b8fc32/versions/n69-9bdd04f8f82e2692/https://exactmathematics.org/mathlibannex/cards/6cdd5b20c1ae2e69ab7bda0400ecc3876509dbfa7420f6561394f5c962b3509f/https://exactmathematics.org/mathlibannex/cards/6fbe44dcc304a80eafd8327b9ab6680b8df6ab9e4189faf651c71fdb0a348d05/versions/n69-8b60ab2d1eb40cfe/https://exactmathematics.org/mathlibannex/cards/7a1b136b8464e6029397491d4d05fa22de45ecb383b3384c4e0c2fcf7df3150a/https://exactmathematics.org/mathlibannex/cards/8912c6847bfbf0613b2e5a5cbc237cd963d23dfa67344c472ffe179105411424/versions/n69-319bda4c63b72436/https://exactmathematics.org/mathlibannex/cards/8b10daad485fe797ba4250420c41ce6ffba033b4085e1a302b3eed0c4dd5d141/https://exactmathematics.org/mathlibannex/cards/92f93cdb5b6da9a1e1a1837b4e8470509909095a54e82328e641ff0b3c842995/https://exactmathematics.org/mathlibannex/cards/9355a7df6defbdd54a898d97fa5d5ff61ac59614adb1ceee96df088d9c1a66b6/https://exactmathematics.org/mathlibannex/cards/956892255e121725c840997f319eef96516a3851d30e8764b3781400c2588c2c/versions/n69-9846526d3fb298d1/https://exactmathematics.org/mathlibannex/cards/956c24ba7d52ceb88f40cb266a7aa12df59d518e2c8ddd9a94ef16d312c5c1e1/versions/n69-89806d19203e218a/https://exactmathematics.org/mathlibannex/cards/956f7a6ee326f4d3fe0fff3198e6dde0fb0903ec6f51cfb6ad39f61c2663e298/https://exactmathematics.org/mathlibannex/cards/964e8b0b51be9a3fc80a3f61b3bcb1b8cf70461ce4137aed6128c4ced9074130/https://exactmathematics.org/mathlibannex/cards/9c5012403e7138fc2010b82937c3665b67957413b75f52e1a4527ad36e819be4/https://exactmathematics.org/mathlibannex/cards/9e4fa34878df2ba18cbc8247c4d9da4877ccd5abd32747c76de2e936615fa461/versions/n69-f9aed14a1af813b4/https://exactmathematics.org/mathlibannex/cards/a1397f366783063d30db5ab13e31d3e5339a0d31518fb16b965d5299478b8142/versions/n69-c6058a1a3b8d3ee0/https://exactmathematics.org/mathlibannex/cards/a3bcf63be1be2f724252fe0b1f11393935aafaea9c2f2fa70189d23c11bb0f65/versions/n69-49a354534a5b9d1b/https://exactmathematics.org/mathlibannex/cards/a6b19f4652225ea9cada7c02f05c27707d0bf713859210f56ebbbf0df233cd00/https://exactmathematics.org/mathlibannex/cards/a78c4de54da4fbe1ab39f1d488112128a74cc98680c7764d29e113cb74ba0efc/versions/n69-17a142f497c21610/https://exactmathematics.org/mathlibannex/cards/a7a18351b64a5f91df84a76896ea51041aecb8df538a15ac9cb54e956ccbac27/versions/n69-e14c11c65ccfaa24/https://exactmathematics.org/mathlibannex/cards/ad01be2e337dc8b82ab777026820a387f45a7b982625ae89324c84e796897a26/versions/n69-af9004dce076d510/https://exactmathematics.org/mathlibannex/cards/b05645c888ce4601c51f1b4fcfe1fa9e0fc9f8489024601e9bf3e1e9811d4e26/versions/n69-8655c1a4a3f7e3a7/https://exactmathematics.org/mathlibannex/cards/b236c960b8ba284e9d9a4316ce2b081f991bd025a1efb7fb735342b686e38cee/versions/n69-0bd44fead9f058ef/https://exactmathematics.org/mathlibannex/cards/b6295e62b69808246ec83346365d7b0e00269f627c02dcd6ce3d253fb920949a/https://exactmathematics.org/mathlibannex/cards/b6748daf1c41f393446af30ae98ca1dda1b7f3f027f7efa07a934eff56065fd4/versions/n69-7cbb07e920950cd3/https://exactmathematics.org/mathlibannex/cards/b9880fe05b211dcb8e51ab65b98126c578b908943051160c33d636e3ba56868f/versions/n69-53f094249210aff8/https://exactmathematics.org/mathlibannex/cards/bd015ee41f91bc2a37747d438f714880780826893cb63ee7e84310a987b0611e/versions/n69-7def775971ef9e1b/https://exactmathematics.org/mathlibannex/cards/be93429f16421fb0cf8eb8bb91861473c1fd7b52af3892ee1ff2d10e1fb20c85/https://exactmathematics.org/mathlibannex/cards/c2533b47d2800cf40bedcc7a2969c4296ab1b60fe6986fe527e1247ef3862788/versions/n69-de7fb04f639023fa/https://exactmathematics.org/mathlibannex/cards/c2f8d7f019c50fb6f9c50efe6fa6ba6cb03392611bc794c16ab04a68a88630e3/https://exactmathematics.org/mathlibannex/cards/c41bda62e5281a979102c633562d73a42b5079e8eeef6d65928a8701f3d3ae23/versions/n69-64d1456f00ba8382/https://exactmathematics.org/mathlibannex/cards/c4c4491fa52a7fbdbfde28f3dd9f46756ece7e43d6d9f8b3afb346db83d351e4/https://exactmathematics.org/mathlibannex/cards/c4fbdc91826bf8d798d05aa5615a3ba75f33f39b339e82a43d4dd746e95f0b41/versions/n69-4081c8ebb5e78e14/https://exactmathematics.org/mathlibannex/cards/c5e333613a90793d7d200705fb9d4d81db05ed23810b98ac841980ffff3b43e9/versions/n69-9492e07b809016d2/https://exactmathematics.org/mathlibannex/cards/c6768fb635e387f90ed7c53fa90f5b4dfebcf526a42da7af360fbfdefc2284b6/https://exactmathematics.org/mathlibannex/cards/caeef92045d974a18cb5eb41cd4c36b68c457337d1569671d296e8f3c437fec6/https://exactmathematics.org/mathlibannex/cards/ce382ff1e89d804269092f5f9b219d81b789e39081e5f7a8e2dcd4763c85acfa/versions/n69-efe5359e61738d6c/https://exactmathematics.org/mathlibannex/cards/d01780d70500992bccb2c17598d8cea950b7abc05535fe00cccfa4b9c4c41ee1/versions/n69-acd5f695f6a7ac65/https://exactmathematics.org/mathlibannex/cards/d037e35eb7877cc000c8dd4c00542ec6472c63f14055ad12e94f5721e4fe6a61/versions/n69-f479404f3d58edd7/https://exactmathematics.org/mathlibannex/cards/d3588f1d2ec0d2fc4e2e95c0239994d0cc5b385bd89b3bf834ac79de13ae3fd5/versions/n69-eef64486b674e078/https://exactmathematics.org/mathlibannex/cards/d4a5a6c0e99f5d6af2aa8ac954e42542f163c769257b313f68d69c5f1c0993e5/https://exactmathematics.org/mathlibannex/cards/d53fe8e4dd14b54afcbe429368e93867012aae1050cc51eff076031144a34aed/https://exactmathematics.org/mathlibannex/cards/d56473ecdc9e94ee50a17bbf8196f8a40160186b88f4c3a14e76126565a08c09/versions/n69-3dc89042d82a9fcf/https://exactmathematics.org/mathlibannex/cards/d802849b06652256f387426dabbf331ecbd04b5b96f2c15ca4bdaffbf30d6a87/https://exactmathematics.org/mathlibannex/cards/dd981a41d92677a67b76470021a431fddfac41e1292a8e9d3c1b5b5b6c6e7aef/versions/n69-64fb2500bbff7edb/https://exactmathematics.org/mathlibannex/cards/e184de0db0422d3780170324fd831e1a89afcbecc672ebf5b54159a4f9478b4f/versions/n69-971e28fa2f885c07/https://exactmathematics.org/mathlibannex/cards/e409951550e6bcc3cae01d9629ee27cb7ecfa02f4c8c15e123c847dd0e9a3483/versions/n69-69817d0b5b4ca003/https://exactmathematics.org/mathlibannex/cards/e4cb90a633cf73821fb0608918e5b50c598cc2a23fc76340409b027afff8c9fa/versions/n69-cef5d882030e1a2f/https://exactmathematics.org/mathlibannex/cards/e55f926ea1e3391b9a6426100e98fe7349c95254cdc2437a77d973137bea95c8/https://exactmathematics.org/mathlibannex/cards/e7820e270300b3e7830e96df2b7f206fc5684f23124002cdf8f9ac29a25b6ad0/https://exactmathematics.org/mathlibannex/cards/e91b9d16b1dc479cabfbf77a25af3492bd670817663d12902ea7a6c683829d5d/versions/n69-ac498d0b64ed15df/https://exactmathematics.org/mathlibannex/cards/eb751b0f22dde8fb7e06ff32bb25d5db1cd55259e2b97594d65e2f3fc7657452/versions/n69-9240c79b6251b902/https://exactmathematics.org/mathlibannex/cards/ed2d0efd1c9929149eff4009da5c9011d720f4f178e084f1e099945c923d6987/versions/n69-f3fa7802702d378d/https://exactmathematics.org/mathlibannex/cards/f0336a753a8f202333b869aaaeb1d7630c9a50e9edb8c7ec3a05b58fb89ab611/versions/n69-edb66b0baf7da104/https://exactmathematics.org/mathlibannex/cards/f13185dafb7e72e6ddc0775a43c0210faf488dbee88282e3fdd08359cc7d6ad9/https://exactmathematics.org/mathlibannex/cards/f2686115c0a5647dbadc2b23862bf82db33c3680599f938b1b6342daaf7d4467/https://exactmathematics.org/mathlibannex/cards/f34adabc1cac70dceb32acb212d5f7c0b85c259c2c330087932a6f3fe9f5e8a9/https://exactmathematics.org/mathlibannex/cards/f7ac96c3bcdff8225f7123d411c404580fab1d79b3975d601484f61837409226/https://exactmathematics.org/mathlibannex/cards/f812ae1994c38c2084553fa23f888662511d3ca528cc035a090b656e5c38b152/versions/n69-4dec22a18c5651da/https://exactmathematics.org/mathlibannex/cards/f96955493b7d58c74b287570a9cb14f2c543dd94a8fb260bd3afdd4344070a5f/versions/n69-a452e4aab867448a/https://exactmathematics.org/mathlibannex/cards/fcecd0092e896b3ba36db2ba00f34f3072c433e030b8dd9594a41232c4008110/versions/n69-5c025351e5f794d8/https://exactmathematics.org/mathlibannex/cards/fd0aa4fb4ef7616c41e13cea03169a5a1011d24ad2c287adbff4903787fd5470/versions/n69-f161a599b091c622/https://exactmathematics.org/mathlibannex/cards/fd18e1a684c11c6d461ab0afb2c4c47e3636fb5b84f9a7cca39b472897e0f86d/https://exactmathematics.org/mathlibannex/cards/fe5eb271ebd53bcf76dd017a38916fe9f0357061b245cae8d78921e5470ce824/https://exactmathematics.org/mathlibannex/cards/ff5886cf6420336dbe578275731ad0361f521340e5e9760ec098cd284273b584/https://exactmathematics.org/mathlibannex/cards/ffdf67ba93b5d952ceffbf6ff392cad78042152bb56e5805d8aa38814343e57d/versions/n69-dcb3559cfc538c70/https://exactmathematics.org/mathlibannex/catalog/https://exactmathematics.org/mathlibannex/overviews/mankiewicz/https://exactmathematics.org/mathlibannex/overviews/mankiewicz/boundary.htmlhttps://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/078cf36ae52c92c7dc2f32abc038c608c14c167df35f6f1db0514b019f459281/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/0cfc0bfe5c6e6e9641207ba94e1890139d7e6a138ab41f3ea638d101cd0bfb04/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/30b5b915102151510645ff9e55aef46c99b259d2cb09540049f2b73b0eb07373/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/45c4db7ff375613be920f48ef4a7427063daaa3084fa98c5dd90c595522e7428/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/4a485c9aabdc6f37ae97b47bfba6021a6bedf685894a44120f0290571e459c36/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/92f93cdb5b6da9a1e1a1837b4e8470509909095a54e82328e641ff0b3c842995/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/b6295e62b69808246ec83346365d7b0e00269f627c02dcd6ce3d253fb920949a/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/c2f8d7f019c50fb6f9c50efe6fa6ba6cb03392611bc794c16ab04a68a88630e3/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/d53fe8e4dd14b54afcbe429368e93867012aae1050cc51eff076031144a34aed/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/d802849b06652256f387426dabbf331ecbd04b5b96f2c15ca4bdaffbf30d6a87/https://exactmathematics.org/mathlibannex/project-reader-restoration-r1/cards/e55f926ea1e3391b9a6426100e98fe7349c95254cdc2437a77d973137bea95c8/https://exactmathematics.org/mathlibannex/projects/https://exactmathematics.org/mathlibannex/projects/mankiewicz/https://exactmathematics.org/mathlibannex/projects/naimark-problem/https://exactmathematics.org/mathlibannex/projects/naimark-problem/boundary/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r01/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r02/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r03/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r04/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r05/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r06/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r07/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r08/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r09/https://exactmathematics.org/mathlibannex/projects/naimark-problem/routes/r10/https://exactmathematics.org/mathlibannex/projects/rosenberg/https://exactmathematics.org/mathlibannex/projects/sphere-rigidity/https://exactmathematics.org/mathlibannex/releases/candidate-r1/https://exactmathematics.org/mathlibannex/releases/v0.1.0/https://exactmathematics.org/mathlibannex/releases/v0.2.0/https://exactmathematics.org/mathlibannex/releases/v0.4.0/https://exactmathematics.org/mathlibannex/verification/https://exactmathematics.org/research/https://exactmathematics.org/research/naimark-problem/https://exactmathematics.org/research/naimark-problem/versions/https://exactmathematics.org/research/sphere-rigidity/https://exactmathematics.org/research/sphere-rigidity/versions/https://exactmathematics.org/verification/