Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MathWikis@ITP"( http://dblp.L3S.de/Venues/MathWikis@ITP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/itp

Publication years (Num. hits)
2011 (12)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
MathWikis@ITP(12)
Authors
Josef Urban(2) Arnd Poetzsch-Heffter(1) Carst Tankink(1) Christoph Lange 0002(1) Hiraku Kuroda(1) James McKinna(1) Jean-Marie Gaillourdet(1) Jesse Alama(1) Joseph Corneli(1) Karsten Schmidt 0002(1) Lee Worden(1) Martin Memmel(1) Matt Westwood(1) Michael Doob(1) Neil J. A. Sloane(1) Sebastian Reichelt(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Hiraku Kuroda, Takao Namiki Wiki Authoring and Semantics of Mathematical Document Structure. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Joseph Corneli The PlanetMath Encyclopedia. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Jesse Alama Metadata for a wiki of formalized mathematics. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Neil J. A. Sloane The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years (abstract; invited talk). Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt 0002, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Lee Worden WorkingWiki: a MediaWiki-based platform for collaborative research. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Josef Urban Content-based encoding of mathematical and code libraries. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Sebastian Reichelt Ideas for a MathWiki Editor. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Doob A Linear Algebra Wiki. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Carst Tankink, James McKinna Dynamic Proof Pages. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Matt Westwood ProofWiki. Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
1Christoph Lange 0002, Josef Urban (eds.) Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011 Search on Bibsonomy MathWikis@ITP The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license