Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008
DBLP:	db/conf/ascm/ascm2007.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 30  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Georges Gonthier. The Four Colour Theorem: Engineering of a Formal Proof.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Banghe Li, Dingkang Wang. An Algorithm for Transforming Regular Chain into Normal Chain.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Hiroshi Sekigawa. The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Gui-Lin Zhang, Xiao-Shan Gao. Properties of Ascending Chains for Partial Difference Polynomial Systems.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Tateaki Sasaki, Fujio Kako. Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Hyeong In Choi, Rida T. Farouki, Chang Yong Han, Hwan Pyo Moon. Computing the Minkowski Value of the Exponential Function over a Complex Disk.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Eng-Wee Chionh. The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Manfred Minimair. Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Alain Bretto, Cerasela Jaulin, Luc Gillibert, Bernard Laget. A New Property of Hamming Graphs and Mesh of d-ary Trees.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007
	Conference paper Feifei Ma, Jian Zhang. Computer Search for Large Sets of Idempotent Quasigroups.	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 2008	(0)	2007

Show item 1 to 10 of 30  

Your query returned 30 matches in the database.