Movatterモバイル変換

[0]ホーム
URL:

×

zbMATH Open — the first resource for mathematics

from until
Reset all

Examples

Simon Donald*Search inall parts of an author's name (results containSimon, Donald M. andDonaldson,Simon Kirwan).
ln: Donald* fn: SimonSearch for specified family (ln) and given (fn) name.
au: Stefan Müller cc:49Combine name search (au) with main MSC fields (cc).
au: Helga BunkeSearch results includename variations, in particularname changes, differenttransliterations andpseudonyms. Names of collectives will be displayed as a separate entity.
(st:r & b) | (st:o)Search results include allreviewers withbiographic information orcollectives.
(en:MGP | wikidata) ln:a*Search results include all authors having either anentry in theMath Genealogy Project or inWikidata and whose family name starts with''A''.
aw: Fields AbelSearch for allFields Medalaward winners who also received anAbel Prize. The& operator is default and ommitted here.

Fields

ai zbMATH author ID
any Includes ai, au, aw, cc
au Author name
aw Name of an award (to find laureates)
cc Main Fields of the author (given by first two MSC digits)
cm Name of a collective (to find members of this collective)
co Name of an author (to find collectives the author is a member of)
en External author ID: ORCID, MGP, Wikidata object number and others
fn First name
ln Last name
py Year(s) in which the author has published. Interval search with “-”
rv Reviewer ID
st State: has biographic references (st:b), is cited (st:c), is collective (st:o), has references (st:r)

Operators

a & bLogical and (default)
a | bLogical or
!abLogical not
abc*Right wildcard
ab cPhrase
(ab c)Term grouping

See also ourGeneral Help.



Domínguez, César

Co-Author Distance
Author ID:
dominguez.cesar Recent zbMATH articles by "Domínguez, César"
Published as:
Domínguez, César;Domínguez
Documents Indexed:

15 Publications since 1990

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 27 times in18 DocumentsCited by ▼Year ▼
Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481
Domínguez, César;Lambán, Laureano;Rubio, Julio
2007
Effective homology of bicomplexes, formalized in Coq. Zbl 1207.68211
Domínguez, César;Rubio, Julio
2011
Diagrammatic logic applied to a parameterisation process. Zbl 1204.03059
Domínguez, César;Duval, Dominique
2010
An assessment of the efficiency of Spanish schools: evaluating the influence of the geographical, managerial, and socioeconomic features. Zbl 07767553
Segovia-Gonzalez, M. M.;Dominguez, C.;Contreras, I.
2020
Formalizing in Coq hidden algebras to specify symbolic computation systems. Zbl 1166.68373
Domínguez, César
2008
Computing in Coq with infinite algebraic data structures. Zbl 1286.68396
Domínguez, César;Rubio, Julio
2010
A parameterization process: from a functorial point of view. Zbl 1269.68064
Domínguez, César;Duval, Dominique
2012
Modeling inheritance as coercion in a symbolic computation system. Zbl 1356.68276
Domínguez, César;Rubio, Julio
2001
Hidden specification of a functional system. Zbl 1023.68129
Domínguez, César;Lambán, Laureano;Pascual, Vico;Rubio, Julio
2001
An assessment of the efficiency of Spanish schools: evaluating the influence of the geographical, managerial, and socioeconomic features. Zbl 07767553
Segovia-Gonzalez, M. M.;Dominguez, C.;Contreras, I.
2020
A parameterization process: from a functorial point of view. Zbl 1269.68064
Domínguez, César;Duval, Dominique
2012
Effective homology of bicomplexes, formalized in Coq. Zbl 1207.68211
Domínguez, César;Rubio, Julio
2011
Diagrammatic logic applied to a parameterisation process. Zbl 1204.03059
Domínguez, César;Duval, Dominique
2010
Computing in Coq with infinite algebraic data structures. Zbl 1286.68396
Domínguez, César;Rubio, Julio
2010
Formalizing in Coq hidden algebras to specify symbolic computation systems. Zbl 1166.68373
Domínguez, César
2008
Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481
Domínguez, César;Lambán, Laureano;Rubio, Julio
2007
Modeling inheritance as coercion in a symbolic computation system. Zbl 1356.68276
Domínguez, César;Rubio, Julio
2001
Hidden specification of a functional system. Zbl 1023.68129
Domínguez, César;Lambán, Laureano;Pascual, Vico;Rubio, Julio
2001

Citations by Year

© 2025FIZ Karlsruhe GmbHPrivacy PolicyLegal NoticesTerms & Conditions
  • Mastodon logo
 (opens in new tab)
[8]ページ先頭
©2009-2025 Movatter.jp