diff options
author | Norbert Preining <norbert@preining.info> | 2024-02-22 03:04:08 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2024-02-22 03:04:08 +0000 |
commit | 286abb7dcd6c03d7edcd3d3435bb97448074c3cf (patch) | |
tree | 3685af864920886e709e60d4c0383f62d2af85fb /macros/latex/contrib/projlib | |
parent | 2f56d3421e4663856409792eb5b08a2c57b38a8c (diff) |
CTAN sync 202402220303
Diffstat (limited to 'macros/latex/contrib/projlib')
-rw-r--r-- | macros/latex/contrib/projlib/ProjLib.dtx | 1636 | ||||
-rw-r--r-- | macros/latex/contrib/projlib/README.md | 4 |
2 files changed, 1620 insertions, 20 deletions
diff --git a/macros/latex/contrib/projlib/ProjLib.dtx b/macros/latex/contrib/projlib/ProjLib.dtx index 1172d3e4ad..1f4cceb73e 100644 --- a/macros/latex/contrib/projlib/ProjLib.dtx +++ b/macros/latex/contrib/projlib/ProjLib.dtx @@ -19,84 +19,84 @@ %<*ProjLib> \ProvidesExplPackage {ProjLib} - {2024/02/03} {} + {2024/02/20} {} {Collective interface of the ProjLib toolkit} %</ProjLib> % %<*projlib-author> \ProvidesExplPackage {projlib-author} - {2024/02/03} {} + {2024/02/20} {} {Enhanced author information block} %</projlib-author> % %<*projlib-datetime> \ProvidesExplPackage {projlib-datetime} - {2024/02/03} {} + {2024/02/20} {} {Convert numeric date-time string to natural language} %</projlib-datetime> % %<*projlib-draft> \ProvidesExplPackage {projlib-draft} - {2024/02/03} {} + {2024/02/20} {} {Useful commands during draft stage} %</projlib-draft> % %<*projlib-font> \ProvidesExplPackage {projlib-font} - {2024/02/03} {} + {2024/02/20} {} {Font selection and configuration} %</projlib-font> % %<*projlib-language> \ProvidesExplPackage {projlib-language} - {2024/02/03} {} + {2024/02/20} {} {Multi-language configuration} %</projlib-language> % %<*projlib-logo> \ProvidesExplPackage {projlib-logo} - {2024/02/03} {} + {2024/02/20} {} {The ProjLib logo} %</projlib-logo> % %<*projlib-math> \ProvidesExplPackage {projlib-math} - {2024/02/03} {} + {2024/02/20} {} {Efficient math setup} %</projlib-math> % %<*projlib-paper> \ProvidesExplPackage {projlib-paper} - {2024/02/03} {} + {2024/02/20} {} {Configuration of the paper style} %</projlib-paper> % %<*projlib-text> \ProvidesExplPackage {projlib-text} - {2024/02/03} {} + {2024/02/20} {} {Text-related commands} %</projlib-text> % %<*projlib-theorem> \ProvidesExplPackage {projlib-theorem} - {2024/02/03} {} + {2024/02/20} {} {Configuration of theorem-like environments} %</projlib-theorem> % %<*projlib-titlepage> \ProvidesExplPackage {projlib-titlepage} - {2024/02/03} {} + {2024/02/20} {} {Interface for title page rendering} %</projlib-titlepage> @@ -3938,6 +3938,7 @@ assumption , axiom , claim , + commentary , conclusion , conjecture , construction , @@ -3949,6 +3950,7 @@ fact , hypothesis , lemma , + motivation , notation , observation , postulate , @@ -3965,6 +3967,34 @@ corollary-definition , proposition-definition , theorem-definition , + applications , + assertions , + assumptions , + axioms , + claims , + commentaries , + conclusions , + conjectures , + constructions , + conventions , + corollaries , + definitions , + examples , + exercises , + facts , + hypotheses , + lemmas , + motivations , + notations , + observations , + postulates , + problems , + properties , + propositions , + questions , + recalls , + remarks , + theorems , } \@ifclassloaded { beamer } @@ -4512,6 +4542,49 @@ } } +\NameTheorem { commentary } + { + , heading = { + , english = Commentary + , french = Commentaire + , ngerman = Kommentar + , italian = Commento + , portuguese = Comentário + , brazilian = Comentário + , spanish = Comentario + , schinese = 解说 + , tchinese = 解說 + , japanese = 解説 % コメント + , russian = Комментарий + } + , crefname = { + , english = {Commentary}{Commentary} + , french = [la]{Commentaire}[les]{Commentaire} + , ngerman = {Kommentar}{Kommentar} + , italian = [il]{Commento}[i]{Commento} + , portuguese = [o]{Comentário}[os]{Comentário} + , brazilian = [o]{Comentário}[os]{Comentário} + , spanish = [el]{Comentario}[los]{Comentario} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарий}{Комментарий} + } + , Crefname = { + , english = {Commentary}{Commentary} + , french = [La]{Commentaire}[Les]{Commentaire} + , ngerman = {Kommentar}{Kommentar} + , italian = [Il]{Commento}[I]{Commento} + , portuguese = [O]{Comentário}[Os]{Comentário} + , brazilian = [O]{Comentário}[Os]{Comentário} + , spanish = [El]{Comentario}[Los]{Comentario} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарий}{Комментарий} + } + } + \NameTheorem { conclusion } { , heading = { @@ -4823,8 +4896,8 @@ , portuguese = Exercício , brazilian = Exercício , spanish = Ejercicio - , schinese = 练习 - , tchinese = 練習 + , schinese = 习题 + , tchinese = 習題 , japanese = 練習 , russian = Упражнение } @@ -4836,8 +4909,8 @@ , portuguese = [o]{Exercício}[os]{Exercício} , brazilian = [o]{Exercício}[os]{Exercício} , spanish = [el]{Ejercicio}[los]{Ejercicio} - , schinese = {练习}{练习} - , tchinese = {練習}{練習} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} , japanese = {練習}{練習} , russian = {Упражнение}{Упражнение} } @@ -4849,8 +4922,8 @@ , portuguese = [O]{Exercício}[Os]{Exercício} , brazilian = [O]{Exercício}[Os]{Exercício} , spanish = [El]{Ejercicio}[Los]{Ejercicio} - , schinese = {练习}{练习} - , tchinese = {練習}{練習} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} , japanese = {練習}{練習} , russian = {Упражнение}{Упражнение} } @@ -4985,6 +5058,49 @@ } } +\NameTheorem { motivation } + { + , heading = { + , english = Motivation + , french = Motivation + , ngerman = Motivation + , italian = Motivazione + , portuguese = Motivação + , brazilian = Motivação + , spanish = Motivacion + , schinese = 动机 + , tchinese = 動機 + , japanese = 動機 % モチベーション + , russian = Мотивация + } + , crefname = { + , english = {Motivation}{Motivation} + , french = [la]{Motivation}[les]{Motivation} + , ngerman = {Motivation}{Motivation} + , italian = [la]{Motivazione}[le]{Motivazione} + , portuguese = [a]{Motivação}[as]{Motivação} + , brazilian = [a]{Motivação}[as]{Motivação} + , spanish = [la]{Motivacion}[las]{Motivacion} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивация}{Мотивация} + } + , Crefname = { + , english = {Motivation}{Motivation} + , french = [La]{Motivation}[Les]{Motivation} + , ngerman = {Motivation}{Motivation} + , italian = [La]{Motivazione}[Le]{Motivazione} + , portuguese = [A]{Motivação}[As]{Motivação} + , brazilian = [A]{Motivação}[As]{Motivação} + , spanish = [La]{Motivacion}[Las]{Motivacion} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивация}{Мотивация} + } + } + \NameTheorem { notation } { , heading = { @@ -5422,6 +5538,1490 @@ \NameTheorem { corollary-definition } { combined = { corollary ; definition } } \NameTheorem { proposition-definition } { combined = { proposition ; definition } } \NameTheorem { theorem-definition } { combined = { theorem ; definition } } + +\NameTheorem { applications } + { + , heading = { + , english = Applications + , french = Applications + , ngerman = Anwendungen + , italian = Applicazioni + , portuguese = Aplicações + , brazilian = Aplicações + , spanish = Aplicaciones + , schinese = 应用 + , tchinese = 應用 + , japanese = 応用 + , russian = Приложения + } + , crefname = { + , english = {Applications}{Applications} + , french = [les]{Applications}[les]{Applications} + , ngerman = { {Anwendungen}{Anwendungen} + , Nominativ = [die]{Anwendungen}[die]{Anwendungen} + , Genitiv = [der]{Anwendungen}[der]{Anwendungen} + , Dativ = [den]{Anwendungen}[den]{Anwendungen} + , Akkusativ = [die]{Anwendungen}[die]{Anwendungen} + } + , italian = [le]{Applicazioni}[le]{Applicazioni} + , portuguese = [as]{Aplicações}[as]{Aplicações} + , brazilian = [as]{Aplicações}[as]{Aplicações} + , spanish = [las]{Aplicaciones}[las]{Aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Приложения}{Приложения} + } + , Crefname = { + , english = {Applications}{Applications} + , french = [Les]{Applications}[Les]{Applications} + , ngerman = { {Anwendungen}{Anwendungen} + , Nominativ = [Die]{Anwendungen}[Die]{Anwendungen} + , Genitiv = [Der]{Anwendungen}[Der]{Anwendungen} + , Dativ = [Den]{Anwendungen}[Den]{Anwendungen} + , Akkusativ = [Die]{Anwendungen}[Die]{Anwendungen} + } + , italian = [Le]{Applicazioni}[Le]{Applicazioni} + , portuguese = [As]{Aplicações}[As]{Aplicações} + , brazilian = [As]{Aplicações}[As]{Aplicações} + , spanish = [Las]{Aplicaciones}[Las]{Aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Приложения}{Приложения} + } + } + +\NameTheorem { assertions } + { + , heading = { + , english = Assertions + , french = Assertions + , ngerman = Assertionen + , italian = Asserzioni + , portuguese = Asserções + , brazilian = Asserções + , spanish = Aserciones + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждения + } + , crefname = { + , english = {Assertions}{Assertions} + , french = [les]{Assertions}[les]{Assertions} + , ngerman = { {Assertionen}{Assertionen} + , Nominativ = [die]{Assertionen}[die]{Assertionen} + , Genitiv = [der]{Assertionen}[der]{Assertionen} + , Dativ = [den]{Assertionen}[den]{Assertionen} + , Akkusativ = [die]{Assertionen}[die]{Assertionen} + } + , italian = [le]{Asserzioni}[le]{Asserzioni} + , portuguese = [as]{Asserções}[as]{Asserções} + , brazilian = [as]{Asserções}[as]{Asserções} + , spanish = [las]{Aserciones}[las]{Aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + , Crefname = { + , english = {Assertions}{Assertions} + , french = [Les]{Assertions}[Les]{Assertions} + , ngerman = { {Assertionen}{Assertionen} + , Nominativ = [Die]{Assertionen}[Die]{Assertionen} + , Genitiv = [Der]{Assertionen}[Der]{Assertionen} + , Dativ = [Den]{Assertionen}[Den]{Assertionen} + , Akkusativ = [Die]{Assertionen}[Die]{Assertionen} + } + , italian = [Le]{Asserzioni}[Le]{Asserzioni} + , portuguese = [As]{Asserções}[As]{Asserções} + , brazilian = [As]{Asserções}[As]{Asserções} + , spanish = [Las]{Aserciones}[Las]{Aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + } + +\NameTheorem { assumptions } + { + , heading = { + , english = Assumptions + , french = Suppositions + , ngerman = Annahmen + , italian = Supposizioni + , portuguese = Suposições + , brazilian = Suposições + , spanish = Suposiciones + , schinese = 假定 + , tchinese = 假定 + , japanese = 仮定 + , russian = Предположения + } + , crefname = { + , english = {Assumptions}{Assumptions} + , french = [les]{Suppositions}[les]{Suppositions} + , ngerman = { {Annahmen}{Annahmen} + , Nominativ = [die]{Annahmen}[die]{Annahmen} + , Genitiv = [der]{Annahmen}[der]{Annahmen} + , Dativ = [den]{Annahmen}[den]{Annahmen} + , Akkusativ = [die]{Annahmen}[die]{Annahmen} + } + , italian = [le]{Supposizioni}[le]{Supposizioni} + , portuguese = [as]{Suposições}[as]{Suposições} + , brazilian = [as]{Suposições}[as]{Suposições} + , spanish = [las]{Suposiciones}[las]{Suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположения}{Предположения} + } + , Crefname = { + , english = {Assumptions}{Assumptions} + , french = [Les]{Suppositions}[Les]{Suppositions} + , ngerman = { {Annahmen}{Annahmen} + , Nominativ = [Die]{Annahmen}[Die]{Annahmen} + , Genitiv = [Der]{Annahmen}[Der]{Annahmen} + , Dativ = [Den]{Annahmen}[Den]{Annahmen} + , Akkusativ = [Die]{Annahmen}[Die]{Annahmen} + } + , italian = [le]{Supposizioni}[le]{Supposizioni} + , portuguese = [As]{Suposições}[As]{Suposições} + , brazilian = [As]{Suposições}[As]{Suposições} + , spanish = [Las]{Suposiciones}[Las]{Suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположения}{Предположения} + } + } + +\NameTheorem { axioms } + { + , heading = { + , english = Axioms + , french = Axiomes + , ngerman = Axiome + , italian = Assiomi + , portuguese = Axiomas + , brazilian = Axiomas + , spanish = Axiomas + , schinese = 公理 + , tchinese = 公理 + , japanese = 公理 + , russian = Аксиомы + } + , crefname = { + , english = {Axioms}{Axioms} + , french = [les]{Axiomes}[les]{Axiomes} + , ngerman = { {Axiome}{Axiome} + , Nominativ = [die]{Axiome}[die]{Axiome} + , Genitiv = [der]{Axiome}[der]{Axiome} + , Dativ = [den]{Axiomen}[den]{Axiomen} + , Akkusativ = [die]{Axiome}[die]{Axiome} + } + , italian = [gli]{Assiomi}[gli]{Assiomi} + , portuguese = [os]{Axiomas}[os]{Axiomas} + , brazilian = [os]{Axiomas}[os]{Axiomas} + , spanish = [los]{Axiomas}[los]{Axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиомы}{Аксиомы} + } + , Crefname = { + , english = {Axioms}{Axioms} + , french = [Les]{Axiomes}[Les]{Axiomes} + , ngerman = { {Axiome}{Axiome} + , Nominativ = [Die]{Axiome}[Die]{Axiome} + , Genitiv = [Der]{Axiome}[Der]{Axiome} + , Dativ = [Den]{Axiomen}[Den]{Axiomen} + , Akkusativ = [Die]{Axiome}[Die]{Axiome} + } + , italian = [Gli]{Assiomi}[Gli]{Assiomi} + , portuguese = [Os]{Axiomas}[Os]{Axiomas} + , brazilian = [Os]{Axiomas}[Os]{Axiomas} + , spanish = [Los]{Axiomas}[Los]{Axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиомы}{Аксиомы} + } + } + +\NameTheorem { claims } + { + , heading = { + , english = Claims + , french = Affirmations + , ngerman = Behauptungen + , italian = Affermazioni + , portuguese = Afirmações + , brazilian = Afirmações + , spanish = Afirmaciones + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждения + } + , crefname = { + , english = {Claims}{Claims} + , french = [les]{Affirmations}[les]{Affirmations} + , ngerman = { {Behauptungen}{Behauptungen} + , Nominativ = [die]{Behauptungen}[die]{Behauptungen} + , Genitiv = [der]{Behauptungen}[der]{Behauptungen} + , Dativ = [den]{Behauptungen}[den]{Behauptungen} + , Akkusativ = [die]{Behauptungen}[die]{Behauptungen} + } + , italian = [le]{Affermazioni}[le]{Affermazioni} + , portuguese = [as]{Afirmações}[as]{Afirmações} + , brazilian = [as]{Afirmações}[as]{Afirmações} + , spanish = [las]{Afirmaciones}[las]{Afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + , Crefname = { + , english = {Claims}{Claims} + , french = [Les]{Affirmations}[Les]{Affirmations} + , ngerman = { {Behauptungen}{Behauptungen} + , Nominativ = [Die]{Behauptungen}[Die]{Behauptungen} + , Genitiv = [Der]{Behauptungen}[Der]{Behauptungen} + , Dativ = [Den]{Behauptungen}[Den]{Behauptungen} + , Akkusativ = [Die]{Behauptungen}[Die]{Behauptungen} + } + , italian = [Le]{Affermazioni}[Le]{Affermazioni} + , portuguese = [As]{Afirmações}[As]{Afirmações} + , brazilian = [As]{Afirmações}[As]{Afirmações} + , spanish = [Las]{Afirmaciones}[Las]{Afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + } + +\NameTheorem { commentaries } + { + , heading = { + , english = Commentaries + , french = Commentaires + , ngerman = Kommentare + , italian = Commenti + , portuguese = Comentários + , brazilian = Comentários + , spanish = Comentarios + , schinese = 解说 + , tchinese = 解說 + , japanese = 解説 + , russian = Комментарии + } + , crefname = { + , english = {Commentaries}{Commentaries} + , french = [les]{Commentaires}[les]{Commentaires} + , ngerman = { {Kommentare}{Kommentare} + , Nominativ = [die]{Kommentare}[die]{Kommentare} + , Genitiv = [der]{Kommentare}[der]{Kommentare} + , Dativ = [den]{Kommentaren}[den]{Kommentaren} + , Akkusativ = [die]{Kommentare}[die]{Kommentare} + } + , italian = [i]{Commenti}[i]{Commenti} + , portuguese = [os]{Comentários}[os]{Comentários} + , brazilian = [os]{Comentários}[os]{Comentários} + , spanish = [los]{Comentarios}[los]{Comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарии}{Комментарии} + } + , Crefname = { + , english = {Commentaries}{Commentaries} + , french = [Les]{Commentaires}[Les]{Commentaires} + , ngerman = { {Kommentare}{Kommentare} + , Nominativ = [Die]{Kommentare}[Die]{Kommentare} + , Genitiv = [Der]{Kommentare}[Der]{Kommentare} + , Dativ = [Den]{Kommentaren}[Den]{Kommentaren} + , Akkusativ = [Die]{Kommentare}[Die]{Kommentare} + } + , italian = [I]{Commenti}[I]{Commenti} + , portuguese = [Os]{Comentários}[Os]{Comentários} + , brazilian = [Os]{Comentários}[Os]{Comentários} + , spanish = [Los]{Comentarios}[Los]{Comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарии}{Комментарии} + } + } + +\NameTheorem { conclusions } + { + , heading = { + , english = Conclusions + , french = Conclusions + , ngerman = Schlussfolgerungen + , italian = Conclusioni + , portuguese = Conclusões + , brazilian = Conclusões + , spanish = Conclusiones + , schinese = 结论 + , tchinese = 結論 + , japanese = 結論 + , russian = Выводы + } + , crefname = { + , english = {Conclusions}{Conclusions} + , french = [Les]{Conclusions}[Les]{Conclusions} + , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen} + , Nominativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen} + , Genitiv = [der]{Schlussfolgerungen}[der]{Schlussfolgerungen} + , Dativ = [den]{Schlussfolgerungen}[den]{Schlussfolgerungen} + , Akkusativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen} + } + , italian = [le]{Conclusioni}[le]{Conclusioni} + , portuguese = [as]{Conclusões}[as]{Conclusões} + , brazilian = [as]{Conclusões}[as]{Conclusões} + , spanish = [las]{Conclusiones}[las]{Conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Выводы}{Выводы} + } + , Crefname = { + , english = {Conclusions}{Conclusions} + , french = [Les]{Conclusions}[Les]{Conclusions} + , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen} + , Nominativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen} + , Genitiv = [Der]{Schlussfolgerungen}[Der]{Schlussfolgerungen} + , Dativ = [Den]{Schlussfolgerungen}[Den]{Schlussfolgerungen} + , Akkusativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen} + } + , italian = [Le]{Conclusioni}[Le]{Conclusioni} + , portuguese = [As]{Conclusões}[As]{Conclusões} + , brazilian = [As]{Conclusões}[As]{Conclusões} + , spanish = [Las]{Conclusiones}[Las]{Conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Выводы}{Выводы} + } + } + +\NameTheorem { conjectures } + { + , heading = { + , english = Conjectures + , french = Conjectures + , ngerman = Vermutungen + , italian = Congetture + , portuguese = Conjeturas + , brazilian = Conjecturas + , spanish = Conjeturas + , schinese = 猜想 + , tchinese = 猜想 + , japanese = 予想 + , russian = Гипотезы + } + , crefname = { + , english = {Conjectures}{Conjectures} + , french = [les]{Conjectures}[les]{Conjectures} + , ngerman = { {Vermutungen}{Vermutungen} + , Nominativ = [die]{Vermutungen}[die]{Vermutungen} + , Genitiv = [der]{Vermutungen}[der]{Vermutungen} + , Dativ = [den]{Vermutungen}[den]{Vermutungen} + , Akkusativ = [die]{Vermutungen}[die]{Vermutungen} + } + , italian = [le]{Congetture}[le]{Congetture} + , portuguese = [as]{Conjeturas}[as]{Conjeturas} + , brazilian = [as]{Conjecturas}[as]{Conjecturas} + , spanish = [las]{Conjeturas}[las]{Conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотезы}{Гипотезы} + } + , Crefname = { + , english = {Conjectures}{Conjectures} + , french = [Les]{Conjectures}[Les]{Conjectures} + , ngerman = { {Vermutungen}{Vermutungen} + , Nominativ = [Die]{Vermutungen}[Die]{Vermutungen} + , Genitiv = [Der]{Vermutungen}[Der]{Vermutungen} + , Dativ = [Den]{Vermutungen}[Den]{Vermutungen} + , Akkusativ = [Die]{Vermutungen}[Die]{Vermutungen} + } + , italian = [Le]{Congetture}[Le]{Congetture} + , portuguese = [As]{Conjeturas}[As]{Conjeturas} + , brazilian = [As]{Conjecturas}[As]{Conjecturas} + , spanish = [Las]{Conjeturas}[Las]{Conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотезы}{Гипотезы} + } + } + +\NameTheorem { constructions } + { + , heading = { + , english = Constructions + , french = Constructions + , ngerman = Konstruktionen + , italian = Costruzioni + , portuguese = Construções + , brazilian = Construções + , spanish = Construcciones + , schinese = 构造 + , tchinese = 構造 + , japanese = 構造 + , russian = Конструкции + } + , crefname = { + , english = {Constructions}{Constructions} + , french = [les]{Constructions}[les]{Constructions} + , ngerman = { {Konstruktionen}{Konstruktionen} + , Nominativ = [die]{Konstruktionen}[die]{Konstruktionen} + , Genitiv = [der]{Konstruktionen}[der]{Konstruktionen} + , Dativ = [den]{Konstruktionen}[den]{Konstruktionen} + , Akkusativ = [die]{Konstruktionen}[die]{Konstruktionen} + } + , italian = [le]{Costruzioni}[le]{Costruzioni} + , portuguese = [as]{Construções}[as]{Construções} + , brazilian = [as]{Construções}[as]{Construções} + , spanish = [las]{Construcciones}[las]{Construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {Конструкции}{Конструкции} + } + , Crefname = { + , english = {Constructions}{Constructions} + , french = [Les]{Constructions}[Les]{Constructions} + , ngerman = { {Konstruktionen}{Konstruktionen} + , Nominativ = [Die]{Konstruktionen}[Die]{Konstruktionen} + , Genitiv = [Der]{Konstruktionen}[Der]{Konstruktionen} + , Dativ = [Den]{Konstruktionen}[Den]{Konstruktionen} + , Akkusativ = [Die]{Konstruktionen}[Die]{Konstruktionen} + } + , italian = [Le]{Costruzioni}[Le]{Costruzioni} + , portuguese = [As]{Construções}[As]{Construções} + , brazilian = [As]{Construções}[As]{Construções} + , spanish = [Las]{Construcciones}[Las]{Construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {Конструкции}{Конструкции} + } + } + +\NameTheorem { conventions } + { + , heading = { + , english = Conventions + , french = Conventions + , ngerman = Konventionen + , italian = Convenzioni + , portuguese = Convenções + , brazilian = Convenções + , spanish = Convenciones + , schinese = 约定 + , tchinese = 約定 + , japanese = 慣例 + , russian = Конвенции + } + , crefname = { + , english = {Conventions}{Conventions} + , french = [les]{Conventions}[les]{Conventions} + , ngerman = { {Konventionen}{Konventionen} + , Nominativ = [die]{Konventionen}[die]{Konventionen} + , Genitiv = [der]{Konventionen}[der]{Konventionen} + , Dativ = [den]{Konventionen}[den]{Konventionen} + , Akkusativ = [die]{Konventionen}[die]{Konventionen} + } + , italian = [le]{Convenzioni}[le]{Convenzioni} + , portuguese = [as]{Convenções}[as]{Convenções} + , brazilian = [as]{Convenções}[as]{Convenções} + , spanish = [las]{Convenciones}[las]{Convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенции}{Конвенции} + } + , Crefname = { + , english = {Conventions}{Conventions} + , french = [Les]{Conventions}[Les]{Conventions} + , ngerman = { {Konventionen}{Konventionen} + , Nominativ = [Die]{Konventionen}[Die]{Konventionen} + , Genitiv = [Der]{Konventionen}[Der]{Konventionen} + , Dativ = [Den]{Konventionen}[Den]{Konventionen} + , Akkusativ = [Die]{Konventionen}[Die]{Konventionen} + } + , italian = [Le]{Convenzioni}[Le]{Convenzioni} + , portuguese = [As]{Convenções}[As]{Convenções} + , brazilian = [As]{Convenções}[As]{Convenções} + , spanish = [Las]{Convenciones}[Las]{Convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенции}{Конвенции} + } + } + +\NameTheorem { corollaries } + { + , heading = { + , english = Corollaries + , french = Corollaires + , ngerman = Korollare + , italian = Corollari + , portuguese = Corolários + , brazilian = Corolários + , spanish = Corolarios + , schinese = 推论 + , tchinese = 推論 + , japanese = 系 + , russian = Следствия + } + , crefname = { + , english = {Corollaries}{Corollaries} + , french = [les]{Corollaires}[les]{Corollaires} + , ngerman = { {Korollare}{Korollare} + , Nominativ = [die]{Korollare}[die]{Korollare} + , Genitiv = [der]{Korollare}[der]{Korollare} + , Dativ = [den]{Korollaren}[den]{Korollaren} + , Akkusativ = [die]{Korollare}[die]{Korollare} + } + , italian = [i]{Corollari}[i]{Corollari} + , portuguese = [os]{Corolários}[os]{Corolários} + , brazilian = [os]{Corolários}[os]{Corolários} + , spanish = [los]{Corolarios}[los]{Corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствия}{Следствия} + } + , Crefname = { + , english = {Corollaries}{Corollaries} + , french = [Les]{Corollaires}[Les]{Corollaires} + , ngerman = { {Korollare}{Korollare} + , Nominativ = [Die]{Korollare}[Die]{Korollare} + , Genitiv = [Der]{Korollare}[Der]{Korollare} + , Dativ = [Den]{Korollaren}[Den]{Korollaren} + , Akkusativ = [Die]{Korollare}[Die]{Korollare} + } + , italian = [I]{Corollari}[I]{Corollari} + , portuguese = [Os]{Corolários}[Os]{Corolários} + , brazilian = [Os]{Corolários}[Os]{Corolários} + , spanish = [Los]{Corolarios}[Los]{Corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствия}{Следствия} + } + } + +\NameTheorem { definitions } + { + , heading = { + , english = Definitions + , french = Définitions + , ngerman = Definitionen + , italian = Definizioni + , portuguese = Definições + , brazilian = Definições + , spanish = Definiciones + , schinese = 定义 + , tchinese = 定義 + , japanese = 定義 + , russian = Определения + } + , crefname = { + , english = {Definitions}{Definitions} + , french = [les]{Définitions}[les]{Définitions} + , ngerman = { {Definitionen}{Definitionen} + , Nominativ = [die]{Definitionen}[die]{Definitionen} + , Genitiv = [der]{Definitionen}[der]{Definitionen} + , Dativ = [den]{Definitionen}[den]{Definitionen} + , Akkusativ = [die]{Definitionen}[die]{Definitionen} + } + , italian = [le]{Definizioni}[le]{Definizioni} + , portuguese = [as]{Definições}[as]{Definições} + , brazilian = [as]{Definições}[as]{Definições} + , spanish = [las]{Definiciones}[las]{Definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определения}{Определения} + } + , Crefname = { + , english = {Definitions}{Definitions} + , french = [Les]{Définitions}[Les]{Définitions} + , ngerman = { {Definitionen}{Definitionen} + , Nominativ = [Die]{Definitionen}[Die]{Definitionen} + , Genitiv = [Der]{Definitionen}[Der]{Definitionen} + , Dativ = [Den]{Definitionen}[Den]{Definitionen} + , Akkusativ = [Die]{Definitionen}[Die]{Definitionen} + } + , italian = [Le]{Definizioni}[Le]{Definizioni} + , portuguese = [As]{Definições}[As]{Definições} + , brazilian = [As]{Definições}[As]{Definições} + , spanish = [Las]{Definiciones}[Las]{Definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определения}{Определения} + } + } + +\NameTheorem { examples } + { + , heading = { + , english = Examples + , french = Exemples + , ngerman = Beispiele + , italian = Esempi + , portuguese = Exemplos + , brazilian = Exemplos + , spanish = Ejemplos + , schinese = 例 + , tchinese = 例 + , japanese = 例 + , russian = Примеры + } + , crefname = { + , english = {Examples}{Examples} + , french = [les]{Exemples}[les]{Exemples} + , ngerman = { {Beispiele}{Beispiele} + , Nominativ = [die]{Beispiele}[die]{Beispiele} + , Genitiv = [der]{Beispiele}[der]{Beispiele} + , Dativ = [den]{Beispielen}[den]{Beispielen} + , Akkusativ = [die]{Beispiele}[die]{Beispiele} + } + , italian = [gli]{Esempi}[gli]{Esempi} + , portuguese = [os]{Exemplos}[os]{Exemplos} + , brazilian = [os]{Exemplos}[os]{Exemplos} + , spanish = [los]{Ejemplos}[los]{Ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Примеры}{Примеры} + } + , Crefname = { + , english = {Examples}{Examples} + , french = [Les]{Exemples}[Les]{Exemples} + , ngerman = { {Beispiele}{Beispiele} + , Nominativ = [Die]{Beispiele}[Die]{Beispiele} + , Genitiv = [Der]{Beispiele}[Der]{Beispiele} + , Dativ = [Den]{Beispielen}[Den]{Beispielen} + , Akkusativ = [Die]{Beispiele}[Die]{Beispiele} + } + , italian = [Gli]{Esempi}[Gli]{Esempi} + , portuguese = [Os]{Exemplos}[Os]{Exemplos} + , brazilian = [Os]{Exemplos}[Os]{Exemplos} + , spanish = [Los]{Ejemplos}[Los]{Ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Примеры}{Примеры} + } + } + +\NameTheorem { exercises } + { + , heading = { + , english = Exercises + , french = Exercices + , ngerman = ÜBungen + , italian = Esercizi + , portuguese = Exercícios + , brazilian = Exercícios + , spanish = Ejercicios + , schinese = 习题 + , tchinese = 習題 + , japanese = 練習 + , russian = Упражнения + } + , crefname = { + , english = {Exercises}{Exercises} + , french = [les]{Exercices}[les]{Exercices} + , ngerman = { {Übungen}{Übungen} + , Nominativ = [die]{Übungen}[die]{Übungen} + , Genitiv = [der]{Übungen}[der]{Übungen} + , Dativ = [den]{Übungen}[den]{Übungen} + , Akkusativ = [die]{Übungen}[die]{Übungen} + } + , italian = [gli]{Esercizi}[gli]{Esercizi} + , portuguese = [os]{Exercícios}[os]{Exercícios} + , brazilian = [os]{Exercícios}[os]{Exercícios} + , spanish = [los]{Ejercicios}[los]{Ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {Упражнения}{Упражнения} + } + , Crefname = { + , english = {Exercises}{Exercises} + , french = [Les]{Exercices}[Les]{Exercices} + , ngerman = { {Übungen}{Übungen} + , Nominativ = [Die]{Übungen}[Die]{Übungen} + , Genitiv = [Der]{Übungen}[Der]{Übungen} + , Dativ = [Den]{Übungen}[Den]{Übungen} + , Akkusativ = [Die]{Übungen}[Die]{Übungen} + } + , italian = [Gli]{Esercizi}[Gli]{Esercizi} + , portuguese = [Os]{Exercícios}[Os]{Exercícios} + , brazilian = [Os]{Exercícios}[Os]{Exercícios} + , spanish = [Los]{Ejercicios}[Los]{Ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {Упражнения}{Упражнения} + } + } + +\NameTheorem { facts } + { + , heading = { + , english = Facts + , french = Faits + , ngerman = Tatsachen + , italian = Fatti + , portuguese = Factos + , brazilian = Fatos + , spanish = Hechos + , schinese = 事实 + , tchinese = 事實 + , japanese = 事実 + , russian = Факты + } + , crefname = { + , english = {Facts}{Facts} + , french = [les]{Faits}[les]{Faits} + , ngerman = { {Tatsachen}{Tatsachen} + , Nominativ = [die]{Tatsachen}[die]{Tatsachen} + , Genitiv = [der]{Tatsachen}[der]{Tatsachen} + , Dativ = [den]{Tatsachen}[den]{Tatsachen} + , Akkusativ = [die]{Tatsachen}[die]{Tatsachen} + } + , italian = [i]{Fatti}[i]{Fatti} + , portuguese = [os]{Factos}[os]{Factos} + , brazilian = [os]{Fatos}[os]{Fatos} + , spanish = [los]{Hechos}[los]{Hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факты}{Факты} + } + , Crefname = { + , english = {Facts}{Facts} + , french = [Les]{Faits}[Les]{Faits} + , ngerman = { {Tatsachen}{Tatsachen} + , Nominativ = [Die]{Tatsachen}[Die]{Tatsachen} + , Genitiv = [Der]{Tatsachen}[Der]{Tatsachen} + , Dativ = [Den]{Tatsachen}[Den]{Tatsachen} + , Akkusativ = [Die]{Tatsachen}[Die]{Tatsachen} + } + , italian = [I]{Fatti}[I]{Fatti} + , portuguese = [Os]{Factos}[Os]{Factos} + , brazilian = [Os]{Fatos}[Os]{Fatos} + , spanish = [Los]{Hechos}[Los]{Hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факты}{Факты} + } + } + +\NameTheorem { hypotheses } + { + , heading = { + , english = Hypotheses + , french = Hypothèses + , ngerman = Hypothesen + , italian = Ipotesi + , portuguese = Hipóteses + , brazilian = Hipóteses + , spanish = Hipótesis + , schinese = 假设 + , tchinese = 假設 + , japanese = 仮設 + , russian = Гипотезы + } + , crefname = { + , english = {Hypotheses}{Hypotheses} + , french = [les]{Hypothèses}[les]{Hypothèses} + , ngerman = { {Hypothesen}{Hypothesen} + , Nominativ = [die]{Hypothesen}[die]{Hypothesen} + , Genitiv = [der]{Hypothesen}[der]{Hypothesen} + , Dativ = [den]{Hypothesen}[den]{Hypothesen} + , Akkusativ = [die]{Hypothesen}[die]{Hypothesen} + } + , italian = [le]{Ipotesi}[le]{Ipotesi} + , portuguese = [as]{Hipóteses}[as]{Hipóteses} + , brazilian = [as]{Hipóteses}[as]{Hipóteses} + , spanish = [las]{Hipótesis}[las]{Hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотезы}{Гипотезы} + } + , Crefname = { + , english = {Hypotheses}{Hypotheses} + , french = [Les]{Hypothèses}[Les]{Hypothèses} + , ngerman = { {Hypothesen}{Hypothesen} + , Nominativ = [Die]{Hypothesen}[Die]{Hypothesen} + , Genitiv = [Der]{Hypothesen}[Der]{Hypothesen} + , Dativ = [Den]{Hypothesen}[Den]{Hypothesen} + , Akkusativ = [Die]{Hypothesen}[Die]{Hypothesen} + } + , italian = [Le]{Ipotesi}[Le]{Ipotesi} + , portuguese = [As]{Hipóteses}[As]{Hipóteses} + , brazilian = [As]{Hipóteses}[As]{Hipóteses} + , spanish = [Las]{Hipótesis}[Las]{Hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотезы}{Гипотезы} + } + } + +\NameTheorem { lemmas } + { + , heading = { + , english = Lemmas + , french = Lemmes + , ngerman = Lemmata + , italian = Lemmi + , portuguese = Lemas + , brazilian = Lemas + , spanish = Lemas + , schinese = 引理 + , tchinese = 引理 + , japanese = 補題 + , russian = Леммы + } + , crefname = { + , english = {Lemmas}{Lemmas} + , french = [les]{Lemmes}[les]{Lemmes} + , ngerman = { {Lemmata}{Lemmata} + , Nominativ = [die]{Lemmata}[die]{Lemmata} + , Genitiv = [der]{Lemmata}[der]{Lemmata} + , Dativ = [den]{Lemmata}[den]{Lemmata} + , Akkusativ = [die]{Lemmata}[die]{Lemmata} + } + , italian = [i]{Lemmi}[i]{Lemmi} + , portuguese = [os]{Lemas}[os]{Lemas} + , brazilian = [os]{Lemas}[os]{Lemas} + , spanish = [las]{Lemas}[las]{Lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Леммы}{Леммы} + } + , Crefname = { + , english = {Lemmas}{Lemmas} + , french = [Les]{Lemmes}[Les]{Lemmes} + , ngerman = { {Lemmata}{Lemmata} + , Nominativ = [Die]{Lemmata}[Die]{Lemmata} + , Genitiv = [Der]{Lemmata}[Der]{Lemmata} + , Dativ = [Den]{Lemmata}[Den]{Lemmata} + , Akkusativ = [Die]{Lemmata}[Die]{Lemmata} + } + , italian = [I]{Lemmi}[I]{Lemmi} + , portuguese = [Os]{Lemas}[Os]{Lemas} + , brazilian = [Os]{Lemas}[Os]{Lemas} + , spanish = [las]{Lemas}[las]{Lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Леммы}{Леммы} + } + } + +\NameTheorem { motivations } + { + , heading = { + , english = Motivations + , french = Motivations + , ngerman = Motivationen + , italian = Motivazioni + , portuguese = Motivações + , brazilian = Motivações + , spanish = Motivaciones + , schinese = 动机 + , tchinese = 動機 + , japanese = 動機 + , russian = Мотивации + } + , crefname = { + , english = {Motivations}{Motivations} + , french = [les]{Motivations}[les]{Motivations} + , ngerman = { {Motivationen}{Motivationen} + , Nominativ = [die]{Motivationen}[die]{Motivationen} + , Genitiv = [der]{Motivationen}[der]{Motivationen} + , Dativ = [den]{Motivationen}[den]{Motivationen} + , Akkusativ = [die]{Motivationen}[die]{Motivationen} + } + , italian = [le]{Motivazioni}[le]{Motivazioni} + , portuguese = [as]{Motivações}[as]{Motivações} + , brazilian = [as]{Motivações}[as]{Motivações} + , spanish = [las]{Motivaciones}[las]{Motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивации}{Мотивации} + } + , Crefname = { + , english = {Motivations}{Motivations} + , french = [Les]{Motivations}[Les]{Motivations} + , ngerman = { {Motivationen}{Motivationen} + , Nominativ = [Die]{Motivationen}[Die]{Motivationen} + , Genitiv = [Der]{Motivationen}[Der]{Motivationen} + , Dativ = [Den]{Motivationen}[Den]{Motivationen} + , Akkusativ = [Die]{Motivationen}[Die]{Motivationen} + } + , italian = [Le]{Motivazioni}[Le]{Motivazioni} + , portuguese = [As]{Motivações}[As]{Motivações} + , brazilian = [As]{Motivações}[As]{Motivações} + , spanish = [Las]{Motivaciones}[Las]{Motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивации}{Мотивации} + } + } + +\NameTheorem { notations } + { + , heading = { + , english = Notations + , french = Notations + , ngerman = Notationen + , italian = Notazioni + , portuguese = Notações + , brazilian = Notações + , spanish = Notaciones + , schinese = 记号 + , tchinese = 記號 + , japanese = 記法 + , russian = Нотации + } + , crefname = { + , english = {Notations}{Notations} + , french = [les]{Notations}[les]{Notations} + , ngerman = { {Notationen}{Notationen} + , Nominativ = [die]{Notationen}[die]{Notationen} + , Genitiv = [der]{Notationen}[der]{Notationen} + , Dativ = [den]{Notationen}[den]{Notationen} + , Akkusativ = [die]{Notationen}[die]{Notationen} + } + , italian = [le]{Notazioni}[le]{Notazioni} + , portuguese = [as]{Notações}[as]{Notações} + , brazilian = [as]{Notações}[as]{Notações} + , spanish = [las]{Notaciones}[las]{Notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотации}{Нотации} + } + , Crefname = { + , english = {Notations}{Notations} + , french = [Les]{Notations}[Les]{Notations} + , ngerman = { {Notationen}{Notationen} + , Nominativ = [Die]{Notationen}[Die]{Notationen} + , Genitiv = [Der]{Notationen}[Der]{Notationen} + , Dativ = [Den]{Notationen}[Den]{Notationen} + , Akkusativ = [Die]{Notationen}[Die]{Notationen} + } + , italian = [Le]{Notazioni}[Le]{Notazioni} + , portuguese = [As]{Notações}[As]{Notações} + , brazilian = [As]{Notações}[As]{Notações} + , spanish = [Las]{Notaciones}[Las]{Notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотации}{Нотации} + } + } + +\NameTheorem { observations } + { + , heading = { + , english = Observations + , french = Observations + , ngerman = Beobachtungen + , italian = Osservazioni + , portuguese = Observações + , brazilian = Observações + , spanish = Observaciones + , schinese = 观察 + , tchinese = 觀察 + , japanese = 観察 + , russian = Наблюдения + } + , crefname = { + , english = {Observations}{Observations} + , french = [les]{Observations}[les]{Observations} + , ngerman = { {Beobachtungen}{Beobachtungen} + , Nominativ = [die]{Beobachtungen}[die]{Beobachtungen} + , Genitiv = [der]{Beobachtungen}[der]{Beobachtungen} + , Dativ = [den]{Beobachtungen}[den]{Beobachtungen} + , Akkusativ = [die]{Beobachtungen}[die]{Beobachtungen} + } + , italian = [le]{Osservazioni}[le]{Osservazioni} + , portuguese = [as]{Observações}[as]{Observações} + , brazilian = [as]{Observações}[as]{Observações} + , spanish = [las]{Observaciones}[las]{Observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдения}{Наблюдения} + } + , Crefname = { + , english = {Observations}{Observations} + , french = [Les]{Observations}[Les]{Observations} + , ngerman = { {Beobachtungen}{Beobachtungen} + , Nominativ = [Die]{Beobachtungen}[Die]{Beobachtungen} + , Genitiv = [Der]{Beobachtungen}[Der]{Beobachtungen} + , Dativ = [Den]{Beobachtungen}[Den]{Beobachtungen} + , Akkusativ = [Die]{Beobachtungen}[Die]{Beobachtungen} + } + , italian = [Le]{Osservazioni}[Le]{Osservazioni} + , portuguese = [As]{Observações}[As]{Observações} + , brazilian = [As]{Observações}[As]{Observações} + , spanish = [Las]{Observaciones}[Las]{Observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдения}{Наблюдения} + } + } + +\NameTheorem { postulates } + { + , heading = { + , english = Postulates + , french = Postulats + , ngerman = Postulate + , italian = Postulati + , portuguese = Postulados + , brazilian = Postulados + , spanish = Postulados + , schinese = 公设 + , tchinese = 公設 + , japanese = 公準 + , russian = Постулаты + } + , crefname = { + , english = {Postulates}{Postulates} + , french = [les]{Postulats}[les]{Postulats} + , ngerman = { {Postulate}{Postulate} + , Nominativ = [die]{Postulate}[die]{Postulate} + , Genitiv = [der]{Postulate}[der]{Postulate} + , Dativ = [den]{Postulaten}[den]{Postulaten} + , Akkusativ = [die]{Postulate}[die]{Postulate} + } + , italian = [i]{Postulati}[i]{Postulati} + , portuguese = [os]{Postulados}[os]{Postulados} + , brazilian = [os]{Postulados}[os]{Postulados} + , spanish = [los]{Postulados}[los]{Postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулаты}{Постулаты} + } + , Crefname = { + , english = {Postulates}{Postulates} + , french = [Les]{Postulats}[Les]{Postulats} + , ngerman = { {Postulate}{Postulate} + , Nominativ = [Die]{Postulate}[Die]{Postulate} + , Genitiv = [Der]{Postulate}[Der]{Postulate} + , Dativ = [Den]{Postulaten}[Den]{Postulaten} + , Akkusativ = [Die]{Postulate}[Die]{Postulate} + } + , italian = [I]{Postulati}[I]{Postulati} + , portuguese = [Os]{Postulados}[Os]{Postulados} + , brazilian = [Os]{Postulados}[Os]{Postulados} + , spanish = [Los]{Postulados}[Los]{Postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулаты}{Постулаты} + } + } + +\NameTheorem { problems } + { + , heading = { + , english = Problems + , french = Problèmes + , ngerman = Probleme + , italian = Problemi + , portuguese = Problemas + , brazilian = Problemas + , spanish = Problemas + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Проблемы + } + , crefname = { + , english = {Problems}{Problems} + , french = [les]{Problèmes}[les]{Problèmes} + , ngerman = { {Probleme}{Probleme} + , Nominativ = [die]{Probleme}[die]{Probleme} + , Genitiv = [der]{Probleme}[der]{Probleme} + , Dativ = [den]{Problemen}[den]{Problemen} + , Akkusativ = [die]{Probleme}[die]{Probleme} + } + , italian = [i]{Problemi}[i]{Problemi} + , portuguese = [os]{Problemas}[os]{Problemas} + , brazilian = [os]{Problemas}[os]{Problemas} + , spanish = [los]{Problemas}[los]{Problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблемы}{Проблемы} + } + , Crefname = { + , english = {Problems}{Problems} + , french = [Les]{Problèmes}[Les]{Problèmes} + , ngerman = { {Probleme}{Probleme} + , Nominativ = [Die]{Probleme}[Die]{Probleme} + , Genitiv = [Der]{Probleme}[Der]{Probleme} + , Dativ = [Den]{Problemen}[Den]{Problemen} + , Akkusativ = [Die]{Probleme}[Die]{Probleme} + } + , italian = [I]{Problemi}[I]{Problemi} + , portuguese = [Os]{Problemas}[Os]{Problemas} + , brazilian = [Os]{Problemas}[Os]{Problemas} + , spanish = [Los]{Problemas}[Los]{Problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблемы}{Проблемы} + } + } + +\NameTheorem { properties } + { + , heading = { + , english = Properties + , french = Propriétés + , ngerman = Eigenschaften + , italian = Proprietà + , portuguese = Propriedades + , brazilian = Propriedades + , spanish = Propiedades + , schinese = 性质 + , tchinese = 性質 + , japanese = 性質 + , russian = Имущества + } + , crefname = { + , english = {Properties}{Properties} + , french = [les]{Propriétés}[les]{Propriétés} + , ngerman = { {Eigenschaften}{Eigenschaften} + , Nominativ = [die]{Eigenschaften}[die]{Eigenschaften} + , Genitiv = [der]{Eigenschaften}[der]{Eigenschaften} + , Dativ = [den]{Eigenschaften}[den]{Eigenschaften} + , Akkusativ = [die]{Eigenschaften}[die]{Eigenschaften} + } + , italian = [le]{Proprietà}[le]{Proprietà} + , portuguese = [as]{Propriedades}[as]{Propriedades} + , brazilian = [as]{Propriedades}[as]{Propriedades} + , spanish = [las]{Propiedades}[las]{Propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущества}{Имущества} + } + , Crefname = { + , english = {Properties}{Properties} + , french = [Les]{Propriétés}[Les]{Propriétés} + , ngerman = { {Eigenschaften}{Eigenschaften} + , Nominativ = [Die]{Eigenschaften}[Die]{Eigenschaften} + , Genitiv = [Der]{Eigenschaften}[Der]{Eigenschaften} + , Dativ = [Den]{Eigenschaften}[Den]{Eigenschaften} + , Akkusativ = [Die]{Eigenschaften}[Die]{Eigenschaften} + } + , italian = [Le]{Proprietà}[Le]{Proprietà} + , portuguese = [As]{Propriedades}[As]{Propriedades} + , brazilian = [As]{Propriedades}[As]{Propriedades} + , spanish = [Las]{Propiedades}[Las]{Propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущества}{Имущества} + } + } + +\NameTheorem { propositions } + { + , heading = { + , english = Propositions + , french = Propositions + , ngerman = Propositionen + , italian = Proposte + , portuguese = Proposições + , brazilian = Proposições + , spanish = Proposiciones + , schinese = 命题 + , tchinese = 命題 + , japanese = 命題 + , russian = Предложения + } + , crefname = { + , english = {Propositions}{Propositions} + , french = [les]{Propositions}[les]{Propositions} + , ngerman = { {Propositionen}{Propositionen} + , Nominativ = [die]{Propositionen}[die]{Propositionen} + , Genitiv = [der]{Propositionen}[der]{Propositionen} + , Dativ = [den]{Propositionen}[den]{Propositionen} + , Akkusativ = [die]{Propositionen}[die]{Propositionen} + } + , italian = [le]{Proposte}[le]{Proposte} + , portuguese = [as]{Proposições}[as]{Proposições} + , brazilian = [as]{Proposições}[as]{Proposições} + , spanish = [las]{Proposiciones}[las]{Proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложения}{Предложения} + } + , Crefname = { + , english = {Propositions}{Propositions} + , french = [Les]{Propositions}[Les]{Propositions} + , ngerman = { {Propositionen}{Propositionen} + , Nominativ = [Die]{Propositionen}[Die]{Propositionen} + , Genitiv = [Der]{Propositionen}[Der]{Propositionen} + , Dativ = [Den]{Propositionen}[Den]{Propositionen} + , Akkusativ = [Die]{Propositionen}[Die]{Propositionen} + } + , italian = [Le]{Proposte}[Le]{Proposte} + , portuguese = [As]{Proposições}[As]{Proposições} + , brazilian = [As]{Proposições}[As]{Proposições} + , spanish = [Las]{Proposiciones}[Las]{Proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложения}{Предложения} + } + } + +\NameTheorem { questions } + { + , heading = { + , english = Questions + , french = Questions + , ngerman = Fragen + , italian = Domande + , portuguese = Perguntas + , brazilian = Perguntas + , spanish = Preguntas + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Вопросы + } + , crefname = { + , english = {Questions}{Questions} + , french = [les]{Questions}[les]{Questions} + , ngerman = { {Fragen}{Fragen} + , Nominativ = [die]{Fragen}[die]{Fragen} + , Genitiv = [der]{Fragen}[der]{Fragen} + , Dativ = [den]{Fragen}[den]{Fragen} + , Akkusativ = [die]{Fragen}[die]{Fragen} + } + , italian = [le]{Domande}[le]{Domande} + , portuguese = [as]{Perguntas}[as]{Perguntas} + , brazilian = [as]{Perguntas}[as]{Perguntas} + , spanish = [las]{Preguntas}[las]{Preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопросы}{Вопросы} + } + , Crefname = { + , english = {Questions}{Questions} + , french = [Les]{Questions}[Les]{Questions} + , ngerman = { {Fragen}{Fragen} + , Nominativ = [Die]{Fragen}[Die]{Fragen} + , Genitiv = [Der]{Fragen}[Der]{Fragen} + , Dativ = [Den]{Fragen}[Den]{Fragen} + , Akkusativ = [Die]{Fragen}[Die]{Fragen} + } + , italian = [Le]{Domande}[Le]{Domande} + , portuguese = [As]{Perguntas}[As]{Perguntas} + , brazilian = [As]{Perguntas}[As]{Perguntas} + , spanish = [Las]{Preguntas}[Las]{Preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопросы}{Вопросы} + } + } + +\NameTheorem { recalls } + { + , heading = { + , english = Recalls + , french = Rappels + , ngerman = Erinnerungen + , italian = Richiami + , portuguese = Recordações + , brazilian = Recordações + , spanish = Recuerdos + , schinese = 回顾 + , tchinese = 回顧 + , japanese = 回顧 + , russian = Напоминания + } + , crefname = { + , english = {Recalls}{Recalls} + , french = [les]{Rappels}[les]{Rappels} + , ngerman = { {Erinnerungen}{Erinnerungen} + , Nominativ = [die]{Erinnerungen}[die]{Erinnerungen} + , Genitiv = [der]{Erinnerungen}[der]{Erinnerungen} + , Dativ = [den]{Erinnerungen}[den]{Erinnerungen} + , Akkusativ = [die]{Erinnerungen}[die]{Erinnerungen} + } + , italian = [i]{Richiami}[i]{Richiami} + , portuguese = [as]{Recordações}[as]{Recordações} + , brazilian = [as]{Recordações}[as]{Recordações} + , spanish = [los]{Recuerdos}[los]{Recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {Напоминания}{Напоминания} + } + , Crefname = { + , english = {Recalls}{Recalls} + , french = [Les]{Rappels}[Les]{Rappels} + , ngerman = { {Erinnerungen}{Erinnerungen} + , Nominativ = [Die]{Erinnerungen}[Die]{Erinnerungen} + , Genitiv = [Der]{Erinnerungen}[Der]{Erinnerungen} + , Dativ = [Den]{Erinnerungen}[Den]{Erinnerungen} + , Akkusativ = [Die]{Erinnerungen}[Die]{Erinnerungen} + } + , italian = [I]{Richiami}[I]{Richiami} + , portuguese = [As]{Recordações}[As]{Recordações} + , brazilian = [As]{Recordações}[As]{Recordações} + , spanish = [Los]{Recuerdos}[Los]{Recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {Напоминания}{Напоминания} + } + } + +\NameTheorem { remarks } + { + , heading = { + , english = Remarks + , french = Remarques + , ngerman = Bemerkungen + , italian = Commenti + , portuguese = Comentários + , brazilian = Comentários + , spanish = Comentarios + , schinese = 备注 + , tchinese = 備註 + , japanese = 注釈 + , russian = Замечания + } + , crefname = { + , english = {Remarks}{Remarks} + , french = [les]{Remarques}[les]{Remarques} + , ngerman = { {Bemerkungen}{Bemerkungen} + , Nominativ = [die]{Bemerkungen}[die]{Bemerkungen} + , Genitiv = [der]{Bemerkungen}[der]{Bemerkungen} + , Dativ = [den]{Bemerkungen}[den]{Bemerkungen} + , Akkusativ = [die]{Bemerkungen}[die]{Bemerkungen} + } + , italian = [i]{Commenti}[i]{Commenti} + , portuguese = [os]{Comentários}[os]{Comentários} + , brazilian = [os]{Comentários}[os]{Comentários} + , spanish = [los]{Comentarios}[los]{Comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечания}{Замечания} + } + , Crefname = { + , english = {Remarks}{Remarks} + , french = [Les]{Remarques}[Les]{Remarques} + , ngerman = { {Bemerkungen}{Bemerkungen} + , Nominativ = [Die]{Bemerkungen}[Die]{Bemerkungen} + , Genitiv = [Der]{Bemerkungen}[Der]{Bemerkungen} + , Dativ = [Den]{Bemerkungen}[Den]{Bemerkungen} + , Akkusativ = [Die]{Bemerkungen}[Die]{Bemerkungen} + } + , italian = [I]{Commenti}[I]{Commenti} + , portuguese = [Os]{Comentários}[Os]{Comentários} + , brazilian = [Os]{Comentários}[Os]{Comentários} + , spanish = [Los]{Comentarios}[Los]{Comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечания}{Замечания} + } + } + +\NameTheorem { theorems } + { + , heading = { + , english = Theorems + , french = Théorèmes + , ngerman = Sätze + , italian = Teoremi + , portuguese = Teoremas + , brazilian = Teoremas + , spanish = Teoremas + , schinese = 定理 + , tchinese = 定理 + , japanese = 定理 + , russian = Теоремы + } + , crefname = { + , english = {Theorems}{Theorems} + , french = [les]{Théorèmes}[les]{Théorèmes} + , ngerman = { {Sätze}{Sätze} + , Nominativ = [die]{Sätze}[die]{Sätze} + , Genitiv = [der]{Sätze}[der]{Sätze} + , Dativ = [den]{Sätzen}[den]{Sätzen} + , Akkusativ = [die]{Sätze}[die]{Sätze} + } + , italian = [i]{Teoremi}[i]{Teoremi} + , portuguese = [os]{Teoremas}[os]{Teoremas} + , brazilian = [os]{Teoremas}[os]{Teoremas} + , spanish = [los]{Teoremas}[los]{Teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теоремы}{Теоремы} + } + , Crefname = { + , english = {Theorems}{Theorems} + , french = [Les]{Théorèmes}[Les]{Théorèmes} + , ngerman = { {Sätze}{Sätze} + , Nominativ = [Die]{Sätze}[Die]{Sätze} + , Genitiv = [Der]{Sätze}[Der]{Sätze} + , Dativ = [Den]{Sätzen}[Den]{Sätzen} + , Akkusativ = [Die]{Sätze}[Die]{Sätze} + } + , italian = [I]{Teoremi}[I]{Teoremi} + , portuguese = [Os]{Teoremas}[Os]{Teoremas} + , brazilian = [Os]{Teoremas}[Os]{Teoremas} + , spanish = [Los]{Teoremas}[Los]{Teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теоремы}{Теоремы} + } + } %</projlib-theorem> % %<*projlib-titlepage> diff --git a/macros/latex/contrib/projlib/README.md b/macros/latex/contrib/projlib/README.md index f7f7c70dbe..1f231acdbc 100644 --- a/macros/latex/contrib/projlib/README.md +++ b/macros/latex/contrib/projlib/README.md @@ -5,9 +5,9 @@ # The `ProjLib` Toolkit -> **This bundle is dated 2024/02/03.** +> **This bundle is dated 2024/02/20.** -> **New documentations are still being written. For now, only the core code is included in TeX Live 2023 (old documentations have been removed from the distribution).** +> **New documentations are still being written. For now, only the core code is included in TeX Live 2024 and MiKTeX (old documentations have been removed from the distribution).** ## Introduction |