서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Xia, Bican"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(95)
    • Reviews(50)
    • Reports(29)
    • Conference Materials(29)
    • Books(8)
    • Magazines(5)

  • 주제어
    • computer science - symbolic computation(36)
    • computer science - logic in computer science(16)
    • polynomials(16)
    • computingmethodologies_symbolicandalgebraicmanipulation(13)
    • quantifier elimination(11)
    • algorithms(10)
    • mathematics - algebraic geometry(10)
    • termination(9)
    • algorithm(7)
    • computational mathematics(7)
    • symbolic computation(7)
    • triangular decomposition(7)
    • interval arithmetic(6)
    • stability(6)
    • computational complexity(5)
    • computer algebra(5)
    • hybrid systems(5)
    • invariants(5)
    • computer science - formal languages and automata theory(4)
    • computer science - mathematical software(4)
    • computer science - systems and control(4)
    • cylindrical algebraic decomposition(4)
    • lyapunov functions(4)
    • maple(4)
    • mathematics - optimization and control(4)
    • stabilization(4)
    • systems(4)
    • [info]computer science [cs](3)
    • algebra(3)
    • algebra and number theory(3)
    • asymptotic stability(3)
    • automated theorem proving(3)
    • autonomous systems(3)
    • complexity(3)
    • complexity analysis(3)
    • computational theory and mathematics(3)
    • computer science::symbolic computation(3)
    • computingmilieux_miscellaneous(3)
    • condition number(3)
    • cyclotomic polynomial(3)
    • formal verification(3)
    • global optimization(3)
    • hybrid system(3)
    • invariant(3)
    • linear programming(3)
    • linear systems(3)
    • lyapunov function(3)
    • modelling and simulation(3)
    • nonlinear system(3)
    • numerical computation(3)

  • 저널
    • journal of symbolic computation(38)
    • journal of systems science & complexity(8)
    • computers & mathematics with applications(7)
    • international conference on symbolic & algebraic computation(5)
    • formal aspects of computing(4)
    • journal of computational and applied mathematics(4)
    • journal of systems science \& complexity(4)
    • mathematics in computer science(4)
    • computers \& mathematics with applications. an international journal(3)
    • computers and mathematics with applications(3)
    • nonlinear analysis: hybrid systems(3)
    • acm communications in computer algebra (acm digital library)(2)
    • frontiers of computer science in china(2)
    • issac'19---proceedings of the 2019 acm international symposium on symbolic and algebraic computation(2)
    • journal of global optimization(2)
    • journal of sichuan university. natural science edition. sichuan daxue xuebao. ziran kexue ban(2)
    • journal of systems science and complexity(2)
    • science china information sciences(2)
    • science china. information sciences(2)
    • science china-information sciences(2)
    • science in china. series f. information sciences(2)
    • science in china. series f: information sciences(2)
    • 中国科学f辑(英文版)(2)
    • 2007 chinese control conference(1)
    • 2007 chinese control conference, control conference, 2007. ccc 2007. chinese(1)
    • 2016 european control conference (ecc), control conference (ecc), 2016 european(1)
    • acm communications in computer algebra(1)
    • acta mathematicae applicatae sinica. yingyong shuxue xuebao(1)
    • automated deduction in geometry (beijing, 1998)(1)
    • automated reasoning(1)
    • automated reasoning (9783319402284)(1)
    • automated technology for verification & analysis 13th international symposium, atva 2015 shanghai, china, october 12-15, 2015, proceedings(1)
    • bulletin of the belgian mathematical society. simon stevin(1)
    • bulletin of the belgian mathematical society-simon stevin(1)
    • computer aided verification (9783642397981)(1)
    • computer mathematics: 9th asian symposium (ascm2009), fukuoka, december 2009, 10th asian symposium (ascm2012), beijing, october 2012, contributed papers & invited talks(1)
    • ieee transactions on automatic control(1)
    • journal of systems science and mathematical sciences(1)
    • mathematical software - icms 2014(1)
    • mathematical software - proceedings of the first international congress of mathematical software(1)
    • nonlinear analysis-hybrid systems(1)
    • proceedings of the 2005 international symposium: symbolic & algebraic computation(1)
    • proceedings of the 2009 international symposium: symbolic & algebraic computation(1)
    • proceedings of the 2010 international symposium: symbolic & algebraic computation(1)
    • proceedings of the 36th international symposium: symbolic & algebraic computation(1)
    • science in china series f information sciences(1)
    • science in china series f-information sciences(1)
    • theoretical aspects of computing - ictac 2012(1)
    • verified software: theories, tools, experiments(1)
    • 系统科学与数学(1)

  • 발행처
    • springer nature(21)
    • elsevier ltd(13)
    • association for computing machinery(11)
    • academic press inc.(9)
    • academic press ltd- elsevier science ltd(8)
    • acm, new york(7)
    • elsevier b.v.(7)
    • elsevier bv(7)
    • springer heidelberg(4)
    • ieee(3)
    • world sci. publ., river edge, nj(3)
    • hal ccsd(2)
    • science china press(2)
    • springer(2)
    • springer, cham(2)
    • springer, heidelberg(2)
    • acm press(1)
    • belgian mathematical soc triomphe(1)
    • elsevier sci ltd(1)
    • elsevier science bv(1)
    • higher education press(1)
    • ieee-inst electrical electronics engineers inc(1)
    • pergamon-elsevier science ltd(1)
    • rwth aachen university(1)
    • science press(1)
    • springer science and business media llc(1)
    • springer, [cham](1)
    • springer, berlin(1)
    • the belgian mathematical society(1)
    • tsinghua university press(1)
    • world scientific publishing co. pte. ltd., hackensack, nj(1)
    • world scientific publishing company(1)

  • 언어
    • english(170)
    • chinese(7)

  • 수록DB
    • MathSciNet via EBSCOhost(50)
    • OpenAIRE(43)
    • Complementary Index(32)
    • arXiv(29)
    • Science Citation Index(23)
    • Academic Search Complete(15)
    • ScienceDirect(14)
    • Supplemental Index(6)
    • China Online Journals (Wanfang)(3)
    • IEEE Xplore Digital Library(2)

217

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.