Logiweb - A System for Web Publication of Mathematics

机译：Logiweb-用于Web的数学发布系统

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Logiweb is a system for electronic publication and archival of machine checked mathematics of high typographic quality. It can verify the formal correctness of pages, i.e. mathematical papers expressed suitably. The present paper is an example of such a Logiweb page and the present paper is formally correct in the sense that it has been verified by Logiweb. The paper may of course contain informal errors like any other paper. Logiweb is neutral with respect to choice of logic and choice of notation and can support any kind of formal reasoning.rnLogiweb uses the World Wide Web to publish Logiweb pages and Logiweb pages can be viewed by ordinary Web browsers. Logiweb pages can reference definitions, lemmas, and proofs on previously referenced Logiweb pages across the Internet. When Logiweb verifies a Logiweb page, it takes all transitively referenced pages into account.

机译：Logiweb是一种用于电子出版和高印刷质量的机器检查数学档案的系统。它可以验证页面的形式正确性，即适当表达的数学论文。本文是此类Logiweb页面的示例，从Logiweb对其进行验证的意义上来说，本文在形式上是正确的。该论文当然可能包含非正式错误，就像其他任何论文一样。 Logiweb在逻辑选择和符号选择方面是中立的，并且可以支持任何形式的推理。rnLogiweb使用万维网发布Logiweb页面，并且普通Web浏览器可以查看Logiweb页面。 Logiweb页面可以在Internet上引用先前引用的Logiweb页面上的定义，引理和证明。当Logiweb验证Logiweb页面时，它将所有可传递引用的页面考虑在内。

著录项

来源
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》|2006年|343-353|共11页
会议地点 Castro Urdiales(ES)
作者
Klaus Grue;
展开▼
作者单位

Dept.Comp.Sci, Univ.of Copenhagen (DIKU);

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词

相似文献

外文文献
中文文献
专利

1. WINDOWS WEB PROXY CACHING SIMULATION: A TOOL FOR SIMULATING WEB PROXY CACHING UNDER WINDOWS OPERATING SYSTEMS | Science Publications [J] . Hamidah Ibrahim, Nor Asilah Wati Abdul Hamid, Nur Izura Udzir, Journal of computer sciences . 2014,第8期

机译：WINDOWS Web代理缓存模拟：一种在Windows操作系统下模拟Web代理缓存的工具|科学出版物
2. USER-CENTRIC DESIGN FOR SEMANTIC DISCOVERY OF MATHEMATICAL WEB SERVICES | Science Publications [J] . A. Chandrasekar, Adlin Sheeba, V. Shanthi American journal of applied sciences . 2014,第4期

机译：基于用户中心的数学Web服务语义发现|科学出版物
3. A Study of Mathematics Web-Based Learning in Schools | Science Publications [J] . Mansoor A.A Ali American journal of applied sciences . 2008,第11期

机译：学校基于网络的数学学习研究科学出版物
4. Logiweb - A System for Web Publication of Mathematics [C] . Klaus Grue International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES) . 2006

机译：Logiweb-用于Web的数学发布系统
5. The conceptualization of government publications on the World Wide Web: A genre theory inspired investigation. [D] . Lin, Chi-Shiou. 2007

机译：万维网上政府出版物的概念化：一种体裁理论启发了调查。
6. Web-based survey among animal researchers on publication practices and incentives for increasing publication rates [O] . Susanne Deutsch, Miriam Heider, Silke Glage, 2021

机译：出版实践和促进出版率促进奖励的基于网络研究人员的调查
7. Lectures on the Calculus of Variations, by O. Bolza. 2nd edition. Dover Publications Inc., New York, 1961. ix + 271 pages. $1.65. - Lectures on the Calculus of Variations, by O. Bolza. 2nd edition. Chelsea Publishing Company, New York, 1961 (1904). ix + 271 pages. $1. 19. - The Calculus of Finite Differences, by G. Boole. Edited by J. F. Moulton. Fourth edition. Reprint 1960 from 1872 edition. Chelsea Publishing Company, New York, 1960. $1. 39. Cloth $3.95. - The Mathematical Theory of Non-uniform Gases, by Chapman, Sand, T. G. Cowling. Cambridge 1960. MacMillan Company of Canada, xxiii + 431 pages. $2.95. - Exploitation derelevés expérimentaux, by Genevieve Coulmy. Manuels de calculs techniques, Vol. IV. Gauthier Villars et Cie, Paris, 1962 (2 May), xiii + 186 pages. 20NF. - Tables of the Mathematical Functions, Vol, III, by H. T. Davis and Vera J. Fisher. Arithmetical Tables. The Principia Press of Trinity University, San Antonio, Texas, 1962. ix + 554 pages. $8.75. - Tables of Integrals and Other Mathematical Data, by H. B. Dwight. Third edition. Brett Macmillan Ltd., Gait, Ontario, 1957. x + 288 pages. $3.00. - The Mathematical Theory of Relativity, by A. S. Eddington. Cambridge University Press, 1960. Macmillan Company of Canada, ix + 270 pages. $2. 95. - An Index of Mathematical Tables, by A. Fletcher, J. C. P. Miller, L. Rosenhead, L.J. Comrie. Vol. I, Index According to Functions, xi + 608 pages. Vol. II, Bibliography, Lists of Errors in Published Tables, References, iv + 386 pages. Addison Wesley Publishing Company Inc., Reading, Mass., 1962. $42.00 - Calculus of Extension, by H. G. Forder. Chelsea Publishing Company, 50 E. Fordham Road, New York 68, N. Y., U.S.A. $4.95. - Topology of Three Manifolds and Related Topics, M. K. Fort (Ed. ). Proceedings of the 1961 Topology Institute at the University of Georgia. Prentice Hall Inc. Publications, Englewood Cliffs, New Jersey, 1962. ix + 256 pages. $10. 00. - Algebraical and Topological Foundations of Geometry, H. Freudenthal (Ed.). Proceedings of a Colloquium at Utrecht, August 1959. Symposium Publications Division, Pergamon Press, Oxford, vii + 208 pages. $10. 00. - Mathématiques Générales, Synthèse élémentaire, by Maurice Godefroy. Gauthier Villars and Cie., Paris, 1961. 187 pages. 16NF = $3. 50. - Intermediate Pure Mathematics, by H. A. Hayden, C. G. Paradine, and R. N. Giles. Longmans Canada Limited, 137 Bond Street, Toronto, 1962. vii + 695 pages. $5.05. - College Plane Geometry, by E. M. Hemmerling. J. Wiley, New York, 1958. ix+ 310 pages. $4.95. - The Mathematical Theory of Electricity and Magnetism, by Sir James Jeans. Filth edition. Cambridge University Press, 1960. Macmillan Company of Canada. 652 pages. $3.95. - Summation of Series, by L. B. W. Jolley. Second revised edition. Dover Publications Inc., New York, 1961. xii + 251 pages. $2. 00. - Theory of Numbers, by G. B. Mathews. Chelsea Publishing Company, New York, 1961. xii + 323 pages. - Geometry for Advanced Pupils, E. A. Maxwell. Oxford University Press, Toronto. 176 pages. $3.75. - Russian Reader in Pure and Applied Mathematics, by P. H. Nidditch. University Mathematical Texts. Oliver and Boyd Ltd. and J. Wiley and Sons Inc. , New York 16, N. Y., 1962. x + 166 pages. $2.25. [O] . 1963

机译：讲座讲座的讲座，由O.Bolza进行变化。第2版。 Dover Publications Inc.，纽约，1961年。IX + 271页。 $ 1.65。 - 由O.Bolza的变化计算讲座。第2版。切尔西出版公司，纽约，1961年（1904年）。 ix + 271页。 1美元。 19. - G.Bole的有限差异的微积分。由J. F. Moulton编辑。第四版。从1872年版开始复制1960年。切尔西出版公司，纽约，1960年。1美元。 39.布料3.95美元。 - 非均匀气体的数学理论，由Chapman，Sand，T. G. Cowling。剑桥1960.加拿大的Macmillan公司，XXIII + 431页。 $ 2.95。 - 通过Genevieve Coulmy开发DerelevésExpérimentaux。 Manuels de Calcuce技术，Vol。 IV。 Gauthier Villars et Cie，巴黎，1962年（5月2日），XIII + 186页。 20nf。 - 由H.T.T. Davis和Vera J. Fisher的数学函数，III的表格表。算术表。 The Trinity University Prentipia Fress，San Antonio，德克萨斯州，1962。IX + 554页。 $ 8.75。 - H. B. Dwight的积分和其他数学数据表。第三版。 Brett Macmillan Ltd.，Gait，安大略省，1957年。X + 288页。 3.00美元。 - 由A. S. Eddington的相对论的数学理论。剑桥大学出版社，1960年。加拿大Macmillan公司，IX + 270页。 $ 2。 95. - 一个数学表，A. fletcher，J.C.P. Miller，L. Rosenhead，L.J.Comrie。卷。 i，索引根据函数，xi + 608页。卷。 II，参考书目，已发布表中的错误列表，参考文献，IV + 386页。 Addison Wesley Publishing Company Inc.，阅读，质量。，1962年。$ 42.00 - 扩展延伸，由H. G. G. Forder。 Chelsea Publishing Company，50 E. Fordham Road，纽约68，N. Y.，U.S.A. $ 4.95。 - 三种歧管及相关主题的拓扑，M. K. Fort（Ed）。 1961年佐治亚大学拓扑研究所的诉讼程序。 Prentice Hall Inc. Publications，Englewood Cliffs，新泽西州，1962年。IX + 256页。 10美元。 00. - 几何，H.Freudenthal（ED）的代数和拓扑基础。 1959年8月乌得勒支的议程综合案件。研讨会出版物部门，Pergamon Press，牛津，VII + 208页。 10美元。 00. - MathématiquesGénérales，Synthèseélémentaire，由Maurice Godefroy。 Gauthier Villars和Cie。，巴黎，1961. 187页。 16nf = 3美元。 50. - 中级纯数学，H.A.Hayden，C. G. G. G. Gladine和R. N. Giles。 Longmans Canada Limited，137债券街，多伦多，1962年。VII + 695页。 5.05美元。 - 大学架几何，由E. M. Hemmerling。 J. Wiley，纽约，1958. IX + 310页。 $ 4.95。 - 詹姆斯·牛仔吉恩斯的电力和磁力学的数学理论。 Filth版本。剑桥大学出版社，1960年。加拿大Macmillan公司。 652页。 3.95美元。 - 由L. B. W.Jolley的系列求和。第二个修订版。 Dover Publications Inc.，纽约，1961年。XII + 251页。 $ 2。 00。 - 由G. B. Mathews的数字理论。切尔西出版公司，纽约，1961年。XII + 323页。 - E. A. Maxwell的高级学生几何。牛津大学出版社，多伦多。 176页。 $ 3.75。 - 俄罗斯读者纯粹和应用数学，由P. H. Nidditch。大学数学文本。 Oliver和Boyd Ltd.和J. Wiley和Sons Inc.，纽约16，N. Y.，1962年。X + 166页。 2.25美元。

Logiweb - A System for Web Publication of Mathematics

摘要

著录项

相似文献

相关主题

期刊订阅