UserForm
FirstName Sebastian
LastName Koch
OrganisationName

OrganisationURL

Profession

Country Germany
State

Address

Location

Telephone

VoIP

InstantMessaging (IM)

Email

HomePage

Comment Author of ORDERS_5
Edit personal data

Articles in Progress

"Draft" means definitions/theorems etc. planned out, but without proofs.

  • LOTTERY1 - about finite lotteries (based on chapter 2 of "Game Theory" by Maschler, Solan, Zamir) [5000 lines, almost completed, work on it currently paused]
  • GLIB_006 - about supergraphs & infinite walks (as counterparts of subgraphs and finite walks) [4 A4 pages drafts, supergraphs completely drafted, infinite walks 40% drafted]
  • GLIB_007 - about special graphs (union, sum, complement, reverse graph, k-partite, clique, path, circle, star graph) and graph isomorphisms [5 A4 pages drafts, completely drafted]
  • GLIB_008 - about enumerated graphs and isomorphisms between decorated graphs [planned]
  • MIZUNIG1 - Mapping a Relation or RelStr to a _Graph and vice versa [drafting started]
  • MIZUNIG2 - Mapping a Tree to a _Graph and vice versa [planned]
  • MIZUNIG3 - Mapping a SimpleGraph to a _Graph and vice versa [planned]
  • MIZUNIG4 - Mapping a Graph to a _Graph and vice versa [planned]
  • MIZUNIG5 - about Interchangability of Graphs in MIZAR [planned]

Completed Articles

in order of submission

  • ORDERS_5 - about ordering finite sequences and quotient orders

Links

Topic revision: r4 - 2017-09-06 - 08:33:14 - SebastianKoch
UserForm
FirstName Sebastian
LastName Koch
OrganisationName

OrganisationURL

Profession

Country Germany
State

Address

Location

Telephone

VoIP

InstantMessaging (IM)

Email

HomePage

Comment Author of ORDERS_5
Topic revision: r4 - 2017-09-06 - 08:33:14 - SebastianKoch

tip TWiki Tip of the Day
Custom rendered bullets
The RenderListPlugin can render bulleted lists in a variety of different ways. Use % nop RENDERLIST ... Read on Read more

 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback