Výsledky vyhledávání - "Mathematical Software—Algorithm design AND analysis General Terms Algorithms*"
-
1
Autoři:
Přispěvatelé:
Témata: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords CAD
Popis souboru: application/pdf
-
2
Autoři:
Přispěvatelé:
Témata: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords cylindrical algebraic decomposition, quantifier elimination
Popis souboru: application/pdf
-
3
Autoři: Naumann, Uwe
Zdroj: ACM Transactions on Mathematical Software; Jul2019, Vol. 45 Issue 3, p1-32, 32p
-
4
Autoři:
Zdroj: EC: Electronic Commerce; 2009, p89-98, 10p, 1 Diagram, 3 Charts, 3 Graphs
-
5
Autoři: a další
Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p724-727, 4p, 3 Diagrams, 2 Charts
-
6
Autoři:
Zdroj: Third International Symposium on Information Processing in Sensor Networks, 2004 (IPSN 2004); 2004, p46-54, 9p
-
7
Autoři: a další
Zdroj: Proceedings 41st Design Automation Conference, 2004; 2004, p351-356, 6p
-
8
Autoři:
Zdroj: ACM Transactions on Embedded Computing Systems; Nov2014, Vol. 13 Issue 5, p1-25, 25p
-
9
Autoři:
Zdroj: ACM Transactions on Embedded Computing Systems; Nov2014, Vol. 13 Issue 5, p1-26, 26p
-
10
Autoři: a další
Zdroj: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 3, p34-34:20, 20p
-
11
Autoři:
Zdroj: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 3, p28-28:23, 23p
-
12
Autoři: a další
Zdroj: ACM Transactions on Algorithms; 2011, Vol. 7 Issue 3, p37-37:22, 22p
-
13
Autoři:
Zdroj: ACM Transactions on Algorithms; 2010, Vol. 6 Issue 3, p56:1-56:36, 36p, 24 Diagrams, 1 Graph
Nájsť tento článok vo Web of Science
Full Text Finder