Search

Your search keyword '"Rabe F"' showing total 43 results
Start Over Author "Rabe F" Publication Type Electronic Resources
43 results on '"Rabe F"'

3. Formalizing Physics: Automation, Presentation and Foundation Issues

Author

Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Urban, J., Siddique, U., Khan-Afshar, S., Dunchev, C., Tahar, S., Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Urban, J., Siddique, U., Khan-Afshar, S., Dunchev, C., and Tahar, S.

Abstract

Item does not contain fulltext

Published
2015

4. Mizar: State-of-the-art and Beyond

Author

Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Bancerek, G., Byliński, C., Grabowski, A., Korniłowicz, A., Matuszewski, R., Naumowicz, A., Pa̧k, K., Urban, J., Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Bancerek, G., Byliński, C., Grabowski, A., Korniłowicz, A., Matuszewski, R., Naumowicz, A., Pa̧k, K., and Urban, J.

Abstract

Item does not contain fulltext

Published
2015

5. Formalizing Physics: Automation, Presentation and Foundation Issues

Author

Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Urban, J., Siddique, U., Khan-Afshar, S., Dunchev, C., Tahar, S., Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Urban, J., Siddique, U., Khan-Afshar, S., Dunchev, C., and Tahar, S.

Abstract

Item does not contain fulltext

Published
2015

6. Mizar: State-of-the-art and Beyond

Author

Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Bancerek, G., Byliński, C., Grabowski, A., Korniłowicz, A., Matuszewski, R., Naumowicz, A., Pa̧k, K., Urban, J., Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Bancerek, G., Byliński, C., Grabowski, A., Korniłowicz, A., Matuszewski, R., Naumowicz, A., Pa̧k, K., and Urban, J.

Abstract

Item does not contain fulltext

Published
2015

7. Mizar: State-of-the-art and Beyond

Author

Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Bancerek, G., Byliński, C., Grabowski, A., Korniłowicz, A., Matuszewski, R., Naumowicz, A., Pa̧k, K., Urban, J., Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V., Bancerek, G., Byliński, C., Grabowski, A., Korniłowicz, A., Matuszewski, R., Naumowicz, A., Pa̧k, K., and Urban, J.

Abstract

Item does not contain fulltext

Published
2015

12. Preface

Author

Rabe, F., Urban, J., Davenport, J., Farmer, W., Rabe, F., Urban, J., Davenport, J., and Farmer, W.

Abstract

Contains fulltext : 92216.pdf ( ) (Closed access)

Published
2011

13. Learning2Reason

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Kühlwein, D.A., Tsivtsivadze, E., Geuvers, H., Heskes, T., Davenport, J., Farmer, W., Urban, J., Rabe, F., Kühlwein, D.A., Tsivtsivadze, E., Geuvers, H., and Heskes, T.

Abstract

Contains fulltext : 91997.pdf (publisher's version ) (Closed access)

Published
2011

14. A Formalization of the C99 Standard HOL, Isabelle and Coq

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., Wiedijk, F., Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., and Wiedijk, F.

Abstract

Contains fulltext : 91482.pdf (publisher's version ) (Closed access)

Published
2011

15. Large Formal Wikis: Issues and Solutions

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Brink, K.J., Mamane, L.E., Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Brink, K.J., and Mamane, L.E.

Abstract

Contains fulltext : 91990.pdf (publisher's version ) (Closed access)

Published
2011

16. Computer Certified Efficient Exact Reals in Coq

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., Spitters, B.A.W., Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., and Spitters, B.A.W.

Abstract

Contains fulltext : 91656.pdf (preprint version ) (Closed access)

Published
2011

17. Licensing the Mizar mathematical library

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Kohlhase, M., Mamane, L.E., Naumowicz, A., Rudnicki, P., Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Kohlhase, M., Mamane, L.E., Naumowicz, A., and Rudnicki, P.

Abstract

Contains fulltext : 92003.pdf (publisher's version ) (Closed access)

Published
2011

19. Large Formal Wikis: Issues and Solutions

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Brink, K.J., Mamane, L.E., Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Brink, K.J., and Mamane, L.E.

Abstract

Contains fulltext : 91990.pdf (publisher's version ) (Closed access)

Published
2011

20. Preface

Author

Rabe, F., Urban, J., Davenport, J., Farmer, W., Rabe, F., Urban, J., Davenport, J., and Farmer, W.

Abstract

Contains fulltext : 92216.pdf ( ) (Closed access)

Published
2011

21. Computer Certified Efficient Exact Reals in Coq

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., Spitters, B.A.W., Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., and Spitters, B.A.W.

Abstract

Contains fulltext : 91656.pdf (preprint version ) (Closed access)

Published
2011

22. Learning2Reason

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Kühlwein, D.A., Tsivtsivadze, E., Geuvers, H., Heskes, T., Davenport, J., Farmer, W., Urban, J., Rabe, F., Kühlwein, D.A., Tsivtsivadze, E., Geuvers, H., and Heskes, T.

Abstract

Contains fulltext : 91997.pdf (publisher's version ) (Closed access)

Published
2011

23. A Formalization of the C99 Standard HOL, Isabelle and Coq

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., Wiedijk, F., Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., and Wiedijk, F.

Abstract

Contains fulltext : 91482.pdf (publisher's version ) (Closed access)

Published
2011

24. Licensing the Mizar mathematical library

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Kohlhase, M., Mamane, L.E., Naumowicz, A., Rudnicki, P., Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Kohlhase, M., Mamane, L.E., Naumowicz, A., and Rudnicki, P.

Abstract

Contains fulltext : 92003.pdf (publisher's version ) (Closed access)

Published
2011

25. Licensing the Mizar mathematical library

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Kohlhase, M., Mamane, L.E., Naumowicz, A., Rudnicki, P., Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Kohlhase, M., Mamane, L.E., Naumowicz, A., and Rudnicki, P.

Abstract

Contains fulltext : 92003.pdf (publisher's version ) (Closed access)

Published
2011

26. Large Formal Wikis: Issues and Solutions

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Brink, K.J., Mamane, L.E., Davenport, J., Farmer, W., Urban, J., Rabe, F., Alama, J.A., Brink, K.J., and Mamane, L.E.

Abstract

Contains fulltext : 91990.pdf (Publisher’s version ) (Closed access)

Published
2011

27. Preface

Author

Rabe, F., Urban, J., Davenport, J., Farmer, W., Rabe, F., Urban, J., Davenport, J., and Farmer, W.

Abstract

Contains fulltext : 92216.pdf ( ) (Closed access)

Published
2011

28. Computer Certified Efficient Exact Reals in Coq

Author

Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., Spitters, B.A.W., Davenport, J., Farmer, W., Urban, J., Rabe, F., Krebbers, R.J., and Spitters, B.A.W.

Abstract

Contains fulltext : 91656.pdf (preprint version ) (Closed access)

Published
2011

34. The imager for mars pathfinder (IMP) experiment

Author

Smith, P.H., Britt, D.T., Tomasko, M.G., Singer, R.B., Doose, L.R., Chinohara, C., Reynolds, R., Crowe, D.G., Reid, R., Hoppa, G., Chabot, N., Keller, H.U., Thomas, N., Koschny, D., Kramm, R., Gliem, F., Rabe, F., Rueffer, P., Sullivan, R.P., Greeley, R., Wilson, G., Knudsen, Jens Martin, Madsen, M.B., Hviid, S.F., Goetz, W., Gunnlaugsson, Haraldur Pall, Soderblom, L., Gaddis, L., Kirk, R., Ward, W., Herkenhoff, K., Smith, P.H., Britt, D.T., Tomasko, M.G., Singer, R.B., Doose, L.R., Chinohara, C., Reynolds, R., Crowe, D.G., Reid, R., Hoppa, G., Chabot, N., Keller, H.U., Thomas, N., Koschny, D., Kramm, R., Gliem, F., Rabe, F., Rueffer, P., Sullivan, R.P., Greeley, R., Wilson, G., Knudsen, Jens Martin, Madsen, M.B., Hviid, S.F., Goetz, W., Gunnlaugsson, Haraldur Pall, Soderblom, L., Gaddis, L., Kirk, R., Ward, W., and Herkenhoff, K.

Published
1997

35. The imager for mars pathfinder (IMP) experiment

Author

Smith, P.H., Britt, D.T., Tomasko, M.G., Singer, R.B., Doose, L.R., Chinohara, C., Reynolds, R., Crowe, D.G., Reid, R., Hoppa, G., Chabot, N., Keller, H.U., Thomas, N., Koschny, D., Kramm, R., Gliem, F., Rabe, F., Rueffer, P., Sullivan, R.P., Greeley, R., Wilson, G., Knudsen, Jens Martin, Madsen, M.B., Hviid, S.F., Goetz, W., Gunnlaugsson, Haraldur Pall, Soderblom, L., Gaddis, L., Kirk, R., Ward, W., Herkenhoff, K., Smith, P.H., Britt, D.T., Tomasko, M.G., Singer, R.B., Doose, L.R., Chinohara, C., Reynolds, R., Crowe, D.G., Reid, R., Hoppa, G., Chabot, N., Keller, H.U., Thomas, N., Koschny, D., Kramm, R., Gliem, F., Rabe, F., Rueffer, P., Sullivan, R.P., Greeley, R., Wilson, G., Knudsen, Jens Martin, Madsen, M.B., Hviid, S.F., Goetz, W., Gunnlaugsson, Haraldur Pall, Soderblom, L., Gaddis, L., Kirk, R., Ward, W., and Herkenhoff, K.

Published
1997

42. Publishing math lecture notes as linked data

Author

David C., Kohlhase M., Lange C., Rabe F., Zhiltsov N., Zholudev V., David C., Kohlhase M., Lange C., Rabe F., Zhiltsov N., and Zholudev V.

Abstract

We mark up a corpus of LATEX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration of our corpus with external sites. © 2010 Springer-Verlag.

43. Publishing math lecture notes as linked data

Author

David C., Kohlhase M., Lange C., Rabe F., Zhiltsov N., Zholudev V., David C., Kohlhase M., Lange C., Rabe F., Zhiltsov N., and Zholudev V.

Abstract

We mark up a corpus of LATEX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration of our corpus with external sites. © 2010 Springer-Verlag.

Catalog

Books, media, physical & digital resources
See catalog results