Tiki RSS Wiki Feed http://www.fachgruppe-computeralgebra.de/cms/tiki-wiki_rss.php?ver=2 Tue, 07 Sep 2010 20:08:51 +0100 Tiki CMS/Groupware via FeedCreator 1.7.2.1 http://www.fachgruppe-computeralgebra.de/cms/img/tiki/tikilogo.png Fachgruppe Computeralgebra http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php en-us Tagungen http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Tagungen .diffchar { color:red; } +
1.10.2010
Women in Computer Algebra, Auftaktkolloquium des Graduiertenkollegs "Experimentelle und konstruktive Algebra", Aachen

]]> Tue, 31 Aug 2010 19:37:49 +0100 Fachgruppe.Tagungen http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Fachgruppe.Tagungen .diffchar { color:red; } - Nach vielen Jahren wird die führende CA-Tagung, das International Symposium on Symbolic and Algebraic Computation (ISSAC) im Jahr 2010 wieder einmal in Deutschland stattfinden.
+ Nach vielen Jahren fand die führende CA-Tagung, das International Symposium on Symbolic and Algebraic Computation (ISSAC) im Jahr 2010 wieder einmal in Deutschland statt.
]]> Tue, 31 Aug 2010 19:29:05 +0100 Mitteilungen.Stellenangebote http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Mitteilungen.Stellenangebote .diffchar { color:red; } - Am RISC Linz sind im Rahmen des class="wiki external" href="http://www.risc.uni-linz.ac.at/research/start/description" rel="external">START-Preises für Manuel Kauersa> einige Promotionsstellen zum Thema <i>Fast Computer Algebra for Special Functionsi> zu vergeben. Deadline: 31. Januar 2010.
+

Postdoc-Stelle am RISC in Hagenberg/Linz (Österreich):

We are looking for a suitable candidate for a postdoc position on



Computer Algebra for Special Functions Inequalities. /><br />

The goal is to develop new algorithms for proving special

functions inequalities. The two main directions that we />r />intend to follow are the investigation of induction based
/>
/>proving procedures using cylindrical algebraic decomposition
/>r />and extension of classical techniques to a methodological
/>
approach. This includes applications of algorithms for symbolic

summation. />r />

The applicant should have experience in some of these topics



- special functions

>- algorithms for symbolic summation

- inequalities<br /> />- cylindrical algebraic decomposition (CAD)



and be interested in learning more about the others.<br />


This project will be carried out at the Research Institute for

Symbolic Computation (RISC)



ef="http://www.risc.jku.at">www.risc.jku.atr />


located in Hagenberg, Austria, within the group of Algorithmicr />
Combinatorics.



Potentially interested candidates are invited to contact us as soon<br /> />as possible. The position begins January 2011 and ends December 2011.



Applications including CV and letters of reference (preferably in pdf)

are to be sent to Veronika Pillwein



<noscript>vpillwei um risc.jku.at



until October 20, 2010.




]]> Tue, 31 Aug 2010 19:03:42 +0100 Fachgruppe.Leitung http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Fachgruppe.Leitung .diffchar { color:red; } - Dr. Markus Wessler
+ Prof. Dr. Markus Wessler
]]> Sun, 15 Aug 2010 17:38:01 +0100 Mitteilungen http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Mitteilungen .diffchar { color:red; } -
  • Die DFG richtet zum 1. Oktober 2010 ein Graduiertenkolleg "Experimentelle und konstruktive Algebra" an der RWTH Aachen ein. Bewerbungen für Doktorandenstellen (75% TVL 13) sind bis 30. Juli 2010 an die Sprecherin Prof. Dr. Gabriele Nebe zu richten.+
    • Die DFG richtet zum 1. Oktober 2010 ein Graduiertenkolleg "Experimentelle und konstruktive Algebra" an der RWTH Aachen ein.]]> Tue, 10 Aug 2010 14:00:56 +0100 Systeme http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Systeme .diffchar { color:red; } - Informationen: http://www.maplesoft.com/
      ]]>       Mon, 19 Jul 2010 14:39:40 +0100       Ausbildung http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Ausbildung .diffchar { color:red; } -
      - +
      + ]]>       Sat, 10 Jul 2010 10:47:49 +0100       Fachgruppe Computeralgebra http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Fachgruppe+Computeralgebra .diffchar { color:red; } - " width="75%">

      8em; font-size:20px; line-height: 24px;">Die Fachgruppe sieht es als ihre Aufgabe an, Lehre, Forschung, Entwicklung, Anwendungen, Informationsaustausch und Zusammenarbeit auf dem Gebiet der Computeralgebra in Deutschland zu fördern.
      +

      6em; font-size:16px; line-height: 22px;">Die Fachgruppe sieht es als ihre Aufgabe an, Lehre, Forschung,
      Entwicklung, Anwendungen, Informationsaustausch und Zusammenarbeit
       auf dem Gebiet der Computeralgebra in Deutschland zu fördern.
      ]]> Sat, 10 Jul 2010 10:34:28 +0100 Allgemeines http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Allgemeines .diffchar { color:red; } -
      "simplebox">Die Computeralgebra ist ein Wissenschaftsgebiet, das sich mit Methoden zum Lösen mathematisch formulierter Probleme durch symbolische Algorithmen und deren Umsetzung in Soft- und Hardware beschäftigt. Sie beruht auf der exakten endlichen Darstellung endlicher oder unendlicher mathematischer Objekte und Strukturen und ermöglicht deren symbolische und formelmäßige Behandlung durch eine Maschine. Strukturelles mathematisches Wissen wird dabei sowohl beim Entwurf als auch bei der Verifikation und Aufwandsanalyse der betreffenden Algorithmen verwendet. Die Computeralgebra kann damit wirkungsvoll eingesetzt werden bei der Lösung von mathematisch modellierten Fragestellungen in zum Teil sehr verschiedenen Gebieten der Informatik und Mathematik sowie in den Natur- und Ingenieurwissenschaften.

      +

      >
      ]]>Sat, 10 Jul 2010 10:10:18 +0100 Tagungen.CLAW-10 http://www.fachgruppe-computeralgebra.de/cms/tiki-index.php?page=Tagungen.CLAW-10 .diffchar { color:red; } -

      _http:_www.tagen_in_soest.de_tagung_">
      24.-26. September 2010, http://www.tagen-in-soest.de/tagung/

      +

      24.-26. September 2010

      - Vom 24.-26.9.2010 wird im Tagungshaus Soest die 28. Herbsttagung des GDM-Arbeitskreises Mathematikunterricht und Informatik stattfinden. Dies Tagung wird gemeinsam mit der Fachgruppe Computeralgebra als Fortsetzung der Tagungsreihe Computeralgebra in Lehre, Ausbildung und Weiterbildung organisiert. Nähere Informationen und Anmeldeformulare finden Sie demnächst auf der Homepage des Arbeitskreisesr />
      tp://didaktik-der-mathematik      .de/ak/mui/">http://didaktik-der-mathematik.de/ak/mui/
      + Vom 24.-26.9.2010 wird im Tagungshaus am Paradieser Weg in Soest die 28. Herbsttagung des GDM-Arbeitskreises Mathematikunterricht und Informatik zum Thema "Geometrie 2030" stattfinden. Die Tagung wird gemeinsam mit der Fachgruppe Computeralgebra als Fortsetzung der Tagungsreihe "Computeralgebra in Lehre, Ausbildung und Weiterbildung&quot; organisiert.
      + Hiermit laden wir Sie herzlich ein, sich an der Tagung mit eigenen Beiträgen oder auch einfach nur mit Ihrer Anwesenheit zu beteiligen. Alle weiteren Details finden Sie auf der entsprechenden Seite auf der Homepage des AK MUI unter http://didaktik-der-mathematik.de/ak/mui/tagung2010/1Aussendung2010.html
      +
      + Als Hauptvortragende werden dieses Jahr Heinz Schumann, Hannes Kaufmann und Thomas Vogt sprechen, die uns ihre Visionen, aber auch konkrete, zukunftsweisende Projekte vorstellen.
      +
      + Mit den besten Grüßen
      + Anselm Lambert und Ulrich Kortenkamp,
      + auch im Namen von Wolfgang Henn von der Fachgruppe Computeralgebra.
      +
      + PS: Wenn Sie sich für die Arbeit des AK MUI interessieren, dann schauen Sie doch mal auf http://didaktik-der-mathematik.de/ak/mui und abonnieren Sie ggf. die Mailingliste!
      ]]>       Sat, 26 Jun 2010 10:25:07 +0100
      'cbox ' style=' background:lightyellow'>
      Die Computeralgebra ist ein Wissenschaftsgebiet, das sich mit Methoden zum Lösen mathematisch formulierter Probleme durch symbolische Algorithmen und deren Umsetzung in Soft- und Hardware beschäftigt. Sie beruht auf der exakten endlichen Darstellung endlicher oder unendlicher mathematischer Objekte und Strukturen und ermöglicht deren symbolische und formelmäßige Behandlung durch eine Maschine. Strukturelles mathematisches Wissen wird dabei sowohl beim Entwurf als auch bei der Verifikation und Aufwandsanalyse der betreffenden Algorithmen verwendet. Die Computeralgebra kann damit wirkungsvoll eingesetzt werden bei der Lösung von mathematisch modellierten Fragestellungen in zum Teil sehr verschiedenen Gebieten der Informatik und Mathematik sowie in den Natur- und Ingenieurwissenschaften.>