Quantifier elimination and cylindrical algebraic decomposition

Reelle algebraische Geometrie höherer Stufe
von: Berr, Ralph
Veröffentlicht: (1989)

Algorithmic algebra and number theory selected papers from a conference, held at the University of Heidelberg in October 1997
Veröffentlicht: (1999)

Symbolic computation: solving equations in algebra, geometry, and engineering proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA ; June 11 - 15, 2000
Veröffentlicht: (2001)

Computer algebra and geometric algebra with applications 6th international workshop, IWMM 2004, Shanghai, China, May 19 - 21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24 - 28, 2004 ; revised selected papers
Veröffentlicht: (2005)

An algebra of properties
von: Weibel, Trudy, et al.
Veröffentlicht: (1991)

Computer resource book algebra
von: Dwyer, Thomas A., et al.
Veröffentlicht: (1975)

Computer algebra 2006 latest advances in symbolic algorithms : proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006
Veröffentlicht: (2007)

Fundamental problems of algorithmic algebra
von: Yap, Chee-Keng
Veröffentlicht: (2000)

Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation July 4 - 7, 2004, University of Cantabria, Santander, Spain
Veröffentlicht: (2004)

Computational algebra
Veröffentlicht: (1994)

Domain decomposition parallel multilevel methods for elliptic partial differential equations
von: Smith, Barry F., et al.
Veröffentlicht: (1996)

Computer algebra systems and algorithms for algebraic computation
von: Davenport, James Harold 1953-, et al.
Veröffentlicht: (1988)

Geometry processing for design and manufacturing
Veröffentlicht: (1992)

Computational algebraic geometry
von: Schenck, Hal 1963-
Veröffentlicht: (2003)

Computer algebra handbook foundations, applications, systems ; [with CD-ROM]

Domain decomposition methods for distributed computing
von: Kruis, Jaroslav
Veröffentlicht: (2006)

Computer algebra and symbolic computation mathematical methods
von: Cohen, Joel S.
Veröffentlicht: (2003)

A tutorial introduction to Derive
von: Ellis, Wade, et al.
Veröffentlicht: (1991)

Automated deduction for projection elimination
von: Wernhard, Christoph
Veröffentlicht: (2009)

Computer algebra and parallelism
Veröffentlicht: (1989)

Computer algebra symbolic and algebraic computation
Veröffentlicht: (1983)

Computer algebra and parallelism
von: Della Dora, Jean, et al.
Veröffentlicht: (1989)

Computers in cardiology October 7 - 9, 1976, Washington University, St. Louis, Missouri, USA
Veröffentlicht: (1976)

Computers in cardiology October 7 - 10, 1986, Boston, Massachusetts, USA
Veröffentlicht: (1987)

Crystallography of complexes proceedings of the CCP4 Study Weekend
Veröffentlicht: (2007)

Computational aspects of algebraic curves, University of Idaho, USA, 26-28 May 2005
Veröffentlicht: (2005)

Challenges in scientific computing - CISC 2002 proceedings of the Conference Challenges in Scientific Computing, Berlin, October 2 - 5, 2002
Veröffentlicht: (2003)

Impact of new computing systems on computational mechanics presented at the Winter Annual Meeting of the American Society of Mechanical Engineers, Boston, Massachusetts, November 13 - 18, 1983
Veröffentlicht: (1983)

Computers in cardiology September 8 - 11, 1985, Linkoping, Sweden
Veröffentlicht: (1985)

Distributed computer control systems ...
Veröffentlicht: (1982)

Computational and statistical group theory AMS Special Session Geometric Group Theory, April 21-22, 2001, Las Vegas, Nevada, AMS Special Session Computational Group Theory, April 28-29, 2001, Hoboken, New Jersey
Veröffentlicht: (2002)

Distributed algorithms 9th international workshop ; proceedings
Veröffentlicht: (1995)

Domain decomposition methods 10 the Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, CO
Veröffentlicht: (1998)

Joint 6th International Symposium on Process Systems Engineering and 30th European Symposium on Computer Aided Process Engineering PSE '97 - ESCAPE-7 ; 25 - 29 May 1997, Trondheim, Norway
Veröffentlicht: (1997)

Proceedings of the International Conference of Computational Methods in Sciences and Engineering 2003 (ICCMSE 2003) Kastoria, Greece, September 12-16
Veröffentlicht: (2003)

Current trends in scientific computing ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
Veröffentlicht: (2003)