Quantifier elimination and cylindrical algebraic decomposition
Saved in:
| Other Authors: | Caviness, Bob F., Johnson,Jeremy R |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Springer
c1998
|
| Series: | Texts and monographs in symbolic computation
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Computer algebra systems a practical guide
by: Wester lhMichael J.
by: Wester lhMichael J.
Domain decomposition methods in sciences and engineering 8th international conference,Beijing,P.R.China
Published: (1997)
Published: (1997)
Decomposition methodology for knowledge discovery and data mining theory and applications
by: Maimon, Oded Z.
Published: (2005)
by: Maimon, Oded Z.
Published: (2005)
Introduction to maple
by: Heck
Published: (1996)
by: Heck
Published: (1996)
Algebra
by: Hungerford
by: Hungerford
Classical algebra its nature, origins, and uses
by: Cooke, Roger
Published: (2008)
by: Cooke, Roger
Published: (2008)
Algebra Abstrack and concrete
by: GoodmanlhFrederick M.
by: GoodmanlhFrederick M.
Algebra asas
by: Mustafa Mamat
Published: (1997)
by: Mustafa Mamat
Published: (1997)
Post-modern algebra
by: Smith
Published: (1999)
by: Smith
Published: (1999)
Computational modelling of objects represented in images fundamentals, methods and applications III
Published: (2012)
Published: (2012)
Algebra with maple
by: Parker lhRichard
by: Parker lhRichard
Commutative algebra and algebraic geometry proceedings of the Ferrara meeting in honor of Mario Fiorentini
Published: (1999)
Published: (1999)
Recent advances in data mining of enterprise data algorithms and applications
Published: (2007)
Published: (2007)
Data science for cyber-security
Published: (2019)
Published: (2019)
Handbook of satisfiability
Published: (2009)
Published: (2009)
Handbook of satisfiability
Published: (2009)
Published: (2009)
Handbook of satisfiability
Published: (2009)
Published: (2009)
Algorithm in applications
Published: (2010)
Published: (2010)
Principles construction and application of multilingusl wordnets proceeding of the 5th Global Wordnet Conference
Published: (2010)
Published: (2010)
Computers in railways X computer system design and operation in the railway and other transit systems
Published: (2006)
Published: (2006)
Computing and communication
Published: (2012)
Published: (2012)
Product modeling for computer integrated design and manufacture TC5/WG5.2 International Workshop on Geometric Modeling in Computer Aided Design, 19-23 May, 1996, Airlie, Virginia, USA
Published: (1997)
Published: (1997)
Computer assisted survey information collection
Published: (1998)
Published: (1998)
World Conference on Computers in Education VI WCCE '95, liberating the learner : proceedings of the sixth IFIP World Conference on Computers in Education, 1995
Published: (1995)
Published: (1995)
Exploring linear algebra labs and projects with Mathematica
by: Arangala, Crista
Published: (2015)
by: Arangala, Crista
Published: (2015)
An Introduction to numerical linear algebra
by: Cullen lhCharles G
by: Cullen lhCharles G
Computers in railways XI computer system design and operation in the railway and other transit systems
Published: (2008)
Published: (2008)
Integrating information technology into education
Published: (1995)
Published: (1995)
Recent advances in maintenance and infrastructure management
Published: (2009)
Published: (2009)
Materials, mechanics and information engineering selected, peer reviewed papers from the 2014 3 rd International Conference on Chemical, Mechanical and Materials Engineering (CMME 2014), October 24-25, 2014, Riga, Latvia
Published: (2015)
Published: (2015)
Distributed platforms proceedings of the IFIP/IEEE International Conference on Distributed Platforms: client/server and beyond: DCE, CORBA, ODP and advanced distributed applications
Published: (1996)
Published: (1996)
Computing prosody computational models for processing spontaneous speech
Published: (1996)
Published: (1996)
Advances in digital technologies proceedings of the 7th International Conference on Applications of Digital Information and Web Technologies 2016
Published: (2016)
Published: (2016)
Information technology in educational management for the schools of the future IFIP TC3/WG 3.4 International Conference on Information Technology in Educational Management (ITEM), 22-26 July 1996, Hong Kong
Published: (1997)
Published: (1997)
Knowledge intensive computer aided design (CAD)
Published: (1996)
Published: (1996)
Law, ontologies and the semantic web channelling the legal information flood
Published: (2009)
Published: (2009)
Hardware description languages and their applications specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
Published: (1997)
Published: (1997)
Higher-dimensional geometry over finite fields
Published: (2008)
Published: (2008)
Identity, security and democracy the wider social and ethical implications of automated systems for human identification
Published: (2009)
Published: (2009)
Urbanism on track application of tracking technology in urbanism
Published: (2008)
Published: (2008)
Similar Items
-
Computer algebra systems a practical guide
by: Wester lhMichael J. -
Domain decomposition methods in sciences and engineering 8th international conference,Beijing,P.R.China
Published: (1997) -
Decomposition methodology for knowledge discovery and data mining theory and applications
by: Maimon, Oded Z.
Published: (2005) -
Introduction to maple
by: Heck
Published: (1996) -
Algebra
by: Hungerford


