Simplification of Quantifier-free Formulae over Ordered Fields von DOLZMANN, ANDREAS, STURM, THOMAS

Volltext

Better answers to real questions von Košta, Marek, Sturm, Thomas, Dolzmann, Andreas

Volltext

A New Approach for Automatic Theorem Proving in Real Geometry von Dolzmann, Andreas, Sturm, Thomas, Weispfenning, Volker

Volltext

Multiple object semilinear motion planning von Dolzmann, Andreas, Weispfenning, Volker

Volltext

Editorial von Dolzmann, Andreas, Sturm, Thomas

Volltext

PII: S0747-7171(06)00053-8 von Dolzmann, Andreas, Sturm, Thomas

Volltext

Generic Hermitian Quantifier Elimination von Dolzmann, Andreas, Gilch, Lorenz A.

Volltext

Solving Geometric Problems with Real Quantifier Elimination von Dolzmann, Andreas

Volltext

Better Answers to Real Questions von Kosta, Marek, Sturm, Thomas, Dolzmann, Andreas

Volltext

REDLOG von Dolzmann, Andreas, Sturn, Thomas

Volltext

REDLOG: computer algebra meets computer logic von Dolzmann, Andreas, Sturm, Thomas

Volltext

Parametric Systems of Linear Congruences von Dolzmann, Andreas, Sturm, Thomas

Volltext

Applications of Computer Algebra von Hehl, Friedrich W., Fleischer, Jochem, Steinhauser, Matthias, Weiglein, Georg, Vermaseren, Jos, Heinicke, Christian, Kotsireas, Ilias, Schrüfer, Eberhard, Obukhov, Yuri N., Tertychniy, Sergey I., Wolf, Thomas, Baumann, Gerd, Dolzmann, Andreas, Sturm, Thomas, Weispfenning, Volker, Lambe, Larry A., Apel, Joachim, Heckenberger, István, Schüler, Axel, Koepf, Wolfram, Gatermann, Karin, Beth, Thomas, Homann, Karsten, Klappenecker, Andreas, Müller-Quade, Jörn, Nückel, Armin, Roggenbach, Markus, Strehl, Volker, Behnke, Kurt, Roesner, Karl G., Grabmeier, Johannes, Clausen, Michael, Kurth, Frank, Kovács, Peter, Gonzalez-Vega, Laureano, Dress, Andreas W. M., Melenk, Herbert, Waits, Bert K., Drijvers, Paul, Berry, John, Graham, Ted, Sharp, Jenny, Townend, Stewart, Watkins, Anthony, Boston, Nigel, Fowler, David, Gloor, Oliver, Hiss, Gerhard, Greuel, Gert-Martin

Volltext