Study Guides, Notes, & Quizzes

A graphical user interface for formal proofs in geometry

Description
A graphical user interface for formal proofs in geometry
Published
of 24
All materials on our website are shared by users. If you have any questions about copyright issues, please report us to resolve them. We are always happy to assist you.
Related Documents
Share
Transcript
  ÖÔÐÍ×ÖÁÒØÖÓÖ ÓÖÑÐÈÖÓÓ×ÒÓÑØÖÝ  ÂÙÐÒÆÖÓÙÜ´  ÙÐÒºÒÖÓÙÜÒÖºÖ  µ  ÈÖÓØÈÊÁÈÐÓÑÑÙÒÊÖÒÁÒÓÖÑØÕÙÙÔÐØÙËÐݸ ÆÊ˸ÓÐÈÓÐÝØÒÕÙ¸ÁÆÊÁ¸ÍÒÚÖ×ØÈÖ×¹ËÙº  ÇØÓÖ½¼¸¾¼¼  ×ØÖغ  ÏÔÖ×ÒØÒØ×ÔÔÖØ×ÒÓÖÔÐÙ×ÖÒØÖØÓРÛØÔÖÓÓ×ÒÓÑØÖݺÌ×ÓØÛÖÚÐÓÔÓÑÒ×ØÖØÓÓÐ×ÝÒÑ ÓÑØÖÝ×ÓØÛÖØÓÜÔÐÓÖ¸Ñ×ÙÖÒÒÚÒØÓÒØÙÖ׸ÒÙØÓÑØØÓÖÑ ÔÖÓÚÖØÓØ×ÒÒÒØÖØÚÔÖÓÓ×Ý×ØÑ´ÓÕµØÓÑÒÐÐÝ ÔÖÓÓ×ÙÐØÒØÖØÚÐÝÝØÙ×Öº  ÃÝÛÓÖ×  ÓÑØÖݸØÓÖÑÔÖÓÚÖ¸ÔÖÓÓ×××ØÒظÒØÖ¸ÓÕ¸ÝÒÑ ÓÑØÖݸÙØÓÑØØÓÖÑÔÖÓÚÒ  ½ºÁÒØÖÓÙØÓÒ  ÝÒÑÓÑØÖÝËÓØÛÖ´˵ÒÓÑÔÙØÖÐÖËÓØÛÖ ´˵ÖØÑÓ×ØÛÐÝÙ××ÓØÛÖÓÖÑØÑØ×ÒØÙ¹ ØÓÒºË×ÐÐÓÛØÙ×ÖØÓÖØÓÑÔÐÜÓÑØÖÓÒ×ØÖÙØÓÒ× ×ØÔÝ×ØÔÙ×ÒÖÓØ××Ù×ÖÔÓÒØ×ÒÔÖÒØÓÑ ÓÒ×ØÖÙØÓÒ×ÔÒÒÓÒÓØÖÓØ×´ÓÖÒ×ØÒØÐÒÔ××Ò ØÖÓÙØÛÓÔÓÒØ׸ØÑÔÓÒØÓ×ÑÒظ  Øº  µºÌÖÓØ× ÒÖÙ×ÒØÑÓÙ×ÒØÙÖ×ÙÔØÒÖÐØÑº ËÐÐÓÛ×ÝÑÓÐÑÒÔÙÐØÓÒ×ÓÑØÑØÐÜÔÖ××ÓÒ׺ ÌÑÓ×ØÛÐÝÙ××Ý×ØÑ×ÖØ×ØÓÖÐÓÒ×ÛÔÔÖ ÒØ¼×¸ÒÑÐÝÓÑØÖ³××ØÔ´ÂÛ¸½¼µÒÖ¹ ÓÑØÖ´ÄÓÖÒÐÐÑÒ¸½µºÙØØÖÜ×Ø×ÐÖÒÙÑÖ ÓÖÒÓÑÑÖÐ×ÓØÛÖ×ÛÐР 1 º ÌÙØÓÒÓÑÑÙÒØÝ××ØÙØÑÔØÓØÙ×ÓØ× ×ÓØÛÖÓÒØ  ÔÖÓÚÒ  ØÚØÝ´ÚÓÑÓÚ¸¾¼¼ÙÖÒØØÒ ÓÑÒÓ¸¾¼¼¿µºË×ÖÑÒÐÝÙ×ÓÖØÛÓØÚØ×  − ØÓÑØ×ØÙÒØÖØÓÑØÖÓÒ×ØÖÙØÓÒ×  1 ÏÒØ´ØÐ×Ø×ÒÓØÒØÒØÓÜÙ×ØÚµʸÝÔÖÒÖÐÐ¸ Ð¸¸ÖºÓ¸ÙÐ¸ÙÐÝÒÓ¸ÙÐ׸Ú¸ÓÜÔ¸ÓÐ×¸ ÓÄÓ¸ÓÄÓ¸ÓÑØÖ¸ÓÑØÖܸÓÑØÖÝÜÔÐÓÖÖ¸ÓÑØÖÝÌÙØÓÖ¸ ÓÈÐÒϸÓËÔϸÍȸÓÎÛ¸¸Ê¸ÃÓ¸ÃÁ¸ÅÒØÓÒÞ¸ ÅŹÓÑØÖ¸ÆÓÒ¹ÙÐ¸׸  Øº     ¾¼¼  ÃÐÙÛÖÑÈÙÐ×Ö׺ÈÖÒØÒØÆØÖÐÒ׺  ÒÖÓÙܺØÜ½¼»½¼»¾¼¼½¾¿½Ôº½     i  n  r   i  a  -   0   0   1   1   8   9   0   3 ,  v  e  r  s   i  o  n   1  -   7   D  e  c   2   0   0   6 Author manuscript, published in "Journal of Automated Reasoning 39, 2 (2007) 161-180"DOI :10.1007/s10817-007-9071-4  ¾  ÂÙÐÒÆÖÓÙÜ  − ØÓÑØ×ØÙÒØÜÔÐÓÖØÙÖ¸ÒÚÒØÓÒØÙÖ×Ò Ø׺ ÏÐÚØØØ××ÓØÛÖ×Ý×ØÑ××ÓÙÐÐ×ÓÙ×ØÓÐÔ Ø×ØÙÒØÒØÔÖÓÚÒØÚØÝØ×ÐºÏÓÖ×ÒÔÖÓÖÑÒ Ø×ÖØÓÒÒ×ÚÖÐËÛØÔÖÓÓÖÐØØÙÖ×ÚÒ ÔÖÓÙºÌ××Ý×ØÑ×ÒÖÓÙÐÝÐ××ÒØÓØÛÓØÓÖ× ½ºØ×Ý×ØÑ×ÛÔÖÑØØÓÙÐÔÖÓÓ× ¾ºØ×Ý×ØÑ×ÛÔÖÑØØÓØ×Ù×ÒÒÙØÓÑØØÓ¹ ÖÑÔÖÓÚÖº Ì  ÓÑØÖÝÌÙØÓÖ  ´ÒÖ×ÓÒØк¸½µ¸  ÅÒØÓÒÞ  ´Èݸ½¼µ¸    ´¹ÐÑÓÙÐÓÙ¸½¾µ¸  ÝÔÖ  ´ÖÒظ½¿µ¸  Ö¹ÙÐ  ´ÄÙ¹ ÒÓ¸½µ¸  ÓÑØÖÜ  ´Ö××Ö¸½µÒ  Ö  ´ÐØк¸ ¾¼¼¾µ×Ý×ØÑ×ÐÓÒ×ØÓØÖ×ØØÓÖݺÍ×ÒØ××Ý×ØÑ×Ø ×ØÙÒØÒÔÖÓÙÔÖÓÓ×ÒØÖØÚÐÝÙ×Ò×ØÓÒÓÛÒØÓÖÑ׺ ÁÒÑÓ×ØÓØ××Ý×ØÑ×Ø×ØÙÒØÒÒÓØÒÚÒØÔÖÓÓÚÖÝÖÒØ ÖÓÑÛØØÔÖÓÖÑÔÖ¹ÓÑÔÙØÙ×ÒÙØÓÑØØÓÖÑ ÔÖÓÚÒÑØÓ׺×Ö×ÛÒÓÛ¸ØÜÔØÓÒ×  Ö¹ÙÐ  ÛÓÒØÒ××ÑÐÐÓÖÑÐ×Ý×ØÑÒØÖÓÖÚ×ÑÓÖÖÓÑ ØÓØ×ØÙÒغ  Ö  ÒÐÙ×Ð×Ó¹ÐÖÒÒØÙÖ׸×Ù×Ø× ÑÒÑÒØÒÒØÛÓÖÓÑÑÙÒØÓÒØÛÒØÖ×ÒØÖ ×ØÙÒØ׺  ÅÅȹÓÑØÖ  ´Ó¸¾¼¼¼µ¸  ÓÑØÖÝÜÔÖØ  ´ÓÒÄÒ¸¾¼¼¾µ¸  ¹ ÓÑØÖÝÜÔÐÓÖÖ  ´ÏÐ×ÓÒÒÐÙÖÓظ¾¼¼µÒ  ÒÖÐÐ  ´ÃÓÖØÒ¹ ÑÔ¸½ÃÓÖØÒÑÔÒÊØÖ¹Öظ¾¼¼ÊØÖ¹ÖØÒ ÃÓÖØÒÑÔ¸½ËÛÖØÞ¸½µÐÓÒ×ØÓØ×ÓÒØÓÖݺ  ÓÑØÖÝÜÔÖØ  Ò  ÅÅȹÓÑØÖ  ÖËÛÖÙ×× ÖÔÐÒØÖÓÖÒÑÔÐÑÒØØÓÒÓØÑÒ×ÓÒÔÖÓ¹ ÙÖ×ÒÓÑØÖݺ  ÓÑØÖÝÜÔÐÓÖÖ  ÔÖÓÚ×ÖÑÑØÚ×Ùй ÞØÓÒÓÔÖÓÓ×ÒÖØÙØÓÑØÐÐÝÝÔÖÓÐÓÑÔÐÑÒØØÓÒ ÓÓÙ³×ÙÐÐÒÐÑØÓ´ÓÙØк¸½µº  ÒÖÐÐ  ÐÐÓÛ×ØÓ ÜÔÓÖØØ×ÖÔØÓÒÓØÙÖØÓÓÑÔÙØÖÐÖ×ÓØÛÖØÓ ÔÖÓÖÑÐÖÔÖÓÓ׺ ÌÛÓÖÐÓ××ØØÓÓÙÖ××´ÖØÓØØк¸¾¼¼¿µºÌ  ÓÎÛ  ×Óع ÛÖÔÖÓÚ×Ú×ÙÐÞØÓÒØÓÓÐÓÖ×ÓÑÓÖÑÐÓÑØÖ×ØØÑÒØ× Ù×ÒÒÓ¹Ø¹×ÐËÒØÈÓÕÙ×ÖÒØÖÓÖÓÕ´ÖØÓØ ÒÌÖݸ½ÑÖØк¸¾¼¼½µºÁØ×ÒØÒØÓÙ×ÛØ ØÓÖÑÐÞØÓÒÓÓÑØÖÝÓÖØÖÒÙÖÖÙÐÙÑÝÖÖÕÙ ÙÐÓØ´ÙÐÓظ¾¼¼µÒØÓÕÔÖÓÓ×××ØÒØ´ÓÕÚÐÓÔÑÒØ ØѸÌ¸¾¼¼µº ÏÔÖ×ÒØÒØ×ÔÔÖØ×ÒÓ×Ý×ØÑÛÓ×Ñ×ØÓ ÓÑÒÙØÓÑØØÓÖÑÔÖÓÚÒ¸ÒØÖØÚØÓÖÑÔÖÓÚÒÙ×Ò  ÒÖÓÙܺØÜ½¼»½¼»¾¼¼½¾¿½Ôº¾     i  n  r   i  a  -   0   0   1   1   8   9   0   3 ,  v  e  r  s   i  o  n   1  -   7   D  e  c   2   0   0   6  ÍÁÓÖÓÖÑÐÈÖÓÓ×ÒÓÑØÖÝ  ¿ ÓÖÑÐÔÖÓÓ×Ý×ØÑ´ØÓÕÔÖÓÓ×××ØÒصÒÖÑÑØÚ¹ ×ÙÐÞØÓÒºÌÖÒØÛÒÓÙÖÔÔÖÓÒØÓØÖ×Ý×ØÑ× ÛÚØ´ÜÔØÓÎÛµ×ØØÛÙ×ÓÒÖÐÔÙÖÔÓ×ÔÖÓÓ ×××ØÒØÒÓÑÒÒØÖØÚÒÙØÓÑØØÓÖÑÔÖÓÚÒºÌ ÖÒØÛÒÓÙÖ×Ý×ØÑÒÓÎÛ×ØØÓÑÑÙÒØÓÒÛØ ÓÕÓ×ÒØÓØÖÖØÓÒº ÇÙÖÔÔÖÓ×ÙÝØÓÐÐÓÛÒÑÓØÚØÓÒ×  − ÁØ×ÚÖÝÒØÙÖÐÒÓÑØÖÝØÓÐÐÙ×ØÖØÔÖÓÓÝÖѹ ÑØÖÔÖ×ÒØØÓÒÒÚÒ×ÓÑØÑ×ÖÑÒ×Ò× ÐÚÐ×ÖÔØÓÒÓÔÖÓÓ´ÖÛ×ÒÐÐÛÒ¸½Âѹ Ò¸¾¼¼½ÅÐÐÖ¸¾¼¼½ÏÐ×ÓÒÒÐÙÖÓظ¾¼¼ÏÒØÖ×ØÒ¸ ¾¼¼ÏÒØÖ×ØÒ¸¾¼¼µºÙØ×ÓÑØÑ×ÖÑÒÑ×¹ ÐÒºÌØ×ÛÝØÚÖØÓÒÓØÔÖÓÓÝÓÖÑÐÔÖÓÓ ×Ý×ØÑ×ÖÙÐ×ØÔÖÓÚ×ÚÖÝÐÚÐÓÓÒÒº  − ÓÑÔÖØÓÒ  Ó  ÔÖÓÓ×Ý×ØÑ×ÔÐÞÒÓÑØÖݸØ Ù×ÓÒÖÐÔÙÖÔÓ×ÔÖÓÓ×××ØÒØ×Ù×ØÓÕÔÖÓÓ ×××ØÒØÔÖÓÚ×ÛÝØÓÓÑÒÓÑØÖÐÔÖÓÓ×ÛØÐÖÖ ÔÖÓÓ׺ÓÖÜÑÔÐ¸Ø×ÔÓ××ÐØÓÙ×ØÓÕ×Ý×ØÑØÓÔÖÓÚ Ø×ÓÙØÔÓÐÝÓÒ×ÝÒÙØÓÒÓÒØÒÙÑÖÓ׸ÓÖØ× ÓÙØØÖÒ×ÓÖÑØÓÒ×Ù×ÒÓÑÔÐÜÒÙÑÖ׺  − ÌÖÖØ×ØØÒÒÓØÚ×ÙÐÞÖÔÐÐÝÒØÖ ÖØ×ØØÖÙÐØØÓÙÒÖ×ØÒÛØÓÙØÖÔÐÖÔ¹ Ö×ÒØØÓÒºÀÒ¸ÛÒØÓÓÑÒÓØÔÔÖÓ׺  − Ï×ÓÙÐÚÓØØÐØÝØÓÑÖØÖÖÐÝÓÑÔÐÜÔÖÓÓ× ÓÖØÓÙ××ÓÒÓÛÒÐÑÑ׸ÔÒÒÓÒØÐÚÐÓØ Ù×Ö»×ØÙÒغ ÏÛÐÐÖ×ØÚ×ÓÖØÒØÖÓÙØÓÒÓÓÙÖÔÖÓØÓØÝÔÒÑÓ¹ ÈÖÓÓºÌÒÛÛÐÐÓÙ×ÓÒØÔÖÓÓÖÐØØÙÖ×ÓÓÈÖÓÓ  ÙØÓÑØ  ØÓÖÑÔÖÓÚÒÒÒØÖØÚÒÖØÓÒÓÓÕ×ØØ¹ ÑÒØ׺  ¾ºÒÓÚÖÚÛÓÓÈÖÓÓ  ÓÈÖÓÓ×ÖÒÓÔÒ×ÓÙÖÝÒÑÓÑØÖÝËÓØÛÖºÁØ ÐÐÓÛ×ÓÒØÓÖØÒØÒÑÒÔÙÐØÓÑØÖÓÒ×ØÖÙØÓÒ׺ÁØ ××ØÖÙØÙÒÖØØÖÑÓØÈÄÎÖ×ÓÒ¾ÐÒ×ºÁØ× ÒÑÔÐÑÒØÝ×ØÖØÒÖÓÑÔÖÓØÐÐÖÓÑÐÒ¹ ØÐÐÝÚÐÓÔÝ  ÆÓÐ×ÖÒÓ×  ºÓÈÖÓÓ×ÛÖØØÒÒØ  ÇÑР ÔÖÓÖÑÑÒÐÒÙÙ×ÒÓÒÐÝÔÓÖØÐÐÖÖ×Ò×ÙÛÝØØ  ÒÖÓÙܺØÜ½¼»½¼»¾¼¼½¾¿½Ôº¿     i  n  r   i  a  -   0   0   1   1   8   9   0   3 ,  v  e  r  s   i  o  n   1  -   7   D  e  c   2   0   0   6    ÂÙÐÒÆÖÓÙÜ  ØÒÓÑÔÐÓÖÄÒÙܸÏÒÓÛ×ÒÅÇËº ÁÒØ××ØÓÒ¸ÛÓÙ×ÓÒØÝÒÑÓÑØÖÝØÙÖ×ÓÓ¹ ÈÖÓÓ¸ØÔÖÓÓÓÖÒØÙÒØÓÒÐØÝÛÐÐ×ÖÒØÒÜØ ×ØÓÒ׺ÙÖ½Ú×ÕÙÓÚÖÚÛÓØÖÔÐÙ×ÖÒØÖ ÓÓÈÖÓÓºÌÖÒØØÓÓÐ×Ò×ÓÖØÒÓÙÖØÓÖ׺Ì ÓÒ×ØÖÙØÓÒ×ØÓÓÐ×ÖÙ×ØÓÖØÒÛÓÑØÖÓØ׺ÓÈÖÓÓ ×ÙÔÔÓÖØ×ØÑÒÓÑØÖÓÒ×ØÖÙØÓÒ×ÒØÖÒ×ÓÖÑØÓÒ×ÒÚÓÐÚ¹ ÒÔÓÒØ׸ÖÐ׸ÐÒ׸×ÑÒØ×ÒÚØÓÖ׺ ÌÚ×ÙÐÞØÓÒØÓÓÐ×ÐÐÓÛØÓÒØÞÓÓÑØÓÖÒÑÓÚØ ÙÖÓÒØÔºÌÑÒÔÙÐØÓÒØÓÓÐ×ÐÐÓÛØÓ×ÐظÐØÒ ÑÓÚÓØ׺ÌÑ×ÙÖ×ÒØ×Ø×ØÓÓÐ×Ö×ÓÖØÙØ×ØÓÖØ ×ÔÐÝÒÑÐÐ×´ØÓ×Ö×ÖÒØ×ØÓÒ¾º¾µºÓÖ Ò×ØÒØØÓÓÐØÓØ×ØØÛÓÐÒ×ÖÔÖÐÐÐÖØ×ØÜØÙÐÐРÛØÐÐ×ØØÛÓÐÒ×ÖÔÖÐÐÐÓÒØÒ×ØÒÓØÙÖ Û×ÙÖÖÒØÐÝ×ÔÐÝºÌ×Ø×ØØÓÓÐ×ÓÒÓØÔÖÓÚÔÖÓÓ¸ ØÝ×ÓÙÐÙ×ØÓÕÙÐÝØ×ØØÚÐØÝÓÓÒØÙÖÓÒ×ÚÖРÒ×ØÒ×ÓØÙÖÝÑÒÔÙÐØÒØÖÔÓÒØ׺ ÌÓ×ÑÔÐÝØÖØÓÒÓÐÖÙÖ׸ØÙ×ÖÒÓÖÒÞØÓ¹  Ø×Ù×ÒÐÝÖ×ÒÒØÖÛÒ×ØÝÐÓØÓØ×´Ò ÓÖÒÓظ×ÓÖÒÓظÓÐÓÖºººµºÓÑÔÐØ×ÖÔØÓÒÓØØÙÖ× ÓÓÈÖÓÓÒÓÙÒÒ´ÆÖÓÙܸ¾¼¼µº  Construction toolsMeasures andtests toolsVisualization toolsWorking windowDescription of the figureUndo/RedoSelectionManipulationHelpStatus barLabels ÙÖ½º  ×ÖÒ¹×ÓØÓØÑÒÛÒÓÛÓÓÈÖÓÓº  ÒÖÓÙܺØÜ½¼»½¼»¾¼¼½¾¿½Ôº     i  n  r   i  a  -   0   0   1   1   8   9   0   3 ,  v  e  r  s   i  o  n   1  -   7   D  e  c   2   0   0   6  ÍÁÓÖÓÖÑÐÈÖÓÓ×ÒÓÑØÖÝ   ¾º½º  ÁÒÔÙØ»ÇÙØÔÙØ  ÌÓÙÑÒØ×Ò×ÚÙ×ÒÒÓÔÒÓÖÑØ×ÓÒØÅÄ ØÒÓÐÓݺÁØÒÜÔÓÖØØÙÖ×Ù×ÒØÑÔÓÖÑØ´ÈÆ¸ ÅȸÂÈµ¸ÚØÓÖÖÔÓÖÑØ´ËÎµÓÖØÜØÙÐ×ÖÔØÓÒ ÒÔ×ÙÓ¹ÒØÙÖÐÐÒÙº Ì×ÖÔØÓÒÓØÙÖÒÐ×ÓÜÔÓÖØØÓØÒÔÙØÐÒÙ ÓØÙÐ××ÓØÛÖØÓ×ØÒ×ÖØÓÒÓÙÖ×ÒÄ    Ì  Ó¹ ÙÑÒØ  2 ºÌÐÒÙÙ×ÝÙÐ×ÓÖØ×ÖÔØÓÒÓÙÖ× ×ÐÚкÌ×ÑÒ×ØØØÖÖØÒØÙÖÙ×ÒÓÈÖÓÓ¸ ØÙ×ÖÛÒØ×ØÓÔÖÓÖÑ×ÑÐÐÒ×Ø×ÒÓØÒ××ÖÝØÓÓÔÒØ ÒÙ×ÒÓÈÖÓÓ¸Ø×ÖÔØÓÒ×ÖÐÒÓÙØÓØ ÖØÐÝÛØÒØÄ    Ì  ÐºÙÖ¾×ÓÛ×ÒÜÑÔÐ×ÖÔغ  ÖÑ´¹½¼º¼¼¼¼¼¸º¼¼¼¼¼¸½¾º¼¼¼¸¹¿º¼¼¼¼¸¼º¿½µ ÔÓÒØ´¹¿º¾¾¼¼¼¸º¿¼¼¼¼µ ÓÐÓÖ´Öµ ØÒ××´¾µ ÖÛ´¸Óص ÓÐÓÖ´Ðµ ÖÛ´¸¸¼º¾¼¼¼¸Ö´ÖÐ´¸½µ¸ÔÓÒØ´½º¼¼¸½º¼¼µµµ ººº ººº ËÑÒØ¿×ÑÒØ´¸µ ÓÐÓÖ´Ðµ ØÒ××´¾µ ÖÛ´ËÑÒØ¿¸ÙÐе ÄÒ½ÐÒ´¸µ ÓÐÓÖ´ÐÙµ ØÒ××´¾µ ÖÛ´ÄÒ½¸×µ  ÙÖ¾º  ÜÔÓÖØØÓÄ    Ì  Ù×Ò  ÙÐ×  º  ¾º¾º  ÝÒÑÐÐ×  ÝÒÑÐÐ×ØÜØÐÑÒØÒÖÛØØÔÓ××ÐØÝØÓ×ÔÐÝ ØÖ×ÙÐØÓÓÑÔÙØØÓÒÒÙ×Ò×ÑÐÐÐÒÙ´ÆÖÓÙܸ ¾¼¼µºÌÜØÙÐÐÐ×ÛÔÔÖÒÙÖÒÓÒØÒ  ÝÒÑ  Ð×  ºÝÒÑÐ×ÓÒØÒ×ÜÔÖ××ÓÒ×ÛÖÚÐÙØÒÖР 2 ØØÔ»»ÛÛÛºÙÐ׺ÓÖ» ÒÖÓÙܺØÜ½¼»½¼»¾¼¼½¾¿½Ôº     i  n  r   i  a  -   0   0   1   1   8   9   0   3 ,  v  e  r  s   i  o  n   1  -   7   D  e  c   2   0   0   6
Search
Tags
Related Search
We Need Your Support
Thank you for visiting our website and your interest in our free products and services. We are nonprofit website to share and download documents. To the running of this website, we need your help to support us.

Thanks to everyone for your continued support.

No, Thanks