Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aisc/aisc2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/aisc/Cohen06,
author = {Arjeh M. Cohen},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Interactive Mathematical Documents},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {1},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_1},
doi = {10.1007/11856290\_1},
timestamp = {Wed, 20 Nov 2019 09:49:02 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Cohen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DjelloulD06,
author = {Khalil Djelloul and
Thi{-}Bich{-}Hanh Dao},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Extension of First-Order Theories into Trees},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {53--67},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_7},
doi = {10.1007/11856290\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/DjelloulD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/FeinsilverS06,
author = {Philip Feinsilver and
Ren{\'{e}} Schott},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Operator Calculus Approach to Solving Analytic Systems},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {170--180},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_16},
doi = {10.1007/11856290\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/FeinsilverS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Hironaka06,
author = {Heisuke Hironaka},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Algebra and Geometry},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {2},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_2},
doi = {10.1007/11856290\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Hironaka06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HongLLW06,
author = {Hoon Hong and
Liyun Li and
Tielin Liang and
Dongming Wang},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Solving Dynamic Geometric Constraints Involving Inequalities},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {181--195},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_17},
doi = {10.1007/11856290\_17},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HongLLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/KohlhaseS06,
author = {Michael Kohlhase and
Ioan Sucan},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {A Search Engine for Mathematical Formulae},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {241--253},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_21},
doi = {10.1007/11856290\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/KohlhaseS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Li06,
author = {Wei Li},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {An Inductive Inference System and Its Rationality},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {3--17},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_3},
doi = {10.1007/11856290\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Li06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Li06a,
author = {Yong{-}Bin Li},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Some Properties of Triangular Sets and Improvement Upon Algorithm
CharSer},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {82--93},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_9},
doi = {10.1007/11856290\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Li06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/LiangJ06,
author = {Songxin Liang and
David J. Jeffrey},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {An Algorithm for Computing the Complete Root Classification of a Parametric
Polynomial},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {116--130},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_12},
doi = {10.1007/11856290\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/LiangJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/LiuZ06,
author = {Sheng Liu and
Jian Zhang},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Using Haj{\'{o}}s' Construction to Generate Hard Graph 3-Colorability
Instances},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {211--225},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_19},
doi = {10.1007/11856290\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/LiuZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/McCune06,
author = {William McCune},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Semantic Guidance for Saturation Provers},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {18--24},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_4},
doi = {10.1007/11856290\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/McCune06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/MinzlaffC06,
author = {Moritz Minzlaff and
Jacques Calmet},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {A New Definition for Passivity and Its Relation to Coherence},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {94--105},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_10},
doi = {10.1007/11856290\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/MinzlaffC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/MitsuhashiOJ06,
author = {Ichiro Mitsuhashi and
Michio Oyamaguchi and
Florent Jacquemard},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {The Confluence Problem for Flat TRSs},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {68--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_8},
doi = {10.1007/11856290\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/MitsuhashiOJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/MizutaniIIS06,
author = {Tetsuya Mizutani and
Shigeru Igarashi and
Yasuwo Ikeda and
Masayuki Shio},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Labeled @-Calculus: Formalism for Time-Concerned Human Factors},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {25--39},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_5},
doi = {10.1007/11856290\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/MizutaniIIS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Normann06,
author = {Immanuel Normann},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Enhanced Theorem Reuse by Partial Theory Inclusions},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {40--52},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_6},
doi = {10.1007/11856290\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Normann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/RatschanS06,
author = {Stefan Ratschan and
Zhikun She},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Constraints for Continuous Reachability in the Verification of Hybrid
Systems},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {196--210},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_18},
doi = {10.1007/11856290\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/RatschanS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Shemyakova06,
author = {Ekaterina Shemyakova},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {A Full System of Invariants for Third-Order Linear Partial Differential
Operators},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {106--115},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_11},
doi = {10.1007/11856290\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Shemyakova06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/SunL06,
author = {Weikun Sun and
Hongbo Li},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {On the Mixed Cayley-Sylvester Resultant Matrix},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {146--159},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_14},
doi = {10.1007/11856290\_14},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/SunL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/SunY06,
author = {Yongli Sun and
Jianping Yu},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Implicitization of Rational Curves},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {160--169},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_15},
doi = {10.1007/11856290\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/SunY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/YanZX06,
author = {Jun Yan and
Jian Zhang and
Zhongxing Xu},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Finding Relations Among Linear Constraints},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {226--240},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_20},
doi = {10.1007/11856290\_20},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/YanZX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/YangX06,
author = {Lu Yang and
Bican Xia},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Quantifier Elimination for Quartics},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {131--145},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_13},
doi = {10.1007/11856290\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/YangX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ZhouCJM06,
author = {Wenqin Zhou and
Jacques Carette and
David J. Jeffrey and
Michael B. Monagan},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Hierarchical Representations with Signatures for Large Expression
Management},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {254--268},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_22},
doi = {10.1007/11856290\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/ZhouCJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2006,
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290},
doi = {10.1007/11856290},
isbn = {3-540-39728-0},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 11:43 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
