Search results for "RegularChains"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	RegularChains, quasi-component, inclusion test, irredundant triangular decomposition
33	Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza	Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
33	Marc Moreno Maza	Doing algebraic geometry with the RegularChains library.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
33	Changbo Chen, Marc Moreno Maza	Cylindrical Algebraic Decomposition in the RegularChains Library.	ICMS	2014	DBLP DOI BibTeX RDF
33	Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik	Doing Algebraic Geometry with the RegularChains Library.	ICMS	2014	DBLP DOI BibTeX RDF
33	Changbo Chen, Marc Moreno Maza	Real Quantifier Elimination in the RegularChains Library.	ICMS	2014	DBLP DOI BibTeX RDF
33	Francisco Botana, Tomás Recio	Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci.	ICMS	2014	DBLP DOI BibTeX RDF
33	Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao 0004, Yuzhen Xie	Computing the real solutions of polynomial systems with the RegularChains library in Maple.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
33	Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan 0001, Liyun Li, Yuzhen Xie	The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
33	Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple.	ICCSA Workshops	2008	DBLP DOI BibTeX RDF
33	François Lemaire, Marc Moreno Maza, Yuzhen Xie	The RegularChains library in MAPLE.	SIGSAM Bull.	2005	DBLP DOI BibTeX RDF
30	Marc Moreno Maza	Triangular decompositions of polynomial systems: from theory to practice.	ISSAC	2006	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )