The page you linked to provides a list of all JS libraries included with WordPress. However, they are not all loaded on every page. You have to use the wp_enqueue_script function to include them, for example:
function my_scripts() {
wp_enqueue_script('jquery');
}
add_action('wp_enqueue_scripts', 'my_scripts_scripts');
The above will load jQuery on every page of your site.
The 2nd part of your question is whether you can add a script from within the html-editor. Technically I believe you can, although switching to the Visual editor may wipe out your JavaScript.
I would suggest using a plugin like this: http://wordpress.org/extend/plugins/specific-cssjs-for-posts-and-pages/screenshots/
Thanks for your reply!
So the catch is, I have to modify my theme’s header or I write my own plugin, which includes the desired libs in order to get them working. And if I update the theme, I have to patch the header again (if I haven’t got a plugin for that).
Is there no smoother way include libs. I guess, I am not the only one using jquery-code on wordpress.
The plugin for adding js and css code is great.
Well if you write your own plugin, it won’t get written over when you upgrade your theme. What I usually do is to enqueue my scripts from a functions.php file. If you upgrade your theme, just copy the modification over.